Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Functors, Applicatives, and Monads: The Scary Words You Understand

Build your own programming language (2020)

Notes on the expression problem and type design (2018)

On scannerless parsing again

The Manchester Garbage Collector and purple-garden's runtime

Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations

The Manchester Garbage Collector and purple-garden's runtime

A Year of Typing: My NumPy Fellowship Retrospective

The Importance of Sandboxing

Mitigating the Billion Dollar Mistake

Policy-Based Design versus Combinatorial Hell

A Unique Performance Optimization for a 3D Geometry Language

Reasons to Love the Field of Programming Languages

Was it a billion dollar mistake?

Designing type-safe sync/async mode support in TypeScript

Context: Odin’s Most Misunderstood Feature

Parsing Advances

Formally speaking, "Transpiler" is a useless word

The Second Great Error Model Convergence

Odin's Most Misunderstood Feature: `context`

1ML for non-specialists: introduction

Inverse Parentheses

Datafun - functional language that generalizes Datalog

Simple Bidirectional Type Inference

Granule, a statically-typed linear functional language with graded modal types

The Cost of a Closure in C: The Rest

Understanding Dart Class Modifiers by Using Lattices

Memory Safety Is …

Nova Programming Language

Structural inheritance doesn't work where you expect it to

More →