@bascule @feyeleanor Otherwise they're just runtime type checks.
-
-
Replying to @evanphx
@evanphx@feyeleanor i.e. if you know it's an error at compile time, then refuse to compile! Otherwise defer to a runtime check2 replies 0 retweets 0 likes -
Replying to @bascule
@bascule@feyeleanor Yep yep. The question to answer is: What is a type in ruby?3 replies 0 retweets 0 likes -
Replying to @evanphx
@evanphx@feyeleanor not Ruby, but a similar language that's superset of Ruby! Exact nature of the type system TBD ;)1 reply 1 retweet 1 like -
Replying to @bascule
@bascule@feyeleanor Still, do you integrate duck-typing into your type model?4 replies 0 retweets 0 likes
Replying to @evanphx
@evanphx @feyeleanor first-class protocols perhaps?
12:43 PM - 20 Sep 2013
0 replies
0 retweets
0 likes
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.