Interesting Links for January 2023
Here are some interesting things I read on the internet in January 2023:
Haskell
- From delimited continuations to algebraic effects in Haskell
- How Accursed and Unutterable is accursedUnutterablePerformIO?
- Löb and möb: strange loops in Haskell
- Making GHC faster at emitting code
- Trees that grow
- Understanding Space Leaks From StateT
Programming Languages
Theory
- A Gentle Run-through of Continuation Passing Style and Its Use Cases
- The reasonable effectiveness of the continuation monad
- Why continuation-passing style works, and the Cont monad
- Why We Need to Know LR and Recursive Descent Parsing Techniques
Design
- 26 programming languages in 25 days, Part 2: Reflections on language design
- Clojure from a Schemer’s perspective
- Introducing Austral: A Systems Language with Linear Types and Capabilities
- Type Checking If Expressions
Implementation
- CHICKEN internals: the garbage collector
- Compiled and Interpreted Languages: Two Ways of Saying Tomato
- Dynamic linking best practices
- Faster virtual machines: Speeding up programming language execution
- How to compile with continuations
- Making Sorbet more incremental
- Small VMs & Coroutines
History
- 10 Most(ly dead) Influential Programming Languages
- Educational Programming Languages
- Funny Programming Languages