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 …
-
-
Replying to @bascule
@bascule Take a look at http://crystal-lang.org/ . It's almost Ruby, but compiled and typed, with type inference. Solves nil problem.1 reply 0 retweets 1 like -
Replying to @CraigBuchek
@CraigBuchek I want a type system that's backwards compatible with actual Ruby. It's possible. Otherwise... I'd probably use Rust1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@CraigBuchek How do you know it's possible?1 reply 0 retweets 0 likes -
Replying to @asterite
@asterite@CraigBuchek because similar type systems have successfully been added to PHP (Hack), JavaScript (TypeScript, Flow), and Clojure1 reply 0 retweets 0 likes -
-
Replying to @asterite
@asterite@CraigBuchek there's nothing special about Ruby that makes it semantically that much different from PHP, JS, or Clojure1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@CraigBuchek But those languages you mention still have dynamic aspects at runtime, right?1 reply 0 retweets 0 likes -
Replying to @asterite
@asterite@CraigBuchek yes, all of them do including Ruby1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@CraigBuchek well, you can't have "undefined method 'x'" in Crystal at runtime. And I like that.1 reply 0 retweets 0 likes
@asterite @CraigBuchek if you're going to use a different, non-backwards compatible language, why use Crystal over, say, Rust?
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.