~lobsters | Bookmarks (79)
-
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...
-
I'm betting on Call-by-Push-Value
You come upon a function argument at a fork in the road. If it takes the...
-
Extending destination-passing style programming to arbitrary data types in Linear Haskell
Three years ago, a blog post introduced destination-passing style (DPS) programming in Haskell, focusing on array...
-
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...
-
Chris's Wiki :: blog/programming/GoReflectTypeForOptimization
Go's reflect.TypeFor() is a generic function that returns the reflect.Type for its type argument. It was...
-
Validation of Modern JSON Schema: Formalization and Complexity
Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON...