Skip to content

Oleg Kiselyov personal blog

Compilers: Incrementally and Extensibly (2024)

okmij.org 6 min read

The materials for the course on compilers: built incrementally and fully in tagless-final style

Read on okmij.org → Discuss on HN (44) Archived copy

Points: 143
HN comments: 44
Submissions: 1
Cited by: 0 commenters

Software Engineering Programming Languages 2025

On Hacker News

Submitted	Title on HN	Points	Comments
Apr 5, 2025	Compilers: Incrementally and Extensibly (2024) by todsacerdoti	143	44

More from Oleg Kiselyov

All 8 posts →

Principia Mathematica is modern and insightful

2026281 points157 comments Math & Algorithms details

A dream of an ultimate OS (1995)

2019246 points175 comments Systems & Performance details

How the OCaml type checker works (2022)

2024219 points45 commentscited by 8Software Engineering details

Higher-kinded bounded polymorphism in OCaml (2021)

2024141 points10 comments Software Engineering details

Implementing and Understanding Type Classes (2014)

2018118 points26 commentscited by 5Software Engineering details

Monads in Scheme

2015104 points19 comments Software Engineering details

Related posts from the same era

Ghostty is leaving GitHub

Mitchell Hashimoto20263,521 points1,051 commentscited by 3 details

Astra can read and write weights to improve Qwen

Rikiya Takehi20262,959 points899 comments details

Git commands I run before reading any code

Principal Software Engineer & Codebase Rescue20262,338 points509 comments details

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details