monad函数式 - 第2页

程序设计能从冯.诺依曼风格中解放出来吗?程序的函数风格及其代数-----John Backus (IBM RESEARCH) 此文为1977年ACM演讲,以下为关键部分的摘抄及自己的解读: 1 传统程序设计语言:

很老的一篇文章Higher-Order Java Parallel

超难懂的一篇文章，如同习惯右手写字要用左手写，我只能大概看懂到Bind章节，留此以后慢慢看：Typed Logic: