News for hackers. Stuff that matters.
Re:Python 3 Types in the Wild: A Tale of Two Type Systems [pdf] by HelloNurse on Thursday April 15, 2021 @06:05AM (#26818449)
Types are not associated with expressions in Python: evaluating an expression produces a typed value, whose type, and not only its value, depends on the type and/or values of the inputs. Example:

   def comparativeInsult(a,b):
      if b>a:
         return "try again"
      if a>b:
         return a/b
      else:
         return None
The type is, for all practical purposes, a part of the value of a Python object.
Re:Python 3 Types in the Wild: A Tale of Two Type Systems [pdf] by lmm on Thursday April 15, 2021 @08:12AM (#26819453)
Such a thing is not a type. Not by the usual definition, which predates not only python but mechanical computation.