Functional programming
2016-01-04 — 2025-10-19
Wherein computation is treated as the evaluation of mathematical functions, mutable state is avoided, functions are allowed as values, and their use in differentiable and probabilistic languages is noted while memory reuse is studied.
A model of computation of some interest, functional programming is a style of programming that treats computation as the evaluation of mathematical functions and avoids changing state and mutable data. In functional programming, functions are first-class citizens, meaning they can be passed as arguments to other functions, returned as values from other functions, and assigned to variables. Many useful programming languages have a functional core and a more imperative wrapper, notably most differentiable languages and PPLs. Many functional languages are also strongly typed.
1 Incoming
- FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs “Welcome to Koka — a strongly typed functional-style language with effect types and handlers.”
- The Koka Programming Language
- darrenjw/fp-ssc-course: An introduction to functional programming for scalable statistical computing
- idris-lang/Idris2: A purely functional programming language with first-class types / Idris 2 has some cute numerics, e.g. bgavran/TensorType: Framework for type-safe pure functional and non-cubical tensor processing
