Demo: Implicit Context

Jonathan Blow · 27K views · 2015 · 1:01:40

Open on YouTube

Programming language designCompilers, interpreters & program analysisdemodated

Why Hacker News recommends it

Cited in discussions of memory arenas and allocators as the origin of the implicit context idea that later appeared in Odin and other languages.

What it is

Jonathan Blow gives a formal, hour-long demo of his Jai compiler focused on the implicit context feature. The context carries things like allocators through a program without explicit parameter passing, and the talk walks through the code.

Recommended by 1 HN commenters across 1 different months, 2022 to 2025.

What Hacker News said

Recommends nmilo · 2025-12 · on “Golang's big miss on memory arenas”

Implicit context [1] was one of the coolest features of a programming language I’ve ever seen that no one has ever implemented. And I’m really not sure why. Not just Go but most languages have this context passing problem with varying degrees of solution quality, making this implicit and built in could have opened up so many possibilities, more than just arenas. [1]: [this video]

Cites cyber_kinetist · 2022-09 · on “A Review of the Odin Programming Language”

I remember first seeing this idea from Jai ( [this video] ), and I'm happy it's landing in other languages. Zig went another direction and requires you to specify the allocator explicitly via a function parameter, which is understandable given the language's goal to make everything explicit.

Cites rudedogg · 2022-11 · on “Untangling Lifetimes: The Arena Allocator”

> per-frame "scratch" pool allocator Here's that Jonathan Blow stream if anyone else is curious: [this video]