I keep seeing neat approaches to gradual typing in Ruby, but for some reason none of them do AOT typechecks: https://github.com/gogotanaka/Rubype …
@CraigBuchek I want a type system that's backwards compatible with actual Ruby. It's possible. Otherwise... I'd probably use Rust
-
-
@bascule@CraigBuchek How do you know it's possible? -
@asterite@CraigBuchek because similar type systems have successfully been added to PHP (Hack), JavaScript (TypeScript, Flow), and Clojure -
@bascule@CraigBuchek Similar, yes. But Ruby? -
@asterite@CraigBuchek there's nothing special about Ruby that makes it semantically that much different from PHP, JS, or Clojure -
@bascule@CraigBuchek But those languages you mention still have dynamic aspects at runtime, right? -
@asterite@CraigBuchek yes, all of them do including Ruby -
@bascule@CraigBuchek well, you can't have "undefined method 'x'" in Crystal at runtime. And I like that. -
@asterite@CraigBuchek if you're going to use a different, non-backwards compatible language, why use Crystal over, say, Rust?
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.