armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

Fledgling Languages List

Two little interpreters (article + code)

PureCake: A verified compiler for a lazy functional language

Reactive Programming without Functions (paper)

Rye: homoiconic dynamic programming language with some new ideas (homoiconic = code-is-data)

Simple Programming Languages

Compiling With Constraints (long)

Bringing Verse Transactional Memory Semantics to C++

Type Theory Forall - #37 Compilers, Staging, Futamura Projections (podcast)

An overdue status update on Darklang

Efficient instance resolution for Agda

I'm betting on Call-by-Push-Value

The Cell language - relational, reactive, replayable

Flyde - a visual programming language

Dada - an experimental language like Rust, but higher level

Borrow checking without lifetimes ("places")

What are GADTs and why do they make type inference sad?

KamilaLisp: A functional, flexible and concise Lisp (GitHub)

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

Claro Programming Language