@bascule @feyeleanor Otherwise they're just runtime type checks.
@evanphx @feyeleanor i.e. if you know it's an error at compile time, then refuse to compile! Otherwise defer to a runtime check
-
-
@bascule@feyeleanor Yep yep. The question to answer is: What is a type in ruby? -
@evanphx@feyeleanor not Ruby, but a similar language that's superset of Ruby! Exact nature of the type system TBD ;) -
@bascule@feyeleanor Still, do you integrate duck-typing into your type model? -
@evanphx@feyeleanor first-class protocols perhaps?
End of conversation
New conversation -
-
-
@bascule@evanphx@feyeleanor see also GHC's new deferred type errors feature: http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/defer-type-errors.html … - 1 more reply
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.