Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
CoRecursive: Coding Stories
00:00
Is That a Good Thing or a Bad Thing?
In appendix b, you can read the inference rules, which describe the implementation. But that's not a hundred % accurate. And tat is the kind of thing that you could sit down an defind your own version of. You can define a function that works just like innat, except it'll be a little bit noisier because it'll need more arguments. That's true. One reasonn one thing we really tried to work hard to do with pie was make it so that programs in it were short,. Even though the implementation was very simple. Lots of these little cor type theories like pie end up being very verbose to write programs in. Being verbose to writ program
Transcript
Play full episode
