Notes concerning “Programming languages”
Why John Backus Was on the Wrong Track
2007 (updated 2019-05-05) (48 minutes)
Bicicleta maps
2007 to 2009 (2 minutes)
Using bytecode won’t make your interpreter fast
2007 to 2009 (26 minutes)
Erlang musings
2007 to 2009 (3 minutes)
Error Reporting is Part of the Programmer's User Interface
2007 to 2009 (18 minutes)
Forth looping
2007 to 2009 (16 minutes)
Designing a Scheme for APL-like array computations, like Lush
2007 to 2009 (4 minutes)
Nested inheritance
2007 to 2009 (2 minutes)
Notes on Raph Levien's "Io" Programming Language
2007 to 2009 (10 minutes)
The AL programming language, dimensional analysis, and typing: do different dimensions really exist?
2007 to 2009 (2 minutes)
ML’s value restriction and the Modula-3 typing system
2007 to 2009 (3 minutes)
Index set inference or domain inference for programming with indexed families
2007 to 2009 (updated 2019-05-05) (27 minutes)
Simple system language
2013-05-17 (7 minutes)
Forth with named stacks
2014-02-24 (7 minutes)
Embedding objects inside other objects in memory, versus by-reference fields
2014-02-24 (13 minutes)
Ideas to ship in 2014
2014-04-24 (updated 2019-05-05) (35 minutes)
Entry-C: a Simula-like backwards-compatible object-oriented C
2015-04-05 (updated 2017-04-03) (24 minutes)
A principled rethinking of array languages like APL
2015-05-16 (updated 2019-09-30) (31 minutes)
More thoughts on powerful primitives for simplified computer systems architecture
2015-08-18 (updated 2015-11-02) (165 minutes)
A variety of code fragments for testing proposed language designs
2016-05-18 (19 minutes)
Algorithm time capsule
2016-08-11 (1 minute)
Toward a language for hacking around with natural-language processing algorithms
2016-09-08 (7 minutes)
Graph construction
2016-09-08 (updated 2017-07-19) (23 minutes)
Notations for defining dynamical systems
2016-10-03 (updated 2016-10-06) (6 minutes)
Thredsnek: a tiny Python-flavored programming language
2017-03-20 (7 minutes)
A sketch of a minimalist bytecode for object-oriented languages
2017-03-20 (updated 2017-06-20) (13 minutes)
Pattern matching and finite functions
2017-05-10 (14 minutes)
Relational modeling
2017-05-17 (updated 2017-06-01) (6 minutes)
Parametric polymorphism and columns
2017-07-19 (2 minutes)
Term rewriting
2017-07-19 (3 minutes)
Some notes on FullPliant and Pliant
2018-04-27 (9 minutes)
Speculative plans for BubbleOS
2018-10-28 (updated 2019-02-24) (12 minutes)
Leconscrip: a family of JS subsets for BubbleOS
2018-11-23 (2 minutes)
How small can we make a comfortable subset of JS?
2018-11-27 (updated 2018-12-02) (3 minutes)
Minimal imperative language
2018-12-10 (7 minutes)
Toward a lightweight, high-performance software prototyping environment
2018-12-10 (15 minutes)
Improving Lua #L with incremental prefix sum in the ∧ monoid
2018-12-18 (7 minutes)
IMGUI programming compared to Tcl/Tk
2018-12-24 (updated 2018-12-31) (8 minutes)
IMGUI programming language
2019-01-01 (updated 2019-07-30) (21 minutes)
The uses of introspection, reflection, and personal supercomputers in software testing
2019-02-04 (updated 2019-03-11) (12 minutes)
A review of Wirth’s Project Oberon book
2019-02-04 (updated 2019-03-19) (63 minutes)
An algebra of textures for interactive composition
2019-05-08 (4 minutes)
A language whose memory model is a bunch of temporally-indexed logs
2019-05-12 (updated 2018-05-21) (20 minutes)
Relational modeling and APL
2019-05-20 (updated 2019-05-21) (5 minutes)
Observable transaction possibilities
2019-06-15 (10 minutes)
10tcl ui
2019-12-06 (17 minutes)
Introduction to closures
2019-12-07 (5 minutes)