注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. lambda演算资料集合

  2. 个人收集的一些关于lambda演算的国内外资料和课件，请笑纳

  3. 所属分类：专业指导

    • 发布日期：2015-10-14
    • 文件大小：4mb
    • 提供者：localityv

  1. lambda演算简介

  2. lambda演算简介

  3. 所属分类：讲义

    • 发布日期：2016-04-16
    • 文件大小：577kb
    • 提供者：mali0914

  1. lambda演算入门

  2. 函数式编程入门概念之一,lambda演算是函数式编程的数学理论基础...

  3. 所属分类：Java

    • 发布日期：2018-04-06
    • 文件大小：333kb
    • 提供者：u013131282

  1. 如何利用Ruby简单模拟Lambda演算详解

  2. 最近在学习lambda演算的相关内容，由于资料不全，学习的过程很是痛苦，下面这篇文章主要给大家介绍了关于如何利用Ruby简单模拟Lambda演算的相关资料，需要的朋友可以参考借鉴，下面来随着小编一起学习学习吧。

  3. 所属分类：其它

    • 发布日期：2020-09-21
    • 文件大小：187kb
    • 提供者：weixin_38617451

  1. 如何利用Ruby简单模拟Lambda演算详解

  2. 前言 最近看一本叫做《计算的本质》的书，这本书主要说了一些底层计算方面的知识。可以说它刷新了我的三观，而当今天看到可以使用Y组合子来实现递归的时候我的世界观基本崩塌了。故借着七夕来写一篇文章总结一些关于计算的一些基本认识。以便后续可以更好地学习。也借着Ruby的语法来阐述一下关于Lambda的一些故事。 0. 题外话 为了庆祝一下这个七夕节日，我提前关掉了LOL，打开了Emacs，敲下如下代码(这里顺便推广一下Ruby的单件方法) subject = 情侣 object = 狗 def su

  3. 所属分类：其它

    • 发布日期：2021-01-03
    • 文件大小：186kb
    • 提供者：weixin_38635323

  1. sky-lambda:Haskell中的未类型化lambda演算-源码

  2. 天空lambda Haskell中的未类型化lambda演算 该项目希望成为无类型lambda演算的简单但灵活的实现。它还将支持“模块”，这将使编写更大的程序变得容易得多。 注意事项 这仅是一个研究项目，而不是高效的编程语言！ 由于这是完全没有类型的，因此在尝试编写有意义的程序时必须非常小心！ 编写不会终止的程序非常容易：评估仅在您的程序处于“弱头正常形式”时终止。 笔记 它支持逐步执行，尝试使中间步骤“可读”。 （当然）它将使用惰性评估方案 它不会尝试做任何花哨的和快速的评估！ 待办事项清

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：11kb
    • 提供者：weixin_42128141

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

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

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：11kb
    • 提供者：weixin_42125770

  1. Glamorous-Lambda-Songbirds:（动画的lambda演算）-源码

  2. 迷人的Lambda歌手 尝试实现（类似） （动画化的Lambda演算）。 安装 获取。 然后： Metacello new baseline: ' Songbirds ' ; repository: ' github://Peter-H-Meadows/Glamorous-Lambda-Songbirds:main/src ' ; load. SongbirdsGUI new open . 右键单击任意位置以访问菜单。

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：186kb
    • 提供者：weixin_42159267

  1. eole:Éole，没有Oracle的Lévy最优lambda演算评估程序-源码

  2. 更新23/10/2019 我们有一个反例（请参阅＃1），因此Éole不适用于完整的非类型化语言演算！ 我们不知道它可以处理哪种类别的术语，但是您仍然会觉得它很有趣;-) Éole-Lévy最佳lambda演算评估程序（不使用oracle）。 Éole是Lévy最佳lambda演算评估器，在某些情况下可以比传统评估器更快地渐近。 它可以计算出“非足够优化”评估人员无法“快速”完成的事情。 例如，它可以计算 wih Church的数字，而无需做任何特殊的操作（即，不使用数学属性）。 嗯...

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：273kb
    • 提供者：weixin_42133899

  1. lambda-calculus：可在桌面和wasm上运行的lambda演算解释器-源码

  2. Lambda微积分是一种简单的计算模型，唯一的数据类型是带有一个参数并返回一个结果的函数。 尽管它很简单，但是它是图灵完备的。 有关它的更多信息，请参见， 或许多其他来源。 这是一个用于实验lambda演算的小项目。 它不打算在生产中有用或功能完整。 它的语法也与标准lambda演算（'a-> a'而不是'λa。a'）略有不同，因为我不喜欢lambda字符的标准替代形式。 有两个界面：和命令行版本。 要运行命令行版本，请运行cargo run 。 要运行在线版本，请单击上面的链接，或安

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：25kb
    • 提供者：weixin_42134168

  1. 通用lambda：使用lambda演算的通用函数的实现-源码

  2. 通用λ 使用lambda演算实现通用函数 该代码演示了一个通用函数（以lambda微积分为基础，表示二进制函数对二进制字符串的部分排斥）。 与以前的尝试不同（例如二进制lambda演算），它使用lambda项与输入上的ℕ之间的双射以及规范化的lambda项与输出上的ℕ之间的双射，因此任何数字/字符串都可以视为输入或输出。 例如，这意味着询问字符串的Kolmogorov复杂度总是有意义的。 将来可能会将其吸收到更大的项目中。 目前，我决定将它放在这里。

  3. 所属分类：其它

  1. LambdaSki：滑雪转换器编译器的简单Lambda演算-源码

  2. LambdaSki 简单的Lambda微积分到Ski编译器。 这是一个简单的程序，可将lambda演算表达式转换为sk组合器表达式。 需要构建Haskell平台和Megaparsec。 输出格式 可选参数用于确定输出格式，其中“ f”确定将调用项放在哪里，“ x”确定将自变量放在哪里。 例子： f(x)发出类似于s(k)(k) afx发出类似于aaskk输出 也可以在第二个和第三个参数示例中指定术语“ s”和“ k”： f(k) ab发出类似于a(b)(b) 语言 该语言有5种类型的

  3. 所属分类：其它

  1. lambda-calculator：lambda演算解释器-源码

  2. lambda演算解释器 这是lambda演算解释器lc的代码。 lc会按正常顺序（从最左到最先）减少beta和eta。 lc将重命名绑定变量以防止捕获变量。 建筑 我没有做GNU风格的autoconf脚本。 我确实编写了相当严格的ANSI C（我希望是C89 / C90版本），并且可以在许多编译器和操作系统下进行编译。 要生成lc可执行文件： make gnu # should work on most linuxes that have devel environment m

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：86kb
    • 提供者：weixin_42111465

  1. glc：球拍中的Lambda演算-源码

  2. λ演算 自述文字在这里。

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：10kb
    • 提供者：weixin_42117037

  1. lambda-calculus-nim：一个用Nim编写的lambda演算解释器项目-源码

  2. Lambda微积分解释器，用Nim编写 这是我正在做的个人项目。 我喜欢Lambda微积分，并且对Nim（我最近发现的一种编程语言）非常感兴趣。 我将采用半功能方法来编写此解释器。 敬请关注！ 怎么跑 导航到终端中的文件。 编写以下内容以编译和运行解释器。 nim c -r main.nim 当然，您需要安装Nim。

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：65kb
    • 提供者：weixin_42153691

  1. LambdaCalculusInterpreters：两种lambda演算的解释器：一种解释器，一种解释器，其类型为int，bool和pair。-源码

  2. LambdaCalculusInterpreters：两种lambda演算的解释器：一种解释器，一种解释器，其类型为int，bool和pair。

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：16kb
    • 提供者：weixin_42116734

  1. 艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师-源码

  2. 艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：25kb
    • 提供者：weixin_42098251

  1. malc：进行lambda演算-源码

  2. malc-制作Lambda演算 关于 Malc是用于以任何支持编程语言实现无类型的指南和规范。 λ演算有时被称为世界上最小的编程语言。 它是一个完全由功能和功能应用组成的符号。 甚至“原始值”也表示为组合器，即没有全局变量的闭包。 作为函数式编程的基础，无类型的lambda演算易于学习，如果您真的想了解这种编程范例的基础，则值得学习。 该项目通过演示如何实现lambda演算，从而提供了对“值即函数”概念的一些见解，从而通过多种熟悉的编程语言展示了一种单独使用函数来计算（原则上）可计算的东西的方

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：27kb
    • 提供者：weixin_42097819

  1. Grift：渐进式lambda演算的编译器-源码

  2. Grift：渐进式lambda演算的编译器

  3. 所属分类：其它

  1. tilec：有时候，当我感到难过时，我会执行依赖类型的lambda演算-源码

  2. tilec：有时候，当我感到难过时，我会执行依赖类型的lambda演算

  3. 所属分类：其它

    • 发布日期：2021-01-28
    • 文件大小：25kb
    • 提供者：weixin_42116701
« 12 3 4 »