4 ms·
> Typecheckers definitely do things. But are those things interesting? That seems like asking "seat belts definitely do things, but are those things interestin
by Dewie 12y ago
> Typecheckers definitely do things. But are those things interesting?
That seems like asking "seat belts definitely do things, but are those things interesting?"
- mtdewcmu 12y agoIf you could show that seat belts save lives, which I think you can, then that's kind of interesting. In any case, I meant the question to be rhetorical.