treating programmes as works of literature is a notion which was introduced by DonaldKnuth (the author of TeX), and has been subsequently developed over time into several fully fledged programming environments. By writing programmes as texts primarily intended for a human reader, rather than a machine, it is surmised that programmes improve in quality, clarity, and accuracy of documentation, as well as being a pleasure to write (and of course read).

Inverse litterate programming » http://lki-www.informatik.uni-hamburg.de/~kirschke/invlit.html

graphical models for programming, using graphs, icons or other graphical representaions of processes see: VisualProgramming (possibly Visual Languages also)

programming languages weblog http://lambda-the-ultimate.org/

Type Theory and Functional Programming http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/

Your Functional Programming Language Nightmares Come True http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/

“All About Monads” http://www.nomaware.com/monads/html/index.html

the Lambda Papers from Steele and Sussman

  • E “ …the secure distributed pure-object platform and p2p scripting language for writing Capability-based Smart Contracts.” http://www.erights.org
  • erlang, etc+

MetaBorg provides generic technology for allowing a host language (collective) to incorporate and assimilate external domains (cultures) in order to strengthen itself. The ease of implementing embeddings makes resistance futile. http://www.stratego-language.org/Stratego/MetaBorg

“ Lua is a general-purpose embedded programming language designed to support procedural programming with data-description facilities.” http://www.lua.org/

also Guile


Category Computer Science