The Future of Programming with Richard Eisenberg
Signals and Threads
00:00
The Problem With O'Kammell's Type System
O'Kammell's internal implementation might have been like a scheme or a list written in the mid 60s. The work is sometimes taking some of these execution-oriented details and making them manifest in the type system. In some sense, I think of this as really being about enabling performance engineering, right?
Play episode from 16:46
Transcript
