Total functional programming

http://dbpedia.org/resource/Total_functional_programming an entity of type: Assistant109815790

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. rdf:langString
强函数式编程(也称为全函数式编程),与之相对的是普通的或者说弱函数式编程。是一种编程范式,它将程序的范围限制为可证明停机的程序。 rdf:langString
rdf:langString Total functional programming
rdf:langString 强函数式编程
xsd:integer 11599902
xsd:integer 1099367898
rdf:langString 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.
rdf:langString 强函数式编程(也称为全函数式编程),与之相对的是普通的或者说弱函数式编程。是一种编程范式,它将程序的范围限制为可证明停机的程序。
xsd:nonNegativeInteger 6216

data from the linked data cloud