What's the closest thing to Rails in a language with a sound static type system?
I've been very happy with Kotlin's Ktor + Exposed, myself.
Exposed is a solid-enough ORM for my tastes, Ktor is easy-to-use and clean; and Kotlin gives me a type system and fluent / Ruby-style method chaining.
php8.4 with Laravel
Adonisjs
Everyone ITT will hate me for saying this, but: T3 stack.
spring boot
Unironically, if you want something as mature as Rails, with batteries included, and static typing, the closest in my mind is aspnet core.
It’s honestly a really underrated framework, smartly designed, with probably the best ORM that exists and a great ecosystem.
Unfortunately, the documentation is painfully bad and the Getting Started guides are really boring compared to Rails or Django.
There may also be Laravel but I can’t say anything about it since I never tried it.