关于语言(整理)

1、编程语言的发展趋势及未来方向

2、写门语言,其实不难

3、王垠博客 http://www.yinwang.org/

谈语法

4、形式化运算系统

5、如何设计一门语言(一)——什么是坑(a)

形式化运算系统展开了研究。
他们不是为了发明计算机(电脑),而是如何让机器思考。
这些天才的数学家们想通过所谓的“形式系统”,来证明一个命题: 可以用简单的数学法则表达现实系统。
这四位天才就是阿兰•图灵、冯•诺依曼、库尔特•哥德尔、阿隆左•丘奇

6、自然语言:http://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E8%AF%AD%E8%A8%80

人工语言: http://zh.wikipedia.org/wiki/%E4%BA%BA%E5%B7%A5%E8%AA%9E%E8%A8%80

逻辑语:

萨丕尔-沃夫假说

形式语言 Formal language

形式文法 Formal grammar

上下文无关文法 Context-free_grammar

自动机

编程语言:

乔姆斯基谱系:

7、计算机语言专家http://zhangjianzhong.blog.kepu.cn/20140801101108.html

8、90分钟实现一门编程语言——极简解释器教程  http://www.cnblogs.com/figure9/p/3620079.html

9、Language Books/Tutorials for popular languageshttp://stackoverflow.com/questions/22873/language-books-tutorials-for-popular-languages
10、怎样设计一套程序设计语言? http://www.zhihu.com/question/19756886

Book:

Types And Programming Language,Principles of Program Analysis,Semantics with Application,Software Foundation。

《编程语言:设计与实现》Programming Languages: Application and Interpretation

Video:

Coursera -Programming Language

http://www.cs.cmu.edu/~rwh/courses/typesys/ CS243 – Program Analysis and Optimizations

发表评论

电子邮件地址不会被公开。 必填项已用*标注