Practically, dynamic typing is quite different from no typing, such as with the B programming language, although I agree that it often defeats certain benefits of type systems.
Agreed. I don’t think it should be called typing; it’s more tagging (yes, like tagged unions). But, I don’t think I’ll see that semantic shift in my lifetime.
Anyway, I prefer my types static and my functions curried, which is why I do PureScript, Idris, and Haskell for my personal projects.
Practically, dynamic typing is quite different from no typing, such as with the B programming language, although I agree that it often defeats certain benefits of type systems.
Agreed. I don’t think it should be called typing; it’s more tagging (yes, like tagged unions). But, I don’t think I’ll see that semantic shift in my lifetime.
Anyway, I prefer my types static and my functions curried, which is why I do PureScript, Idris, and Haskell for my personal projects.