antoniogarrote/typed.rb
View on GitHub ↗ ★ 30 Ruby
Gradual type checker for Ruby
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-02-18 · latest 2017-05-04
20082026
-
…ps://github.com/plum-umd/rdl#static-type-checking - Typed: gradual typing system, with type inference https://github.com/antoniogarrote/typed.rb - Jetbrains has something, too: https://github.com/JetBrains/ruby-type-inference
comment by jitl · 2017-05-04 · in Sourcegraph now running on an in-browser VS Code -
…of how much type information you find unacceptable, do you have any problems with typed.rb code? https://github.com/antoniogarrote/typed.rb
comment by ZenoArrow · 2016-12-26 · in Ruby 2.4.0 Released -
▲ 1
Show HN: Building a gradual type checker for Rubystory by antoniogarrote · 2016-02-18 · 0 comments