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 …
@bssstudio One of the main problems with 'so' is that you can't easily do that. It only lets you enforce that a dynamic check happens.
-
-
@edwinbrady Thank you! Is it possible to prove that when using 'choose', one of the cases is impossible?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.