Loading...

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

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

Kip: A programming language based on grammatical cases of Turkish

Type-safe eval in Grace

Why not tail recursion?

Build your own programming language (2020)

The Jule Programming Language

Notes on the expression problem and type design (2018)

On scannerless parsing again

The Manchester Garbage Collector and purple-garden's runtime

Implementing Co, a Small Language With Coroutines #5: Adding Sleep

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

A Unique Performance Optimization for a 3D Geometry Language

The Importance of Sandboxing

The discoveries of continuations

Mitigating the Billion Dollar Mistake

Policy-Based Design versus Combinatorial Hell

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

More →