Functional Programming

(Up) | Wikipedia: Functional programming | See also: Lambda Calculus

---

Works regarding programming in a functional style, whether that be pure or impure, strictly typed or latently typed, combinatorial or applicative.

Web resources

Functors, Applicatives, And Monads In Pictures - adit.io ★★★

What is the origin and meaning of the phrase "Lambda the ultimate?" ★

Converting a function to use tail recursion -- a formal study ★

Do Applicative Functors Generalize the S & K Combinators? - Brandon.Si(mmons) ★

Railway Oriented Programming | F# for fun and profit ★★

How to implement scheme\'s letrec in a lazy dialect? ★ 💭

Recitation 21: Let Expressions & The Environment Model ★

(in Compiler Construction) Example assembly/machine instruction from lambda calculus ★★ 💭

(in Game Development) Immutable.js: Data structure to represent 2D game field ★

(in JavaScript) How are people implementing immutable data structures in JavaScript when the language doesn't offer any obvious way of implementing immutability? ★

Repositories

PseudoPower/AFSM: Arrowized functional state machines ★★★

(in Compiler Construction) natefaubion/example-functional-compiler ★

(in Programming Languages) ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods. ★★★

(in Programming Languages) ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. ★

(in Programming Languages) UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets ★

(in User Interface) art-w/unicorn: Purely functional GUI algebra ★★

Papers

A tutorial on the universality and expressiveness of fold (online @ www.cs.nott.ac.uk) ★★★ 💭

Total Functional Programming (online @ www.jucs.org) ★★ 💭

Turner, Bird, Eratosthenes: An Eternal Burning Thread (online @ www.cs.ox.ac.uk) ★ 💭

Fast and Loose Reasoning is Morally Correct (online @ www.cs.ox.ac.uk) ★ 💭

let (rec) insertion without effects, lights or magic (online @ icfp19.sigplan.org) 💭

(in Computational Complexity) Pure vs Impure Lisp (online @ dl.acm.org)

(in Type Systems) Initial Algebra Semantics is Enough! (online @ cs.appstate.edu) ★ 💭

Books

Structure and Interpretation of Computer Programs (online @ archive.org (2nd ed.), archive.org (2nd ed. HTML)) (borrow @ archive.org (1st ed.)) 💭

Purely Functional Data Structures (online @ archive.org) ★ 💭

ACM Symposium on LISP and Functional Programming, 1984 (borrow @ archive.org) ★ 💭

(in Type Theory) Type Theory and Functional Programming (online @ www.cs.kent.ac.uk)