Watching dependent types talk, looking for ideas #strangeloop
-
-
Replying to @feyeleanor
@feyeleanor Like how to make them practical? :D2 replies 0 retweets 0 likes -
Replying to @feyeleanor
@feyeleanor@evanphx how about a gradual type system for Ruby in general, ala TypeScript or Facebook's "Hack" for PHP?1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@feyeleanor I've played around with the idea of a : operator that is a type checker. A JIT could make use of them if present.1 reply 1 retweet 1 like
Replying to @evanphx
@evanphx @feyeleanor seems like the hardest part (for any typechecking compiler) is producing error messages humans can actually understand
12:21 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.