I choose Haskell because I had the impression that it is very purely functional, and wouldn't allow for any reliance on state.
I did not choose to learn Haskell because I was interested in navigating an extremely rigid type system.
My question is this: Is a strong type system a necessary by-product of an extremely pure functional language, or is this an unrelated design choice particular to Haskell?
If it is the latter, I'm curious what would be the most purely functional language that is dynamically typed.
I'm not particularly opposed to strong typing, it has its place, but I'm having a hard time seeing how it benefits me in this educational endeavor.