The Future of Programming with Richard Eisenberg
Signals and Threads
00:00
The Power of Type Systems in Haskell
O'Kimmel: My broad mission is my belief that type systems are a fantastic way to structure thought and structure programs. The feature I'm actually working on is something called unbox types, which allows inlining of type definitions. So what we might want to have in our design is to have a structure that has four fields that describe some aspects of a trade. And then maybe we store that structure in some larger structure and maybe that story in some larger structures. Well, if you do that the naive way in O'Kammell, every time you store one structure inside of another, it's stored by a pointer. It means now when I want to access one of these
Play episode from 13:53
Transcript
