Ruby static type checker
Dev tools
static type checker
SHOW HN2017
115points
24comments
#377of 2,242 in 2017
Top 17%of 2017 by points
How HN took it
MixedNo clear lean
3 positive, 2 neutral or asking, 0 mixed, 1 critical, out of 6 comments about the project. Thread score +0.13.
Idea: 3 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Impressive project and useful idea for Ruby
From 2 comments
I'm incredibly impressed. @stereo, can you speak a bit to your ambitions? Have you talked with any ruby-core team about integrating what you're doing?
wasd on HNOptional static verification is becoming the norm in dynamic languages, Ruby has several libraries for it already. (This one seems different from other ruby ones I've seen in…
dragonwriter on HN
Objections
Ruby does not need static typing; dynamic typing is a strength
From 1 comment
Perhaps this went completely over my head somehow? I'm not seeing why this is needed, other than people who find comfort in static typing think Ruby is broken without it. I've…
krapsna on HN
Static typing unlikely to be widely adopted in the Ruby community
From 1 comment
Personally I feel we might never get static typing for Ruby anytime soon, at least it won't be widely adopted in the community, so I'd settle on dynamic typing like this. After…
xuejie on HN
Requests
Support newer Ruby versions such as 2.4 and Rails
From 1 comment
So far, the author writes, it only supports 1.8 and not all of standard library. But if it ever supports 2.4 + Rails, that would be enormous.
ainar-g on HN
Questions
How does it relate to RDL from UMD
From 2 comments
Another interesting project is RDL: https://github.com/plum-umd/rdl Both Diamondback and RDL come out of UMD. I'm curious what drives this research there. From what I can tell,…
jbackus on HNFrom what I could gather from this talk at Strangeloop, RDL seems like an evolution or expansion of Diamondback: https://m.youtube.com/watch?v=buY54I7mEjA (See ~21:30ish for…
kyleashipley on HN
Whether Ruby core team plans to integrate typing
From 1 comment
I'm incredibly impressed. @stereo, can you speak a bit to your ambitions? Have you talked with any ruby-core team about integrating what you're doing?
wasd on HN
Alternatives named
Crystal
From 2 comments
If you’re interested in this, you might also be interested in the Crystal language. > Crystal’s syntax is heavily inspired by Ruby’s, so it feels natural to read and easy to…
hamandcheese on HNPersonally I feel we might never get static typing for Ruby anytime soon, at least it won't be widely adopted in the community, so I'd settle on dynamic typing like this. After…
xuejie on HN
RDL
From 1 comment
Another interesting project is RDL: https://github.com/plum-umd/rdl Both Diamondback and RDL come out of UMD. I'm curious what drives this research there. From what I can tell,…
jbackus on HN
dry-types and dry-struct
From 1 comment
Although this might not be a direct comparison, based on how things go in the Ruby community, personally I feel dry-types & dry-struct…
xuejie on HN