说明:你好呀 :waving_hand:
我是John,我对PL和Type Systems相关的东西感兴趣。
我最喜欢的一些作品:
Lambdulus是用于交互式学习λ微积分的工具。 它可以在任何现代浏览器中在线运行,并使您能够体验λ微积分作为一种编程语言。
具有Damas-Hindley-Milner类型推断的简单编程语言
let
zero = ( \ n -> (n == 0 ))
dec = ( \ n -> n - 1 )
in let rec
<weixin_42146274> 上传 | 大小:30kb