From Function-Level Programming to Pointfree Style

"Can programming be liberated from the von Neumann style?
a functional style and its algebra of programs", Backus-Turing-Award-Lecture

A Collection of Links

• Function Level Programming and the FL Language, Video
• FL Language Manual, Parts 1 and 2
• Wikipedia: Function-level Programming
• Dirk Gerrits: John Backus

Last Years of John Backus

Oral History of John Backus

• Interview, Text
• Interview, Video

Reactions on Grady Boochs instrumentalization of Backus statement

• Reddit
• Twitter

Transition to the Pointfree Style

• LtU: Advantages of Pointfree
• stackoverflow: Advantages and Disadvantages of Pointfree Style
• Concatenative Languages, Jon Purdy
• Wiki for concatenative.org

Algebraic Programming

• Algebraic Identities for Program Calculation
• Point-Free Program Calculation
• Algebra of Programming
• Pearls of Functional Algorithm Design
• Bird-Meertens Formalism

Code Golf languages (many of which are stack-based and/or point-free)

• Code Golf Stack Exchange
• Husk
• Jelly

Array Languages (which support point-free style)

• Notation as a Tool of Thought -- must read!
• APL
• J
• K
• Q

Libraries that support point-free style

• Ramda.js
• Ramda Python port

Some Implementations to FP, FL and Pointfree

• Interpreter in Java: INTERACTIVE FP and Help
• FP-Interpreter-in-Lisp and in GitHub
• Compiler to C: Furry Paws and in BitBucket
• to FL: PLaSM and Docs and Book: Introduction to FL and PLaSM
• FP-Interpreter in Delphi and in Lazarus

Some Link Collections

• Link-Sammlung-1
• Link-Collection-2

Picture: (cc-by-sa-4.0) Wikipedia