2018年1月9日

阿隆佐·丘奇与λ演算系统

摘要： 函数式编程的基础是λ演算系统，但它的起源自哪里呢？ 时间要回到1930年代，采用了歌特式风格设计建造的新办公室给普林斯顿罩上天堂般的幸福光环，来自世界各地的逻辑学家被邀请到普林斯顿建设一个新的学部。虽然彼时的美国民众已很难弄到一餐面包，普林斯顿的条件则是可以在高高的穹顶下，精致雕凿的木质墙饰边上整日 阅读全文

posted @ 2018-01-09 08:16 时间朋友 阅读(1217) 评论(0) 推荐(0)

导航