tupl-tufts/rdl
View on GitHub ↗ ★ 599 Ruby
Types, type checking, and contracts for Ruby
7 mentions on Hacker News by 7 people: 1 story, 6 comments · first 2016-08-07 · latest 2019-01-10
20082026
-
…some kind of optional typing. Has anyone tried any of these? https://github.com/soutaro/steep https://github.com/plum-umd/rdl Any other suggestions?
comment by jrvarela56 · 2019-01-10 · in Happy Birthday, Ruby -
…library annotations for Sorbet and have many fixes to them sitting in your pull request queue: https://github.com/plum-umd/rdl/pull/68 https://github.com/plum-umd/rdl/pull/72 https://github.com/plum-umd/rdl/pull/57 . We stopped submitting…
comment by ptarjan · 2018-06-04 · in Stripe is building a Ruby typechecker -
…the issues they had raised. Disclosure: I am a grad student, recently started working on RDL. [1]: https://github.com/plum-umd/rdl
comment by sankha93 · 2018-06-04 · in Stripe is building a Ruby typechecker -
…without modification and able to find (some) errors, RDL needs code modification. See this issue https://github.com/plum-umd/rdl/issues/33#issuecomment-31707...
comment by stereobooster · 2017-10-23 · in Show HN: Ruby static type checker – proof of concept -
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, Ruby is barely touched otherwise by academia.
comment by jbackus · 2017-10-23 · in Show HN: Ruby static type checker – proof of concept -
…that one-in-a-billion knowledge: - RDL: type annotation, but also has a static type checker. https://github.com/plum-umd/rdl#static-type-checking - Typed: gradual typing system, with type inference https://github.com/antoniogarrote/typed.rb…
comment by jitl · 2017-05-04 · in Sourcegraph now running on an in-browser VS Code