typed.rb

What!? There are libraries available that do static type inference on Ruby. Although the language is rather dynamic, it's in no way an intractable problem, or even one that requires a PhD in Ruby Bullshit. Here are some libraries that could contain 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 - Jetbrains has something, too: https://github.com/JetBrains/ruby-type-inference

> "It does not change what I wrote as the outcome is that Elm code still includes more type annotations than I'm willing to deal with." To get a better idea of how much type information you find unacceptable, do you have any problems with typed.rb code? https://github.com/antoniogarrote/typed.rb