Watching dependent types talk, looking for ideas #strangeloop
@feyeleanor @evanphx how about a gradual type system for Ruby in general, ala TypeScript or Facebook's "Hack" for PHP?
-
-
@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. -
@evanphx@feyeleanor seems like the hardest part (for any typechecking compiler) is producing error messages humans can actually understand
End of conversation
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.