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 …
@ctford There is a similar correspondence with "How do you know your types are correct?" while not worrying whether tests are correct.
-
-
@edwinbrady People rejecting things too quickly and being afraid of change - the Hurry Coward correspondence? -
@ctford Groan...
End of conversation
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.