Loading...

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

What Declarative Languages Are (2013)

The Q Programming Language

You don't really need monads

Linear scan register allocation on SSA

If Odin Had Macros

My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled

What I Wish I Knew When Learning Picat

Out-Fibbing CPython with the Plush Interpreter

Notes on a smaller Rust (2019)

Rod Burstall: In Memoriam

Numba v2 Compiler Design

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

'Hello world' in Bismuth

Typechecking Is Undecidable When 'Type' Is a Type (1989)

Use Your Type System

There is no memory safety without thread safety

Asynchrony is not concurrency

Programming Language Theory has a public relations problem

Phrase origin: Why do we "call" functions?

Losing language features: some stories about disjoint unions

The Design and Implementation of Extensible Variants for Rust in CGP

Why We Need to Know LR and Recursive Descent Parsing Techniques

Hazel: A live functional programming environment with typed holes

KernelScript eBPF-centric programming language

Variadic Generics ideas that won’t work for Rust

Binding Application in Idris

Why Lexing and Parsing Should Be Separate

Row Polymorphic Programming

Implementing a functional language with graph reduction (2021)

Wren - a small, fast, class-based concurrent scripting language

More →