Types replace some tests and introduce a lot of ceremony. If this a worthwhile tradeoff depends. E.g. I wrote c# and Python for a living. Especially in the mid

Types replace some tests and introduce a lot of ceremony. If this a worthwhile tradeoff depends. E.g. I wrote c# and Python for a living. Especially in the mid 2010s python was much better for the Microservices I wrote because they are so small that you could unit test them exhaustively. The lack of ceremony and small domain model made development super easy. C# just felt clunky and limiting. You spend lots of time wrangling types which could have been figured out by the compiler. Nowadays c# has gotten a lot of features that reduce type ceremony and extend their usefulness (nuallibility checks, better tuples etc) so it feels much more ergonomic (unlike java where the culture still goes off on needless verbosity) . Python also got types which I use a lot, it helps to document it for other developers, ides and spot bugs.