Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Ben Finney <ben+python@benfinney.id.au>
Newsgroups: comp.lang.python
Subject: Distinction between =?utf-8?B?4oCcY2xhc3PigJ0=?= and =?utf-8?B?4oCcdHlwZeKAnQ==?=
Date: Fri, 13 May 2016 15:07:04 +1000
Lines: 35
Message-ID: <mailman.623.1463116040.32212.python-list@python.org>
References: <85eg96eebr.fsf@benfinney.id.au>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Cancel-Lock: sha1:QCZ0+bQTxKYcqvW+8MWNdsd1zPI=
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux)
Precedence: list
Xref: csiph.com comp.lang.python:108578

Howdy all,

Ever since Python's much-celebrated Grand Unification of classes and
types, I have used those terms interchangeably: every class is a type,
and every type is a class.

That may be an unwise conflation. With the recent rise of optional type
annotation in Python 3, more people are speaking about the important
distinction between a class and a type.

This recent message from GvR, discussing a relevant PEP, advocates
keeping them separate:

    PEP 484 […] tries to make a clear terminological between classes
    (the things you have at runtime) and types (the things that type
    checkers care about).

    There's a big overlap because most classes are also types -- but not
    the other way around! E.g. Any is a type but not a class (you can
    neither inherit from Any nor instantiate it), and the same is true
    for unions and type variables. […]

    <URL:https://mail.python.org/pipermail/python-ideas/2016-May/040237.html>

As a Bear of Little Brain, this leaves me clueless. What is the
distinction Guido alludes to, and how are Python classes not also types?

And why is this distinction important, and who moved my cheesecake?

-- 
 \        “It is the responsibility of intellectuals to tell the truth |
  `\                    and to expose lies.” —Noam Chomsky, 1967-02-23 |
_o__)                                                                  |
Ben Finney