Languages in which programs are built from functions that have no side effects, so that the value of an expression never depends on hidden state. Miranda was the first purely functional language to be commercially supported, Haskell added type classes and monadic input and output, and Elm and PureScript bring the same discipline to programs that run in a web browser. Haskell is statically typed with type inference and lazy evaluation, and PureScript is strongly typed and transpiles to JavaScript.
All Purely Functional Languages
Filter Results5 entries
Sources
Joy (programming language) (Wikipedia)
Wikipedia: Haskell
Wikimedia FoundationHas Member: Haskell, LeadQuote, Has Member: Haskell, Lead
Haskell () is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation.
Miranda (Wikipedia)
Has Member: Miranda, LeadQuote, Has Member: Miranda, Lead
Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
PureScript (Wikipedia)
Has Member: PureScript, LeadQuote, Has Member: PureScript, Lead
PureScript is a strongly typed, purely functional programming language that transpiles to JavaScript and, with alternate backends, to C++11, Erlang, and Go.
Elm (Wikipedia)
Has Member: Elm, LeadQuote, Has Member: Elm, Lead
Elm is purely functional, and is developed with emphasis on usability, performance, and robustness.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.