Explore
OR-types
last night I couldn't fall asleep because I was thinking how sites like Anilist implement their...
43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties (2016)
The Actor Model is a message passing concurrency model that was originally proposed by Hewitt et...
jank development update - Syntax quoting!
Oh, hey folks. I was just wrapping up this macro I was writing. One moment.(defmacro if-some...
The Montréal Effect: Why Programming Languages Need a Style Czar
Here is a non-realistic scenario: You are choosing the programming language for what will eventually become...
Abstracting Denotational Interpreters
Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters:...
A visual introduction and software to Abstract Geometrical Computation and signal machines
Here are two examples of the dynamics of signals machines. The left one is a random...
The siren song of domain-specific languages
I’ve seen a lot of engineering teams mistakenly believe that they can author domain-specific languages for...
Unification-free ("keyword") type checking
From my perspective, one of the biggest open problems in implementing programming languages is how to...
Planner programming blows my mind
Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I...
Why is Prettier rock solid?
I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do...