4 ms·

> According to this, there are no such things as "dynamically typed” langugages, only “unityped” ones. Bingo. That's exactly what Harper said. Did you actual

• teddyh 4y ago
  It doesn’t actually matter what that thing said. Most everybody uses the term “dynamically typed” when referring to languages like Python, Lisp, etc. and this is the first time I’ve heard the term “unityped” – is not a term in common use. And (bringing this back to its origin), using terms which actually are in common use, Python does allow storing types as values in variables.
  • still_grokking 4y ago
    > is not a term in common use That's the fun thing about it. But in some circles everybody knows this term. ;-) (You can see it as an "in joke", if you like). > Python does allow storing types as values in variables. Python does not have "types" in the CS sense (besides the one all mighty uni-type, of course). All you can store in variables in Python are values. (Before arguing further please look up type theory first, so we can avoid going in circles).