Post #3387309
2026-06-24 06:26 UTC
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.
Replies (1)
-
@bss03@infosec.pub 2026-06-24 15:24
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.