I should probably stay out of this one, but I expect it will be interesting viewing…https://twitter.com/reddit_haskell/status/640620097401282560 …
-
-
@edwinbrady There was tons of discussion about dependent and refinement types in Haskell at the icfp. It looks like there's strong interest. -
@dkubb I can see myself using refinement types in Haskell. Not so sure about dependent types though - I usually run into some limitation. - 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.