armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

The Pure Programming Language (2022)

A Twist on Wadler's Printer

BitC, a dead language and retrospective (2012)

Resources for type theory, functional programming, etc.

Unification-free ("keyword") type checking

Algebraic Effects, Ownership, and Borrowing (Ante)

XL: An extensible programming language (older, last update in 2020)

Planner programming blows my mind (logic programming)

Advanced Typechecking for Stack-Based Bytecode (SaberVM)

Blazingly Fast™ Type Class Resolution with Tries

LibFirm compiler backend

Bergamot: Exploring Programming Language Inference Rules (type judgements, 2023)

Maybe Everything Is a Coroutine (blog + language idea)

Perun2 Programming Language

Extending Rust's Effect System

Compiling Pattern Matching

Solving SAT via Positive Supercompilation

Compiling a Lisp: Overture (2020)

February 2024 monthly "What are you working on?" thread

Achieving Safe, Aliasable Mutability with Unboxed Types