Loading...

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

Context: Odin’s Most Misunderstood Feature

Odin's Most Misunderstood Feature: `context`

Datafun - functional language that generalizes Datalog

Inverse Parentheses

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

Understanding Dart Class Modifiers by Using Lattices

Nova Programming Language

Structural inheritance doesn't work where you expect it to

The Path to Mojo 1.0

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

Case against OOP is understated, not overstated (2020)

The Easiest Way to Build a Type Checker

Fifty Shades of OOP

The Logic of CUE

Error ABI

A Note on Fil-C

The Error Model (2016)

More →