fixpoint-combinators

fixpoint-combinators

文章 0 浏览 5

C# 泛型中的定点生成器

我尝试在 C# 中定义一个在许多函数语言中都可以看到的定点生成器。我相信有时foldr 通常是根据定点生成器定义的。我将展示它的 Haskell 定义,然后展…

一抹淡然 2024-12-25 22:28:38 1 0

Haskell 中的定点组合器

给定定义,定点组合器并不总是产生正确的答案: fix f = f (fix f) 以下代码不会终止: fix (\x->x*x) 0 当然,fix不能总是产生正确的答案,但我想知…

并安 2024-12-15 14:43:26 1 0

K组合器的不动点

K 组合器为 K := (λxy.x),定点组合器为 Y := λf.(λx.fxx) (λx.fxx) 。我试图计算YK: YK = (λx.Kxx)(λx.Kxx) = (λx.x)(λx.x) = (λx.x) = I …

浊酒尽余欢 2024-12-14 00:30:47 3 0

haskell——设置定点库?

我正在寻找一个库,它将在多个可变数量的运算符下计算集合的不动点/闭包。例如, fixwith [(+)] [1] 对于整数,应计算所有 N(自然数,1..)。我尝试…

絕版丫頭 2024-12-02 05:21:10 3 0

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

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

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

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

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

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

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

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

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

F# 中的递归 lambda

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

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