"Types Are Documentation … the best kind" — comment?
-
@dibblego “best” depends on context. Getting Started guides & tutorials are also valuable documentation.
@natpryce Are they inferior by at least a huge margin in every possible context?
-
-
@dibblego if you want people to learn a new language, could you just give them the type system with no other explanation?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego if people could understand *why* a concept is useful from type signatures alone there would be no need for lots of monad tutorials -
@natpryce I completely disagree with this. Any efficacious monad tutorial is teaching exactly this skill. - 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.