搜索结果
跳转到导航
跳转到搜索
页面标题匹配
- 在[[函数式编程]]中，'''过滤器'''（filter）是一个[[高阶函数]]，它按某种次序处理一个[[数据结构]]（通常是[[列表 (抽象数据类型)|列表]]），来产一个新的数据结构，它精确的包含最初数据结构中给定{{en- * [[Map (高阶函数)]] …15 KB（1,527个字） - 2022年5月12日 (四) 10:24
- 在很多[[编程语言]]中，'''映射'''（map）是一个高阶函数的名字，它将一个{{en-link|过程参数|procedural parameter|给定函数}}应用到一个[[函子 (函数式编程)|函子]]比如[[ 映射在作为[[高阶函数|泛函形式]]考虑时，经常叫做“应用于全部”。在支持[[头等函数]]和[[柯里化]]的语言中，<code>map</code>可以{{en-link|部 …21 KB（1,791个字） - 2022年5月15日 (日) 09:54
页面内容匹配
- …组合子'''（{{lang-en|Fixed-point combinator}}，或'''不动点算子'''）是计算其他函数的一个[[不动点]]的[[高阶函数]]。 …不动点，因为 0<sup>2</sup> = 0 而 1<sup>2</sup> = 1。鉴于一阶函数（在简单值比如整数上的函数）的不动点是个一阶值，高阶函数 '''f''' 的不动点是另一个函数 '''g''' 使得 '''f'''('''g''') = '''g'''。那么，不动点算子 '''fix''' …7 KB（461个字） - 2022年2月24日 (四) 08:22
- 在程式語言中也一樣，有數個參數的函數總是可以被定義成以某個[[物件複合|複合類型]]做為單一參數的函數，如[[多元組]]，或[[柯里化]]的[[高階函數]]。 …4 KB（80个字） - 2024年9月15日 (日) 16:27
- …奇数是接受函数<tt>''f''</tt>作为参数并返回<tt>''f''</tt>的<tt>''n''</tt>次幂的函数。就是说，邱奇数是一个[[高阶函数]] -- 它接受一个单一参数函数<tt>''f''</tt>，并返回另一个单一参数函数。 …6 KB（502个字） - 2024年6月16日 (日) 09:37
- …运算之函数的[[算子]]。首先在记号上，将微分考虑为一个抽象运算是有帮助的，它接受一个函数得到另一个函数{{notetag|以[[计算机科学]]中[[高阶函数]]的方式}}{{notetag|当然有理由不单限制于线性算子。例如在只考虑线性的情况下，{{le|施瓦茨导数|Schwarz derivative}} …8 KB（512个字） - 2023年6月28日 (三) 16:55
- 在[[函数式编程]]中，'''过滤器'''（filter）是一个[[高阶函数]]，它按某种次序处理一个[[数据结构]]（通常是[[列表 (抽象数据类型)|列表]]），来产一个新的数据结构，它精确的包含最初数据结构中给定{{en- * [[Map (高阶函数)]] …15 KB（1,527个字） - 2022年5月12日 (四) 10:24
- …ode>中的{{en-link|部份应用|Partial application}}函数<code>partial()</code>和[[fold (高阶函数)|归约]]函数<code>reduce()</code>，这个例子可以写为无点样式的没有参数的一序列函数的复合<ref>{{cite web | ur 这是一种[[fold (高阶函数)|折叠]]（fold）运算，编程者可以将它改写为： …13 KB（1,104个字） - 2025年2月14日 (五) 20:35
- 在[[程序设计|计算机编程]]中 '''语法分析组合子''' 是一个 [[高阶函数]] ，它接受几个的语法分析器作为输入，并返回一个新的语法分析函器作为其输出。 在这个上下文中， [[語法分析器|语法分析器]] 是一个函数，它接受字符 …ard Frost和John Launchbury演示了使用语法分析组合子构造的[[自然语言]]解释器。Graham Hutton在1992年也使用了高阶函数进行基本解析。S.D. Swierstra在2001年还展示了解析器组合器的实用方面。在2008年，Frost、Hafiz和Callaghan用Hask …5 KB（177个字） - 2023年6月9日 (五) 15:35
- 透過邱奇編碼，在其他符号系统中通常被认定为基本的项（比如整数、布尔值、有序对、列表和tagged unions）都會被映射到[[高阶函数]]。<!---問題: 邱奇-圖靈問題應為討論停機問題，lambda 演算採用 beta 規約仍可停機 ---根据[[邱奇-图灵论题]]我们知道任何可计 '''邱奇数'''為使用邱奇编码的[[自然数]]表示法，而用以表示自然数<math>n</math>的[[高阶函数]]是個任意函数<math>f</math>映射到它自身的''n''重[[函数复合]]之函数，簡言之，數的「值」即等價於參數被函數包裹的次數。 …12 KB（1,327个字） - 2020年9月20日 (日) 00:31
- 在很多[[编程语言]]中，'''映射'''（map）是一个高阶函数的名字，它将一个{{en-link|过程参数|procedural parameter|给定函数}}应用到一个[[函子 (函数式编程)|函子]]比如[[ 映射在作为[[高阶函数|泛函形式]]考虑时，经常叫做“应用于全部”。在支持[[头等函数]]和[[柯里化]]的语言中，<code>map</code>可以{{en-link|部 …21 KB（1,791个字） - 2022年5月15日 (日) 09:54
- …]]创建单词<code>[a,b]</code>的应用，<code>product</code>是作为[[序列]][[组合子]]的二元[[Fold (高阶函数)|归约]]运算。 …10 KB（746个字） - 2025年1月8日 (三) 16:09
- [[Category:高阶函数]] …3 KB（261个字） - 2024年3月4日 (一) 10:42
- …用于基于描述创建一个列表（list）数据结构。相当于数学上的[[集合建構式符號]]。但不同于[[map (高阶函数)|map]]与[[filter (高阶函数)|filter]]函数。 …15 KB（1,241个字） - 2024年9月15日 (日) 22:45
- [[Category:高阶函数]] …13 KB（674个字） - 2021年9月1日 (三) 20:45
- * [[高阶函数]] …20 KB（1,553个字） - 2025年2月26日 (三) 04:52
- …math>\ge</math>的[[区间]]<math>[n, 1]</math>，然后在这个[[数列]]上进行应用[[乘法]]运算的[[fold (高阶函数)|右归约]]得出一个最终的结果值。这里的命令<code>z</code>，将当前的堆栈深度即堆栈中元素数目压入栈顶。还可以进一步增加针对<code>x …h>\le</math>的[[区间]]<math>[1, n]</math>，同步地在这个数列上进行输出中间值的应用[[乘法]]运算的[[fold (高阶函数)|左归约]]得出结果[[数列]]，这里的<code>x</code>所起到的作用也被称为[[累加器]]，其含义为“累计”或“累积”而不必然采用加法或乘 …19 KB（1,579个字） - 2025年2月5日 (三) 15:50
- …科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的'''组合子'''是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的[[高阶函数]]。 …23 KB（1,633个字） - 2022年11月24日 (四) 19:35
- 以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个[[高阶函数]] -- 以单一参数函数f为参数，返回另一个单一参数的函数。 …39 KB（2,635个字） - 2024年1月26日 (五) 06:54
- …算法，我们需要一个边界函数，用来计算函数<math>f</math>在搜索树节点上的下界，以及一个基于特定问题的分支规则。本文提出的通用算法是一个[[高阶函数]]。 …12 KB（913个字） - 2024年4月15日 (一) 12:43
- …中少见，可以直接使用范畴论，它定义单子为有二个额外[[自然变换]]的[[函子]]。作为开始，一个结构要求叫做[[Map (高阶函数)|map]]的[[高阶函数]]（“泛函”）从而具备函子资格： …42 KB（2,961个字） - 2024年12月31日 (二) 22:58
- ===高阶函数=== 基本库的函数<code>List.map</code>，是在Standard ML中最常用的[[Curry化]][[高阶函数]]，它在概念上可定义为： …144 KB（16,053个字） - 2024年12月15日 (日) 05:29