Loading...

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

Formally speaking, "Transpiler" is a useless word

Context: Odin’s Most Misunderstood Feature

Parsing Advances

The Second Great Error Model Convergence

Odin's Most Misunderstood Feature: `context`

Inverse Parentheses

1ML for non-specialists: introduction

Datafun - functional language that generalizes Datalog

Simple Bidirectional Type Inference

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

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

Nature Programming Language

Galois Slicing as Automatic Differentiation

Lazier Binary Decision Diagrams for set-theoretic types

The Wrong Question About Type Systems

Thirteen years of Rust and the birth of Rue

An expression language for Vixen

Typeslayer - a TypeScript types performance tool

Desugaring the Relationship Between Concrete and Abstract Syntax

Adding Iongraph support to ZJIT

Concrete syntax matters, actually

Unison 1.0

Langjam Gamejam: Build a programming language then make a game with it

More →