Thoughts
The complaint that encapsulates most of my frustration with strictly typed languages is that I cannot open a REPL and enter some expression
that allows me to check what the compiler thinks the type of a variable is.
Maybe strictly typed languages are only usable with an LSP and editor where you can hover over something and see what type it is (is that a thing?).