function-level / function-level.github.io

https://function-level.github.io website

From Function-Level Programming to Pointfree Style

Functional Programming is with Lambdas (value-level)
Function-level Programming is without Lambdas (function-level)
Function-level Algebra: With the renunciation of lambda variables, an algebra and its rules emerge (if not? --> tell us Issues)

"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
• dl.acm.org: Programming Language Semantics and Closed Applicative Languages
• dl.acm.org: Function Level Programs as Mathematical Objects
• SpringerLink: From function level semantics to program transformation and optimization
• MacLennan/POPL Chapter 10 page 359ff
• MacLennan/Functional Programming: Practice and Theory, borrow eBook, Page 221ff: Higher-Order Functions
• Instance variables, a way out of the variable abstinence --> "Why didn't the ALGOL Committee" in EWD692
• Dijkstra EWD692: A review of the 1977 Turing Award Lecture by John Backus
• FP (english)
• Introduction to FL and PLaSM
• The FL Project: Design of a Functional Language

Last Years of John Backus

Oral History of John Backus

• Interview, Text
• Interview, Video

Reactions on Grady Boochs instrumentalization of Backus statement

• Reddit
• Twitter

Advantages and Disadvantages of Pointfree Style

• LtU: Advantages of Pointfree
• stackoverflow: Advantages and Disadvantages of Pointfree Style
• Ultra Structured Programming

Algebraic Programming

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

Concatenative languages

• Factor
• OForth
• Joy
• Kitten
• PostScript
• Why Concatenative Programming Matters by Jon Purdy
• Wiki for concatenative.org

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!
• Stages of Denial by John Earnest
• 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
• Pointfrip Calculator for Android, (Engish and German help)
• Executable implementation of Joy and subset of Joy for graphics programming mjoy

Some Link Collections

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

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