@edwinbrady is there a short answer to why https://twitter.com/tavisrudd/status/446888708763951104 … works but https://twitter.com/tavisrudd/status/446885392839483392 … doesn't?
@tavisrudd The short answer is that you can't pattern match on types since it would break parametricity. Error reporting is not great there.
-
-
@edwinbrady@tavisrudd These days, I think I want (a) to be able to match on run time types, and (b) a parametric "static" quantifier . -
@pigworker@edwinbrady@tavisrudd Just curious; what would the difference between this and codes be? - 2 more 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.