designed for Ruby — It was built by Stripe and open sourced this year — You can find it at sorbet.org and play with it at sorbet.run 9th September LRUG - @arkh4m 3
me a function that takes a list of values, a function, an initial value and returns a result of the same type". It exists in Haskell and it's called Hoogle. 9th September LRUG - @arkh4m 10
of code, and several engineers work on it, our experience tells us that understanding code becomes the key to maintaining developer productivity. Without type annotations, basic reasoning such as figuring out the valid arguments to a function, or the possible return value types, becomes a hard problem. 9th September LRUG - @arkh4m 14
formal language for describing types, and by validating that the provided types match the implementation. In essence, it provides verified documentation. 9th September LRUG - @arkh4m 15
Analyzes the code statically to report potential mistakes in the code. 2. sorbet-runtime gem. This gem will add methods that will also check the code dynamically while it runs. 9th September LRUG - @arkh4m 24
Debating Type Systems — Our journey to type checking 4 million lines of Python — Type Checking in Ruby — Check Yo Self Before You Wreck Yo Self — A plan towards Ruby 3 Types, Yusuke Endoh 9th September LRUG - @arkh4m 32