[leshow]

Your comparison doesn't make any sense. You would use a language like Elm/Purescript/Reason etc for the type safety, that's completely orthogonal to whether something has classes or not.

[eksemplar]

Except you don’t need typesafety when you do this because you’re never expecting a specific type, and at the same time, you don’t have to waste time writing the recipe for what you’re going to do.

[boubiyeah]

You're always expecting a specific type, whether the type or schema is made explicit by the language or not.