- Diamondback Ruby: static type inference system for Ruby and program analysis framework in OCaml http://www.cs.umd.edu/projects/pl/druby/ 10 comments programming
Lambda the Ultimate
- An Interview with the Diamondback Ruby Team http://www.cs.umd.edu/projects/PL/druby/index.html 1 comment Ruby , Type Theory
Linking pages
- An open letter to Matz on Ruby type systems http://tonyarcieri.com/an-open-letter-to-matz-on-ruby-type-systems 14 comments
- GitHub - planetruby/awesome-rubies: A collection of awesome Rubies (compilers, interpreters, virtual machines, parsers, doc generators, version managers, etc.) https://github.com/planetruby/awesome-rubies 9 comments
Would you like to stay up to date with Ruby? Checkout Ruby
Weekly.