Everything about Purely functional programming

🧭 Start here: a 6-step reading path

1. Read the overview: Purely functional programmingA 5-minute orientation
2. Pick up a classic book: Modern Operating SystemsThe most-reprinted book on the subject
3. Read the landmark paper: The risks and benefits of teaching purely functional programming in first yearCited 28 times
4. Go sideways: Purely functional data structureA closely related topic
5. Go sideways: Functional programmingA closely related topic

🏆 Landmark papers (most cited)

• The risks and benefits of teaching purely functional programming in first year

  MANUEL M. T. CHAKRAVARTY, GABRIELE KELLER · 2004 · Journal of Functional Programming · 28 citations

• Purely functional lazy nondeterministic programming

  SEBASTIAN FISCHER, OLEG KISELYOV, CHUNG-CHIEH SHAN · 2011 · Journal of Functional Programming · 23 citations

• Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

  Troels Henriksen, Niels G. W. Serup, Martin Elsman · 2017 · ACM SIGPLAN Notices · 19 citations

• Optimising purely functional GPU programs

  Trevor L. McDonell, Manuel M.T. Chakravarty, Gabriele Keller · 2013 · ACM SIGPLAN Notices · 12 citations

• Implicit self-adjusting computation for purely functional programs

  YAN CHEN, JANA DUNFIELD, MATTHEW A. HAMMER · 2014 · Journal of Functional Programming · 11 citations

• Purely functional lazy non-deterministic programming

  Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan · 2009 · ACM SIGPLAN Notices · 2 citations

• Implicit self-adjusting computation for purely functional programs

  Yan Chen, Jana Dunfield, Matthew A. Hammer · 2011 · ACM SIGPLAN Notices · 1 citations

• Distributed programming, a purely functional approach (poster)

  Eleni Spiliopoulou, Ian Holyer, Neil Davies · 1997 · ACM SIGPLAN Notices · 0 citations

📚 Books worth reading

• Modern Operating SystemsAndrew S. Tanenbaum, Herbert Bos · 1992
• Clean CodeRobert C. Martin · 2008
• Cartesian meditationsEdmund Husserl, Dorion Cairns · 1960
• Operations ManagementRoberta S. Russell, Bernard Taylor · 1998
• Campbell biologyLisa A. Urry, Michael L. Cain · 2015
• Labyrinth of ThoughtJosé Ferreirós Domínguez · 1999
• The Conspirators HierarchyJohn Coleman · 1992
• Purely functional data structuresChris Okasaki · 1998

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Purely functional data structure In computer science, a purely functional data structure is a data structure that can be directly implemented in a purely functional language. The main…
• Functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative…
• Assignment (computer science) In computer programming, an assignment statement sets and/or re-sets the value stored in the storage location(s) denoted by a variable name; in other words…
• Programming paradigm A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. A programming language can…
• Procedural programming Procedural programming is a programming paradigm, classified as imperative programming, that involves implementing the behavior of a computer program as…
• Evaluation strategy In a programming language, an evaluation strategy is a set of rules for evaluating expressions. The term is often used to refer to the more specific notion…
• Reactive programming In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm…
• Comparison of multi-paradigm programming languages Programming languages can be grouped by the number and types of paradigms supported. A concise reference for the programming paradigms listed in this article…