This FTP site

https://okmij.org/ftp/

an Effect ; monads ; programming as collaborative reference ; effects without monads; Markov algorithms; R-technology; CK macros; generators vs. lazy evaluation ; IO monad realize
Main index of okmij.org

NLnet; All projects

https://nlnet.nl/project/

2024 Purely functional programming language designed to "type" binary files Arkin NGI0 Commons Fund 2026 Optical Tweezers Microscope Armbian User-operated Internet Fund 2021 Versa

Why did Prolog lose steam? | Mark J. Nelson

https://www.kmjn.org/notes/prolog_lost_steam.html

, asks: of the major programming traditions—imperative, functional, object-oriented, and logic—why did the logic-programming one, exemplified by Prolog, more or less d
Its declarative lunch was partly eaten

Loper OS » No Formats, no Format Wars.

http://www.loper-os.org/?p=309

Have you discovered a programming language in which it is impossible to write obfuscated code? Reply Stanislav says: January 21, 2011 at 3:55 pm Dear Bassett Disaster, Of course a

The Rule of Least Power

https://www.w3.org/2001/tag/doc/leastPower.html

many ways in which a programming language may exhibit power or complexity, nor to suggest that all such power necessarily interferes with information reuse. Rather, this finding o

Find more...