Yi's Blog
·
关于编程语言
💡
原文英文，约1000词，阅读约需4分钟。
📝
内容提要
本文讨论了计算的本质和编程语言的抽象性，指出计算的本质从未被正式定义。抽象是编程语言的关键，通过创建语言，我们创造了适应需求的数据和过程的抽象方式。LISP语言通过宏实现了编译时的任意计算，模糊了语言和技术之间的界限。编程语言将继续发展，成为人类创造的一种艺术。
🎯
关键要点
-
计算的本质从未被正式定义，编程语言用于指示计算机进行计算。
-
图灵机和λ-演算等计算模型在可计算性方面是等价的，但我们仍然不知道计算的本质是什么。
-
现代编程语言不再基于图灵机或λ-演算，而是基于RAM访问机器，更接近现实世界计算机。
-
抽象是编程语言的关键，通过抽象，我们可以在部分信息上工作，简化编程过程。
-
不同编程语言提供不同的抽象方式，如Golang的接口、C的函数、C++的类和Haskell的函数。
-
LISP通过宏实现了编译时的任意计算，模糊了语言和技术之间的界限。
-
创建编程语言意味着创造适应需求的数据和过程的抽象方式，编程语言将继续发展，成为人类创造的一种艺术。
➡️
