Haskell 中的定点组合器
给定定义,定点组合器并不总是产生正确的答案: fix f = f (fix f) 以下代码不会终止: fix (\x->x*x) 0 当然,fix不能总是产生正确的答案,但我想知…
如何在 F# 中实现定点运算符(Y 组合器)?
我正在使用 F# 创建 lambda 演算。我目前正试图弄清楚如何实现定点运算符(也称为 Y 组合器)。 我认为其他一切都井然有序。表达式由以下可区分联合表…
斐波那契数列上的 U 组合器:如何将此代码转换为 python?
我正在尝试了解组合器,但无法理解 (Y overriding自行申请)。我想我已经开始理解这个概念了,但距离理解还很远。 我想将以下代码翻译为 Python: (de…
F# 中的递归 lambda
以这个示例代码为例(暂时忽略它,它的效率非常低) let listToString (lst:list) = ;;' prettify fix let rec inner (lst:list) buffer = ;;' pretti…
- 共 1 页
- 1