total functional programming (Q17146827)
Jump to navigation
Jump to search
non-Turing-complete programming paradigm restricted to provably terminating programs
- strong functional programming
Language | Label | Description | Also known as |
---|---|---|---|
English | total functional programming |
non-Turing-complete programming paradigm restricted to provably terminating programs |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Total functional programming
- zhwiki 强函数式编程