搜索结果
跳转到导航
跳转到搜索
页面标题匹配
- …er 1995|series=Springer LNCS|volume=1022|pages=1–13}}.</ref>与之相对的是普通的或者说弱[[函数式编程]]。是一种[[程序设计|编程]]范式，它将程序的范围限制为[[判定器|可证明停机的程序]]。 <ref name="TFP">{{Citation|l 这些限制意味着强函数式编程不是[[圖靈完備性|图灵完备]]的。但是，我们仍然可以使用很多算法。例如，任何可以计算[[上界和下界|渐近上限]]的算法（仅使用 Walther 递归的 …6 KB（457个字） - 2025年2月11日 (二) 08:24
- 在[[函数式编程]]中，'''单子'''（monad）是一种抽象，它允许以[[泛型编程|泛型]]方式构造程序。支持它的语言可以使用单子来抽象出程序逻辑需要的{{en-l 对函数式编程中的单子的更常用的定义，比如在上面的例子中用到的，实际上基于了{{en-link|Kleisli范畴|Kleisli category|Kleisli三 …42 KB（2,961个字） - 2024年12月31日 (二) 22:58
页面内容匹配
- …<math>\lambda</math>）指示[[匿名函数]]抽象的一种有类型的形式化。有类型lambda演算是基础[[编程语言]]并且是有类型的[[函数式编程语言]]如[[ML语言|ML]]和[[Haskell]]和更间接的[[指令式编程语言]]的基础。它们通过[[Curry-Howard同构]]密切关联于[ …F，不是规范化的，但是它们不意图被解释为逻辑。实际上，[[PCF语言|PCF]]（可计算函数的编程语言）是元典型（prototypical）的有类型的函数式编程语言，这里的类型被用来确保程序是有良好行为的而不必須是终止的。 …4 KB（99个字） - 2018年10月13日 (六) 10:12
- [[Category:函數式編程]] …1 KB（113个字） - 2023年4月19日 (三) 07:07
- 由於函數式編程語言如 Haskell, LISP, Scheme都具備了一階函數，所以<math>CONS</math>單元或其它種類的數據結構，都可使用函數實現。例 …。邱奇編碼是一種在無型別的單純λ演算中，定義數據結構的常用方法，而λ演算則是可計算性質的理論抽象模型，與 Haskell, LISP, Scheme等函數式編程語言密切相關。 …7 KB（364个字） - 2025年2月4日 (二) 00:34
- …er 1995|series=Springer LNCS|volume=1022|pages=1–13}}.</ref>与之相对的是普通的或者说弱[[函数式编程]]。是一种[[程序设计|编程]]范式，它将程序的范围限制为[[判定器|可证明停机的程序]]。 <ref name="TFP">{{Citation|l 这些限制意味着强函数式编程不是[[圖靈完備性|图灵完备]]的。但是，我们仍然可以使用很多算法。例如，任何可以计算[[上界和下界|渐近上限]]的算法（仅使用 Walther 递归的 …6 KB（457个字） - 2025年2月11日 (二) 08:24
- …ndley–Milner 类型推论算法|Hindley-Milner]]"，或简称"HM"，有一个容易的类型推论算法，并用于了很多[[强类型]]的[[函数式编程语言]]，比如[[Haskell]]和[[ML語言|ML]]。 …6 KB（502个字） - 2024年6月16日 (日) 09:37
- 基于标准库的[[函数式编程]]工具<code>functools</code>中的{{en-link|部份应用|Partial application}}函数<code>part [[jq语言|jq]]是面向[[JSON]]的[[纯函数式编程]]语言，它使用<code>|</code>符号来连接过滤器形成流水线。例如： …13 KB（1,104个字） - 2025年2月14日 (五) 20:35
- | paradigm = [[函数式编程]] '''Idris'''是一个通用的[[依赖类型]][[纯函数式编程语言]]，其[[类型系统]]与[[Agda]]以及{{en-link|Epigram (编程语言)|Epigram (programming langu …7 KB（611个字） - 2022年11月9日 (三) 04:15
- …的是[[类型构造子]]比如<code>Maybe</code>，而非[[构造器|数据构造子]]比如<code>Just</code>。例如[[单子 (函数式编程)|单子]]类<code>Monad</code>： …以断言对类型参数的某个子集的给定指派，唯一性的确定余下的类型参数。例如，承载一个类型<code>s</code>的状态参数的，一个一般性的[[单子 (函数式编程)|单子]]<code>m</code>，满足类型类约束<code>Monad.State s m</code>。在这个约束中，有函数依赖<code>m …13 KB（975个字） - 2023年1月14日 (六) 21:04
- |paradigm = [[编程范型|多范型]]: [[面向堆栈编程|面向堆栈]], [[串接编程语言|串接式]], [[函数式编程|函数式]] Factor是[[动态类型]]的、[[函数式编程|函数式]]和[[面向对象编程|面向对象]]的[[编程语言]]。代码可以围绕叫做单词的小型过程来构造。在典型的代码中，这些过程一般1–3行长，多于7行长 …10 KB（746个字） - 2025年1月8日 (三) 16:09
- …Λ演算|lambda抽象]]来定义，在 lambda演算中的函數都是匿名的。然而在命令式編程語言中的遞歸，或許限制只能以呼叫函數名稱作為參數來實作。在函數式編程語言中的不动点，以 lambda抽象来定义的'''Y'''組合子為： …7 KB（461个字） - 2022年2月24日 (四) 08:22
- [[Category:函數式編程]] …5 KB（177个字） - 2023年6月9日 (五) 15:35
- …[[Per Martin-Löf]] 的[[直觉类型论]]中，依赖类型可对应于[[谓词逻辑]]中的[[全称量词]]和[[存在量词]]；在依赖类型[[函数式编程语言]]如{{en-link|ATS语言|ATS (programming language)|ATS}}、[[Agda]]、{{en-link|Dep 一些以证明辅助为主要目的的编程语言采用[[强函数式编程]]（total functional programming），这消除了停机问题，同时也意味着通过它们自身的核心语言无法实现任意无限递归，不是[[图灵 …14 KB（1,172个字） - 2024年2月24日 (六) 16:06
- …''，是指[[编程语言]]中在[[编译期]]自动推导出值的[[数据类型]]的能力，它是一些[[强类型|强]][[静态类型]]语言的特性。一般而言，[[函数式编程语言]]具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略[[类型标注]]的同时仍然允许类型检查。 …10 KB（569个字） - 2022年10月8日 (六) 01:44
- | paradigm = [[阵列编程|阵列]]、[[函数式编程|函数式]]、[[结构化编程|结构化]]、[[模块化编程|模块化]] …8 KB（371个字） - 2025年1月2日 (四) 08:23
- 在[[函数式编程]]中，'''过滤器'''（filter）是一个[[高阶函数]]，它按某种次序处理一个[[数据结构]]（通常是[[列表 (抽象数据类型)|列表]]），来 …tps://www.haskell.org/onlinereport/list.html#sect17.3 }}</ref>）也是常见的。常见的[[纯函数式编程]]语言{{en-link|程序优化|Program optimization|内存优化}}是拥有输入列表并过滤结果共享最长尾部。 …15 KB（1,527个字） - 2022年5月12日 (四) 10:24
- …{en-link|David Turner|David Turner (computer scientist)|David Turner}}的回忆录《函数式编程语言的一些历史》中，他回想起<ref>{{cite conference | first = David | last = Turner | url… …ton关于NPL的工作，在1980年代影响了很多函数式编程语言，但并非全部都包括了列表推导式。其中最有影响的，是1985年发行的，Turner的惰性纯函数式编程语言[[Miranda (编程语言)|Miranda]]。后来开发的标准惰性纯函数式语言[[Haskell]]，包含了Miranda的很多特征，包括列表 …15 KB（1,241个字） - 2024年9月15日 (日) 22:45
- {{for|函数式编程中的概念|函子 (函数式编程)}} …15 KB（827个字） - 2023年12月27日 (三) 07:24
- [[Category:函数式编程语言]] …15 KB（1,492个字） - 2024年8月13日 (二) 04:19
- == 函数式编程 == …的显式原地算法，因为这是一种函数调用过程的[[副作用 (计算机科学)|副作用]]。取而代之的是，函数式编程语言只允许构建新的数据（结构）。然而，优秀的函数式编程语言编译器往往可以检测到与现存对象高度类似的新对象被创建，且旧对象被抛弃，并将这个过程在底层优化成对既有数据的变换。 …8 KB（264个字） - 2024年5月16日 (四) 05:38
- …''（map）是一个高阶函数的名字，它将一个{{en-link|过程参数|procedural parameter|给定函数}}应用到一个[[函子 (函数式编程)|函子]]比如[[列表 (抽象数据类型)|列表]]的每个元素，返回按相同次序的一个列表。映射的概念不受限于列表：它可工作在顺序的[[容器 (数据类型) {{main|函子 (函数式编程)}} …21 KB（1,791个字） - 2022年5月15日 (日) 09:54