搜索结果
跳转到导航
跳转到搜索
- …<math>\lambda</math>）指示[[匿名函数]]抽象的一种有类型的形式化。有类型lambda演算是基础[[编程语言]]并且是有类型的[[函数式编程语言]]如[[ML语言|ML]]和[[Haskell]]和更间接的[[指令式编程语言]]的基础。它们通过[[Curry-Howard同构]]密切关联于[[直 …F，不是规范化的，但是它们不意图被解释为逻辑。实际上，[[PCF语言|PCF]]（可计算函数的编程语言）是元典型（prototypical）的有类型的函数式编程语言，这里的类型被用来确保程序是有良好行为的而不必須是终止的。 …4 KB（99个字） - 2018年10月13日 (六) 10:12
- '''Idris'''是一个通用的[[依赖类型]][[纯函数式编程语言]]，其[[类型系统]]与[[Agda]]以及{{en-link|Epigram (编程语言)|Epigram (programming languag [[Category:函数式编程语言]] …7 KB（611个字） - 2022年11月9日 (三) 04:15
- …ndley–Milner 类型推论算法|Hindley-Milner]]"，或简称"HM"，有一个容易的类型推论算法，并用于了很多[[强类型]]的[[函数式编程语言]]，比如[[Haskell]]和[[ML語言|ML]]。 …6 KB（502个字） - 2024年6月16日 (日) 09:37
- 由於函數式編程語言如 Haskell, LISP, Scheme都具備了一階函數，所以<math>CONS</math>單元或其它種類的數據結構，都可使用函數實現。例如， …。邱奇編碼是一種在無型別的單純λ演算中，定義數據結構的常用方法，而λ演算則是可計算性質的理論抽象模型，與 Haskell, LISP, Scheme等函數式編程語言密切相關。 …7 KB（364个字） - 2025年2月4日 (二) 00:34
- ==函数式编程语言== …13 KB（1,104个字） - 2025年2月14日 (五) 20:35
- …Λ演算|lambda抽象]]来定义，在 lambda演算中的函數都是匿名的。然而在命令式編程語言中的遞歸，或許限制只能以呼叫函數名稱作為參數來實作。在函數式編程語言中的不动点，以 lambda抽象来定义的'''Y'''組合子為： …7 KB（461个字） - 2022年2月24日 (四) 08:22
- [[Category:函数式编程语言]] …10 KB（746个字） - 2025年1月8日 (三) 16:09
- …''，是指[[编程语言]]中在[[编译期]]自动推导出值的[[数据类型]]的能力，它是一些[[强类型|强]][[静态类型]]语言的特性。一般而言，[[函数式编程语言]]具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略[[类型标注]]的同时仍然允许类型检查。 …10 KB（569个字） - 2022年10月8日 (六) 01:44
- [[Epigram（编程语言）|Epigram]]和Charity都可以被认为是强函数式编程语言，即使它们的工式与[[大衛·特納|特纳]]在他的论文中指定的那样不同。这样的语言可以直接在[[系统F]]、[[直觉类型论|直觉类理论]]或[[构造演算] …6 KB（457个字） - 2025年2月11日 (二) 08:24
- 15 KB（1,527个字） - 2022年5月12日 (四) 10:24
- …[[Per Martin-Löf]] 的[[直觉类型论]]中，依赖类型可对应于[[谓词逻辑]]中的[[全称量词]]和[[存在量词]]；在依赖类型[[函数式编程语言]]如{{en-link|ATS语言|ATS (programming language)|ATS}}、[[Agda]]、{{en-link|Depen …14 KB（1,172个字） - 2024年2月24日 (六) 16:06
- …{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
- [[Category:函数式编程语言]] …15 KB（1,492个字） - 2024年8月13日 (二) 04:19
- 21 KB（1,791个字） - 2022年5月15日 (日) 09:54
- …模型论]]的分支，导致了同[[类型论]]和[[范畴论]]的联系。在计算机科学内与[[抽象释义]]、[[程序验证]]和[[函数式编程]]有联系，参见[[函数式编程语言中的单子]](monad)。特别是，指称语义使用了[[续体]](continuation)来依据[[函数式编程]]语义表达顺序编程中的控制流。 …21 KB（1,336个字） - 2023年11月25日 (六) 12:10
- [[Category:函数式编程语言]] …13 KB（1,049个字） - 2024年10月13日 (日) 14:36
- …的显式原地算法，因为这是一种函数调用过程的[[副作用 (计算机科学)|副作用]]。取而代之的是，函数式编程语言只允许构建新的数据（结构）。然而，优秀的函数式编程语言编译器往往可以检测到与现存对象高度类似的新对象被创建，且旧对象被抛弃，并将这个过程在底层优化成对既有数据的变换。 …8 KB（264个字） - 2024年5月16日 (四) 05:38
- "函数式编程语言" [[Category:函数式编程语言]] …25 KB（2,392个字） - 2025年3月18日 (二) 03:43
- …nkel]]和[[哈斯凱爾·加里]]介入的一种符号系统，用来消除[[数理逻辑]]中对[[变量]]的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的'''组合子'''是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的[[高阶函数]]。 [[函数式编程语言]]经常基于lambda演算的简单而普遍的语义。 …23 KB（1,633个字） - 2022年11月24日 (四) 19:35
- …e theory}}），也可简称'''类型论'''，此外也有'''构造类型论'''或'''马汀-洛夫类型论'''称呼。是基于[[数学构造主义]]的[[函数式编程语言]]、[[逻辑]]和[[集合论]]。 …9 KB（522个字） - 2023年5月15日 (一) 05:41