| http://dbpedia.org/ontology/abstract
|
强函数式编程（也称为全函数式编程），与之相对的是普通的或者说弱函数式编程。是一种编程范式，它将程序的范围限制为可证明停机的程序。
, Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating.
|
| http://dbpedia.org/ontology/wikiPageID
|
11599902
|
| http://dbpedia.org/ontology/wikiPageLength
|
6216
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1099367898
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Quicksort +
, http://dbpedia.org/resource/Strict_evaluation +
, http://dbpedia.org/resource/Charity_%28programming_language%29 +
, http://dbpedia.org/resource/Martin-L%C3%B6f_type_theory +
, http://dbpedia.org/resource/Epigram_%28programming_language%29 +
, http://dbpedia.org/resource/Turing-complete +
, http://dbpedia.org/resource/Computer_programming +
, http://dbpedia.org/resource/I/O +
, http://dbpedia.org/resource/Category:Proof_assistants +
, http://dbpedia.org/resource/Walther_recursion +
, http://dbpedia.org/resource/Big_O_notation +
, http://dbpedia.org/resource/Category:Functional_programming +
, http://dbpedia.org/resource/Upper_bound +
, http://dbpedia.org/resource/Refinement_type +
, http://dbpedia.org/resource/Haskell_%28programming_language%29 +
, http://dbpedia.org/resource/Partial_function +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Substructural_recursion +
, http://dbpedia.org/resource/Category:Programming_paradigms +
, http://dbpedia.org/resource/Finitary +
, http://dbpedia.org/resource/Abstract_interpretation +
, http://dbpedia.org/resource/Dependent_types +
, http://dbpedia.org/resource/System_F +
, http://dbpedia.org/resource/Machine_that_always_halts +
, http://dbpedia.org/resource/Corecursion +
, http://dbpedia.org/resource/Codata_%28computer_science%29 +
, http://dbpedia.org/resource/Data +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Lazy_evaluation +
, http://dbpedia.org/resource/Calculus_of_Constructions +
, http://dbpedia.org/resource/David_Turner_%28computer_scientist%29 +
, http://dbpedia.org/resource/Termination_analysis +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Proof_assistants +
, http://dbpedia.org/resource/Category:Programming_paradigms +
, http://dbpedia.org/resource/Category:Functional_programming +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Total_functional_programming?oldid=1099367898&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Total_functional_programming +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q17146827 +
, http://zh.dbpedia.org/resource/%E5%BC%BA%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B +
, http://dbpedia.org/resource/Total_functional_programming +
, https://global.dbpedia.org/id/gUr5 +
, http://yago-knowledge.org/resource/Total_functional_programming +
, http://rdf.freebase.com/ns/m.02rl3rf +
|
| rdf:type |
http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Worker109632518 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/class/yago/Assistant109815790 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatProofAssistants +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
|
| rdfs:comment |
强函数式编程（也称为全函数式编程），与之相对的是普通的或者说弱函数式编程。是一种编程范式，它将程序的范围限制为可证明停机的程序。
, Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating.
|
| rdfs:label |
Total functional programming
, 强函数式编程
|
