235: Incremental Correctness (feat. Guillermo Rauch)
Design Details
00:00
Typing as a Progressive Technology
I like that idea because the type yeah typing for discreetness at one point in time is kind of pointless if it works but you're typing for your future self. Instagram put out this tool that for their Python code I think that extracts types out of runtime so like if I wrote down let H equals and I get some value from my database that gets decoded as a number then that code gets evaluated and run time at compile time. There are a lot of interesting things that maybe it is that we have to get more insight also out of execution or out of statistical knowledge that comes from execution in order to then do more of a labeling job right?
Transcript
Play full episode
