Repository files navigation

Functional Programming iswith Lambdas (value-level)
Function-level Programming iswithout Lambdas (function-level)
Function-level Algebra: With the renunciation of lambda variables, an algebra and its rules emerge (if not? --> tell usIssues)

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

• 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/POPLChapter 10 page 359ff
• MacLennan/Functional Programming: Practice and Theory,borrow eBook, Page 221ff: Higher-Order Functions
• Instance variables, away 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

Oral History of John Backus

• Interview,Text
• Interview,Video

Reactions on Grady Boochs instrumentalization of Backus statement

• Reddit
• Twitter

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

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

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

• Code Golf Stack Exchange
• Husk
• Jelly

• Notation as a Tool of Thought -- must read!
• Stages of Denial by John Earnest
• APL
• J
• K
• Q

• Ramda.js
• Ramda Python port

• Interpreter in Java:INTERACTIVE FP andHelp
• FP-Interpreter-in-Lisp and inGitHub
• Compiler to C:Furry Paws and inBitBucket
• to FL:PLaSM andDocs and Book:Introduction to FL and PLaSM
• FP-Interpreter in Delphi and in Lazarus
• PointfripCalculator for Android, (Engish and German help)
• Executable implementation ofJoy and subset of Joy for graphics programmingmjoy

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

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