2018年01月_OnRoadZy

07月 06月 05月 04月 03月 02月 01月

转载【译文】程序语言简史

1801 - Joseph Marie Jacquard用打孔卡为一台织布机编写指令，在挂毯上织出了“hello, world”字样。当时的reddit网友对这项工作的反响并不热烈，因为它既缺少尾递归调用，又不支持并发，而且甚至都没有注意在拼写时恰当地区分大小写。Jacquard织布机是第一台可进行程序控制的织布机。用打孔卡进行编程的概念，直到电子计算机被发明出来之后仍然被广泛运用。最早的Hell

2018-01-27 01:42:41 638

转载 Racket 6.11提供了稳定的细化类型和依赖函数特性

来源：infoq.com 作者：Sergio De SimoneTyped Racket是Racket语言的一种静态类型方言。Racket 6.11为Typed Racket提供了细化类型（Refinement Type）和依赖函数（Dependent Function）特性。细化类型是一种关联了谓词（Predicate）的类型，所关联的谓词对于该类型的任一成员都成立。表述细化类型的通用

2018-01-27 01:24:12 331

原创 LISP公理——七个原始操作符

＃　LISP公理——七个原始操作符　　我们先定义表达式。表达式或是一个原子（atom），它是一个字母序列（如 foo），或是一个由零个或多个表达式组成的表（list），表达式之间用空格分开，放入一对括号中。以下是一些表达式：foo()(foo)(foo bar)(a b (c) d)　　最后一个表达式是由四个元素组成的表，第三个元素本身是由一个元素组成的表。　　在算术中

2018-01-06 23:23:26 2351

原创 Racket 的诞生与发展

Racket 的诞生与发展　　Lisp语言的历史很久，几乎与史上第一个高级语言Fortran一样长。1957年计算机科学家首先发明了针对数字计算的Fortran语言，后来针对符号计算，由MIT的John McCarthy于1958年开发了Lisp (List processing)语言。　　1958年，人工智能之父John McCarthy 发明了一种以 Lambda 演算为基础的符号处理

2018-01-06 22:31:45 1453

转载为何说Lisp是有史以来最牛的编程语言？

面向对象之父Alan Kay对“Lisp是有史以来最牛的编程语言”进行了解答。原回答如下：　　Alan Kay：首先对我以前的一些答案进行澄清。有些人要尝试着用Lisp做操作系统，这看上去好像很难。事实上，我曾经做过最好的操作系统之一就是利用的“The Lisp Machines”，它是以“Parc Machines”和Smalltalk为首的硬件和软件——而我们也受到了编程以及实现Lisp模

2018-01-06 21:13:33 24314 6