By written a lot of tests that are more strict than the type system?
I know statically type-safe along is not enough because it doesn't prevent logical error but isn't having it better than not?
I really don't see much appeal in dynamic typing beyond simple scripts and solving Leetcode style problems.
My current default language is unfortunately still Python lol, but I want to make that Haskell or OCaml soon if possible (and if I have time to devote to learning them!)
I hear that OCaml, at least, is fairly adaptable to multiple use-cases.