🦌 deertopia.net

ID	f9bbabf5-f48a-4bd1-91b9-f075ff175eea
DeertopiaVisibility	public

Functional programming

Functional programming is the construction of computer programs using mathematical functions.

Backlinks

Agda
Clojure
Curry/uncurry isomorphism
deertopia.net
Faye & Maddy's untitled interactive programming environment
Grammatical Framework
Haskell
Higher-order function
Idris 2
Lean 4
Nix
Related rates
Scheme (programming language)
Sixten
SydML