4 ms·Gerald Jay Sussman: The Role of Programming20 points by fogus 15y agopl-smith 15y agoWhat is it he says about type theory near the end?