随笔分类 - 编程语言
摘要：编程语言 = 类型系统 + 运行时 类型系统 = 描述能力 + 对象模型 + 类型修饰符 + 结合能力 运行时 = 动态派发 + 内存管理 cpu 描述 ： 线程 、 算法 、异常处理逻辑 内存描述：对象模型 + 内存管理 io 描述：异步 + 中断 类型、变量、值的关系
阅读全文
摘要：编程语言的分层理解 生态层：衍生层（在编程语言基本概念和特征的基础上衍生出的特征：aop）、衍生dsl（由编程语言通用概念经过编程（第三方库）添加出的新概念reactX等） 机器层（或者叫基础层）（cpu 执行流管理：并发、异步、异常等；IO；内存管理）＋ 特性层（编程语言的独有特征：java的注解
阅读全文
摘要：https://www.researchgate.net/publication/274698290_Selected_Aspects_of_Functional_Programming_Fostering_Technical_Safety_within_PEARL2020
阅读全文
摘要：人类将语言解释为存在及存在的状态，计算机将语言解释为计算机体系的概念机状态
阅读全文
摘要：引入概念增强表达能力。 范式：在原有语言的基础上生成一套概念和运行时解释体系
阅读全文
摘要：编程语言的解释系统 一、编程语言概念的解释系统： 低层解释高层； 高层构建软件； 二、编程概念的三个层次 第一层：应用域概念？客观概念？思维概念？需求概念？软件概念？ 第二层：高级语言概念、编程范式的概念与体系实现；语言概念 第三层：底层、汇编、计算机体系概念：体系概念 内存、cpu、io、指令集、
阅读全文
摘要：将高层语言解释为底层语言和机器语言； 将低层语言解释为高层和人类语言。 编程语言是一套解释机制。 语言的解释功能。 层次越高的语言越容易被人理解； 语言的层次越低对机器的控制力越强； 1、图灵完备的语言可以相互转换； 2、语言受到平台的限制。
阅读全文
摘要：一、综述 范式是语言的内核； 语言是范式的表现形式。 编程范式是编程语言的核心特征。 二、编程范式 编程范式的核心是：世界观、思维方式、思想、体系； 编程范式的表现形式就是一组概念和规则、（逻辑）体系的集合； 实现了编程范式的编程语言需要对这些概念、规则作出定义、解释和运行支持。 编程范式是基于数学
阅读全文
摘要：编程语言是一组概念的集合。 一、抽象与表达力 1、针对（一组）特定问题强大的表达（和解释）能力； 具有准对性的问题域更好的抽象能力； 包含语言、范式的特定概念； 2、拥有自己独特的概念和构建体系 这些概念（针对某些问题）具有更好的描述、抽象、表达能力。 3、抽象（表达）的两个方向 1）将冯诺伊曼底层
阅读全文
摘要：评： 低层语言具有更有效的机器控制力而不是更强的机器控制力。 因为绝大多数高级语言都是图灵完备的。 按照我一个朋友的说法，编程语言始终是计算机领域中最本质的东西之一，特别是在计算机工程（而不是科学）领域中，“用什么形式来控制机器”始终是一个核心问题。 【基本观点】 1. 编程语言与软件系统一样，处于
阅读全文
摘要：类、闭包、monand 三者的相同点都是封装了数据与操作。 类：定义数据类型，倾向于数据的抽象；集合数据为操作提供上下文。 闭包：对环境变量和操作的封装抽象。操作基于环境变量，核心问题是环境变量的管理。 在模型上是一个操作对应一个数据结构的模型。 将运算与上下文封装抽象为一种特殊的类型，从而取得与普
阅读全文
摘要：一、编程语言 用于编写html模版的编程语言。 thymeleaf一种命令式和声名式混合的寄生语言。 html与thymeleaf的结合是dsl与命令式语言的结合。 html与thymeleaf的结合是一种html的中间产品。 这种语言的输入是model数据，输出是结合上下文的html可用元素。 作
阅读全文
摘要：1、类型系统； 2、函数与方法系统； 3、修饰系统； 4、并发系统； 5、内存管理系统； 6、异常管理系统；
阅读全文
摘要：编程语言评价标准 编程语言需要提供足够简单和丰富的概念来表达我们要描述的世界； 并且执行的效率要足够高 Enough of the small talk, how do we go about comparing these two goliaths? In reality this can’t b
阅读全文
摘要：async/await 和 trycatch/throwable机制类似
阅读全文
摘要：类型继承； 类型扩展； 类型组合； 类型变换；
阅读全文
摘要：任何能用编程语言描述的东西都能够用人类语言描述。 用人类语言描述不清楚，可能是人对这些概念还没有充分的理解。
阅读全文
摘要：意义明确的东西不需要解释；只有抽象和含糊的东西才需要解释。 一、解释的含义 语言的灵活性：动态、多态 是对由语言的灵活性产生的（抽象类型、动态类型）多样性和不确定性的的解释； 只有对这些多态、动态做出合理的解释才能有正确的行为； 这种解释更多是多态和动态函数调用的解释机制： id objc_msgS
阅读全文
摘要：1.1、问题域与解答域 1.1.1、什么是DSL？ DSL（Domain-Specific Language）全称领域专用语言，就是专门用户特定领域的语言，看着概念觉得挺高大上的，其实很简单，就是专门用于某一个领域使用的语言。举个例子，我们在设置页面样式时，就经常使用CSS样式，那么这CSS语言就是
阅读全文
