nLab functional programming

Idea

(…)

Functional programming languages

• Haskell (in type theory)

• Coq, Agda (in dependent type theory)

• Quipper (for quantum computation)

Related concepts

• imperative programming

• object-oriented programming

• function type

• continuation-passing style

• monad (in computer science)

• programming language

• list of mathematics software

References

Textbook account:

• Sergei Winitzki, The Science of Functional Programming – A tutorial, with examples in Scala (leanpub:sofp)

and with emphasis on the relation to type theory:

• Simon Thompson, Type Theory and Functional Programming, Addison-Wesley (1991) [ISBN:0-201-41667-0, webpage, pdf]

See also:

• Wikipedia, Functional programming

• John Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM Volume 21 Number 8, 1978 (pdf)

• G. Cousineau, P.-L. Curien, M. Mauny, The Categorical Abstract Machine, Science of Computer Programming 8, 1987 (pdf)

• Erik Meijer, Maarten Fokkinga, Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991 (doi:10.1.1.41.125)

• Eugenio Moggi, Notions of computations and monads, 1991 (pdf)

• David R. Cok, Reasoning about functional programming in Java and C++, ISSTA ‘18: Companion Proceedings for the ISSTA/ECOOP 2018 WorkshopsJuly 2018 Pages 37–39 (doi:10.1145/3236454.3236483)

  (building functional programming into imperative programming languages)

Discussion of aspects of quantum computing in terms of monads in functional programming are in

• Thorsten Altenkirch, Alexander Green, The quantum IO monad, in Semantic Techniques in Quantum Computation, January 2009, appeared in 2010 (pdf, talk slides)