您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. lambda-parser:用于lambda演算的完整(几乎没有错误!)虚拟机和编译器-源码

  2. Lambda微积分编译器 这里的目标是从lambda演算构建完整的函数式编程语言。 当前功能包括数字,运算符,字符串,列表和let语句。 该语言经过编译,并通过虚拟机进行评估。 即将推出的功能包括: 显式递归let语句 内置布尔 与守卫的模式匹配 经典无类型Lambda演算 Lambda演算是一种表示纯函数的方法。 在lambda演算中,唯一的原始类型是函数。 功能定义 函数以(|.)的形式定义例如: (|xx)是一个接受一些参数“ x”并返回它的函数。 功能应用 函数的应用非常简单: 例
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:11264
    • 提供者:weixin_42125770