This seems to be an FAQ on dependent types (what if data isn't known until runtime?), so I tried to answer it... http://www.reddit.com/r/haskell/comments/29kv2y/why_dependently_typed_programming_will_one_day/cimhyt0 …
-
-
Replying to @edwinbrady
@edwinbrady I get asked that question a lot - though funnily enough people don't ask it about ints arriving as strings in Java.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady People rejecting things too quickly and being afraid of change - the Hurry Coward correspondence?1 reply 9 retweets 9 likes
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.