language-design
Inside the Cult of the Haskell ProgrammerThe search for easier safe systems programmingAbstract Heresies: Statements and ExpressionsNot all Graphs are TreesUkrainian Coder’s New Programming Language: One Big Data StructureA Sketch of the Biggest Idea in Software ArchitectureZest: syntaxProgramming beyond paradigmsxorvoidHaskell for all: Unification-free ("keyword") type checking
All posts about language-design