4 ms·
You definitely see lots of things like (string? x) even in Lisp. It shows that some types are unavoidable. (Though frequently the type information is just used
by mtdewcmu 12y ago
You definitely see lots of things like (string? x) even in Lisp. It shows that some types are unavoidable. (Though frequently the type information is just used as additional information.)
Typecheckers definitely do things. But are those things interesting?
- 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.