- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
Y 组合器是一个来自事物“功能”方面的计算机科学概念。大多数程序员即使听说过组合器,也对组合器知之甚少。
最佳答案
Y 组合器是一种“函数式”(对其他函数进行操作的函数),当您无法从函数内部引用该函数时,它可以启用递归。在计算机科学理论中,它概括了递归,抽象了其实现,从而将其与相关函数的实际工作分开。递归函数不需要编译时名称的好处是一种额外的好处。 =)
这适用于支持 lambda functions 的语言。 expression lambda 的基于 - 的性质通常意味着它们不能通过名称引用自身。通过声明变量、引用它,然后将 lambda 分配给它来完成自引用循环来解决这个问题是很脆弱的。 lambda 变量可以被复制,并重新分配原始变量,这会破坏自引用。
在 static-typed 中,Y 组合器的实现和使用都很麻烦。语言(procedural languages 通常是),因为通常类型限制要求在编译时知道相关函数的参数数量。这意味着必须为需要使用的任何参数计数编写 y 组合器。
下面是 C# 中 Y-Combinator 的使用和工作方式的示例。
使用 Y 组合器涉及构建递归函数的“不寻常”方式。首先,您必须将函数编写为调用预先存在的函数而不是函数本身的一段代码:
// Factorial, if func does the same thing as this bit of code...
x == 0 ? 1: x * func(x - 1);
然后将其转换为一个函数,该函数接受一个函数进行调用,并返回一个执行此操作的函数。这称为泛函,因为它接受一个函数,并用它执行一项操作,从而产生另一个函数。
// A function that creates a factorial, but only if you pass in
// a function that does what the inner function is doing.
Func<Func<Double, Double>, Func<Double, Double>> fact =
(recurs) =>
(x) =>
x == 0 ? 1 : x * recurs(x - 1);
现在你有一个函数,它接受一个函数,并返回另一个函数,该函数看起来有点像阶乘,但它不是调用自身,而是调用传递到外部函数的参数。你如何使它成为阶乘?将内部函数传递给自身。 Y-Combinator 通过成为一个具有永久名称的函数来实现这一点,它可以引入递归。
// One-argument Y-Combinator.
public static Func<T, TResult> Y<T, TResult>(Func<Func<T, TResult>, Func<T, TResult>> F)
{
return
t => // A function that...
F( // Calls the factorial creator, passing in...
Y(F) // The result of this same Y-combinator function call...
// (Here is where the recursion is introduced.)
)
(t); // And passes the argument into the work function.
}
不是阶乘调用自身,而是阶乘调用阶乘生成器(由对 Y-Combinator 的递归调用返回)。根据 t 的当前值,从生成器返回的函数将使用 t - 1 再次调用生成器,或者仅返回 1,终止递归。
它复杂而神秘,但在运行时一切都会发生变化,其工作的关键是“延迟执行”,以及将递归分解为跨两个函数。内部 F 作为参数传递,仅在必要时在下一次迭代中调用。
关于functional-programming - 什么是 Y 组合器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/93526/
我有一个 mysql 表,其中包含一些随机数字组合。为简单起见,以下表为例: index|n1|n2|n3 1 1 2 3 2 4 10 32 3 3 10 4 4
我有以下代码: SELECT sdd.sd_doc_classification, sdd.sd_title, sdd.sd_desc, sdr.sd_upl
如果我有两个要合并的数据框 Date RollingSTD 01/06/2012 0.16 01/07/2012 0.18 01/08/2012 0.17 01/09/20
我知道可以使用 lein ring war 创建一个 war 文件,但它似乎仍然包含码头依赖项。当我构建 war (并在 tomcat 上部署)时,有没有办法排除码头依赖项? 如果我根本不能做这件事,
维基百科关于封装的文章指出: “封装还通过防止用户将组件的内部数据设置为无效或不一致的状态来保护组件的完整性” 我在一个论坛上开始讨论封装,在那里我问你是否应该始终在 setter 和/或 gette
对于我使用的组合框内的复选框: AOEDComboAssociationName = new Ext.form.ComboBox({ id: 'AOEDComboAssociationName',
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: How do I combine LINQ expressions into one? public boo
如何在 rust 中找到排列或组合的数量? 例如C(10,6) = 210 我在标准库中找不到这个函数,也找不到那里的阶乘运算符(这就足够了)。 最佳答案 以@vallentin 的回答为基础,可以进
我有一个复杂的泛型类型用例,已在下面进行了简化 trait A class AB extends A{ val v = 10 } trait X[T<:A]{ def request: T }
如何使用 Hibernate 限制来实现此目的? (((A='X') and (B in('X',Y))) or ((A='Y') and (B='Z'))) 最佳答案 思考有效 Criteria c
我一定会在我的一个项目中使用谷歌图表。我需要的是,显示一个条形图,并且在条形图中,与每个条形相交的线代表另一个值。如果您查看下面的 jsfiddle,您会发现折线图仅与中间的条形图相交,并继续向其他条
只是一个简单的问题,我也很想得到答案,因为我不能百分百理解 Javascript 示例:假设您提示用户输入名称。够简单吧?但是你有一个数组,上面写着一些名字(其中之一就是),基本上就是我到目前为止所说
我试图通过 Haskell 理解函数式编程,但在处理函数组合时遇到了很多麻烦。 其实我有这两个功能: add:: Integer -> Integer -> Integer add x y = x
我正在寻找一种在 Realm 查询中组合 AND 和 OR 的方法。 这是我的课: class Event extends RealmObject { String id; String
例如,我有一个包含 5 个元素的哈希: my_hash = {a: 'qwe', b: 'zcx', c: 'dss', d: 'ccc', e: 'www' } 我的目标是每次循环哈希时都返回,但没
我是Combine 的新手,我想得到一个看似简单的东西。假设我有一个整数集合,例如: let myCollection = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] 我想以例如 0
关于“优先组合而不是继承”的问题,我的老师是这样说的: 组合:现有类成为新类的组件 转发:新类中的每个实例方法,在现有类的包含实例上调用相应的方法并返回结果 包装器:新类封装了现有的 这三个概念我不是
我正在尝试将单个整数从 ASCII 值转换为 0 和 1。相关代码如下所示: int num1 = bin.charAt(0); int num2 = bin.charAt(1);
这个问题已经有答案了: What is a NullPointerException, and how do I fix it? (12 个回答) 已关闭 7 年前。 我经常看到“嵌套”类中的非静态变
我尝试合并两个数据集(DataFrame),如下所示: D1 = pd.DataFrame({'Village':['Ampil','Ampil','Ampil','Bachey','Bachey',
我是一名优秀的程序员,十分优秀!