> The lack of type checking makes every single gem and rails update extremely dangerous in ways that are incredibly difficult to predict. This. I found a typed

> The lack of type checking makes every single gem and rails update extremely dangerous in ways that are incredibly difficult to predict. This. I found a typed-Ruby in Kotlin (OO-core with lots of FP niceties; code even looks similar to Ruby in many cases as type inference it quite good). Kotlin + http4k (analog to Rack+Sinatra) + JTE's KTE (or kotlinx.html) + SqlDelight (or jOOQ; fuck ORMs anyway: also ActiveRecord) is a dream to work with. I'm not sold on TypeScript. Yes it helps but it allows for very messy code.