"Types Are Documentation … the best kind" — comment?
-
@dibblego Yes if you care about the program's utility to its users. No if you only care about the its correctness.
@noidi I am unconvinced. I contend that it is important that I don't care about someone else's idea of "why?" and other irrelevance.
-
-
@dibblego If someone sees utility in code you don't, they may know something about the user/domain/environment that you don't. -
@noidi isn't that exactly why I would use types? - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.