Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming...
6 KB (719 words) - 14:49, 20 May 2025
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
88 KB (8,693 words) - 20:11, 8 August 2025
list of functional programming topics. Programming paradigm Declarative programming Programs as mathematical objects Function-level programming Purely...
3 KB (205 words) - 20:20, 20 February 2025
Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be...
10 KB (899 words) - 12:44, 15 November 2024
tactics language, and proofs are written in a functional programming style. The language has ordinary programming constructs such as data types, pattern matching...
14 KB (1,397 words) - 21:31, 21 July 2025
Turing completeness (redirect from Turing-complete programming language)
extensions.[citation needed] In total functional programming languages, such as Charity and Epigram, all functions are total and must terminate. Charity uses...
32 KB (3,448 words) - 16:33, 27 July 2025
Erlang (/ˈɜːrlæŋ/ UR-lang) is a general-purpose, concurrent, functional high-level programming language, and a garbage-collected runtime system. The term...
42 KB (4,727 words) - 09:08, 29 July 2025
self-interpreter in a total programming language. Canonical form Typed lambda calculus Rewriting Total functional programming Barendregt–Geuvers–Klop...
9 KB (1,284 words) - 17:36, 18 February 2025
Meta-circular evaluator (category Programming language implementation)
{\displaystyle \lambda } calculus functionally correspond to the same self-interpreter. Total functional programming languages that are strongly normalizing...
18 KB (1,945 words) - 18:40, 1 August 2025
Expressions and Total Functional Programming". In Olaf Chitil; Zoltán Horváth; Viktória Zsók (eds.). Implementation and Application of Functional Languages...
48 KB (8,332 words) - 22:00, 8 August 2025
Curry–Howard correspondence (redirect from Programs-as-proofs)
Curry–Howard isomorphism). A more radical approach, advocated by total functional programming, is to eliminate unrestricted recursion (and forgo Turing completeness...
58 KB (6,372 words) - 21:54, 30 July 2025
Teetotalism (redirect from Tee-total)
emphasised form of total, the tee- is presumably a reduplication of the first letter of total, much as contemporary idiom might say "total with a capital...
29 KB (2,973 words) - 03:31, 9 August 2025
compile time. Rust supports multiple programming paradigms. It was influenced by ideas from functional programming, including immutability, higher-order...
110 KB (10,401 words) - 03:17, 9 August 2025
Decider (Turing machine) (redirect from Total Turing machine)
examples of programming languages which guarantee termination of the programs, there exists no programming language which captures exactly the total recursive...
9 KB (1,302 words) - 23:35, 10 September 2023
Correctness (computer science) (redirect from Total correctness)
respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input–output behavior of the algorithm:...
7 KB (658 words) - 20:32, 14 March 2025
Tail call (category Implementation of functional programming languages)
are often optimized by interpreters and compilers of functional programming and logic programming languages to more efficient forms of iteration. For example...
41 KB (4,342 words) - 23:34, 6 August 2025
constraint logic programming were Prolog III, CLP(R), and CHIP. Instead of logic programming, constraints can be mixed with functional programming, term rewriting...
18 KB (2,324 words) - 10:26, 27 May 2025
Continuation-passing style (category Functional programming)
In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation...
21 KB (2,519 words) - 04:31, 24 June 2025
In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...
27 KB (3,451 words) - 15:54, 30 May 2025
Interpreter (computing) (redirect from Interpreted programming language)
Columbia University Theoretical Foundations For Practical 'Totally Functional Programming' (Chapter 7 especially) Doctoral dissertation tackling the problem...
37 KB (4,625 words) - 12:21, 9 August 2025
David Turner (computer scientist) (category Programming language designers)
known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph...
10 KB (845 words) - 05:57, 9 August 2025
programming languages, with C compilers available for practically all modern computer architectures and operating systems. The book The C Programming...
98 KB (10,894 words) - 17:23, 7 August 2025
Corecursion (category Functional programming)
Logic, Maths, and Programming. King's College Publications. ISBN 978-0-9543006-9-2. David Turner (2004-07-28). "Total Functional Programming". Journal of Universal...
30 KB (4,187 words) - 13:52, 24 July 2025
Concurrent computing (redirect from Concurrent programming)
system programming, with a concurrent programming model based on CSP Haskell—concurrent, and parallel functional programming language Hume—functional, concurrent...
29 KB (3,008 words) - 06:48, 3 August 2025
computer science, a purely functional data structure is a data structure that can be directly implemented in a purely functional language. The main difference...
11 KB (1,392 words) - 19:47, 2 April 2024
Coinduction (category Functional programming)
F-coalgebra Corecursion Bisimulation Anamorphism Total functional programming "Co-Logic Programming | Lambda the Ultimate". "Gopal Gupta's Home Page"...
14 KB (1,963 words) - 21:17, 29 July 2025
Immutable object (category Functional programming)
In object-oriented (OO) and functional programming, an immutable object (unchangeable object) is an object whose state cannot be modified after it is created...
33 KB (3,818 words) - 18:55, 2 August 2025
Partial application (category Functional programming)
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming Benjamin C. Pierce et al. "Partial Application", Archived 2016-05-21...
11 KB (1,290 words) - 17:57, 29 March 2025
Type class (category Functional programming)
aiding the programmer in type-directed programming. Simon Peyton Jones has objected to the introduction of functional dependencies in Haskell on grounds of...
21 KB (2,302 words) - 15:31, 8 August 2025
Portfolios Total factor productivity Tailored fiber placement Tapered floating point Thin-filament pyrometry Thin film polarizer Total functional programming Transference...
1 KB (150 words) - 03:39, 5 August 2025