2004年（英国）

第一个函数式编程语言

工程时代 严格线性 双控范式 程序验证 设计基因