“And a lot of language features that we have, we can't 100%…” — The Pragmatic Engineer at 50:17
“And a lot of language features that we have, we can't 100% prove correctness. Like in a structural type system with recursive types, there are just cases that you can't analyze because the types are infinitely recurring. The more you try to relate to types, the deeper you go and you're just”
0:00
1:15:09