Loading...

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

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

Notes on the expression problem and type design (2018)

On scannerless parsing again

A Year of Typing: My NumPy Fellowship Retrospective

Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations

The Importance of Sandboxing

Policy-Based Design versus Combinatorial Hell

The Manchester Garbage Collector and purple-garden's runtime

Reasons to Love the Field of Programming Languages

Was it a billion dollar mistake?

Designing type-safe sync/async mode support in TypeScript

1M for Non-Specialists: Introduction

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`

Inverse Parentheses

Simple Bidirectional Type Inference

Datafun - functional language that generalizes Datalog

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

The Path to Mojo 1.0

LispMe: An Implementation of Scheme for the Palm Pilot

Adding unpack syntax to RCL

Zig's new plan for asynchronous programs

More →