主要观点:编程语言发展似乎停滞,存在一些已有想法的调整,缺乏新想法,但作者有一些想法提出。
关键信息:
- 提出多种编程相关想法,如放松函数概念、能力模型、生产级发布、半动态语言、值数据库、真正的关系型语言、鼓励模块化单体的语言、模块化代码检查等。
- 每种想法都有其优缺点和相关探讨,如放松函数概念可解决函数调用失败问题但可能影响函数调用的简单性;能力模型虽不是新想法但值得更多关注等。
重要细节: - 以 Erlang 为例说明放松函数概念,包括普遍包含超时概念、使函数易于等待或跳过等。
- 提到 E 语言尝试实现能力模型但基于 Java 可能不太合适,现在或许是时机。
- 指出生产级发布应在语言中嵌入解决方案,如标准化日志接口等。
- 半动态语言设想在编译阶段控制动态性,使 JIT 更有效优化代码。
- 批判值数据库的想法存在熵攻击共享存储等问题,但可改进。
- 真正的关系型语言以关系型数据库表为基本数据类型,与类型理论相关。
- 鼓励模块化单体的语言利用依赖注入和接口,在静态和动态语言之间找平衡。
- 模块化代码检查以 Go 的 golangci-lint 为例,让各种代码检查工具模块化。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。