fixpoint-combinators

fixpoint-combinators

文章 0 浏览 2

如何在 F# 中实现定点运算符(Y 组合器)?

我正在使用 F# 创建 lambda 演算。我目前正试图弄清楚如何实现定点运算符(也称为 Y 组合器)。 我认为其他一切都井然有序。表达式由以下可区分联合表…

再可℃爱ぅ一点好了 2024-09-30 01:57:57 1 0

用于自定义类型的函数的定点组合器?

使用定点组合器的大多数示例都涉及将整数转换为整数的函数(例如阶乘)。在许多情况下,函数在实数上的不动点最终将成为任意有理数或无理数(一个著名…

油焖大侠 2024-09-09 00:35:28 1 0

斐波那契数列上的 U 组合器:如何将此代码转换为 python?

我正在尝试了解组合器,但无法理解 (Y overriding自行申请)。我想我已经开始理解这个概念了,但距离理解还很远。 我想将以下代码翻译为 Python: (de…

鹿! 2024-09-06 12:14:48 1 0

F# 中的递归 lambda

以这个示例代码为例(暂时忽略它,它的效率非常低) let listToString (lst:list&lt'a&gt) = ' prettify fix let rec inner (lst:list&lt'a&gt) buffe…

灯角 2024-07-21 21:17:37 0 0
更多

推荐作者

不再见

文章 0 评论 0

真是无聊啊

文章 0 评论 0

樱娆

文章 0 评论 0

浅语花开

文章 0 评论 0

烛光

文章 0 评论 0

绻影浮沉

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文