[Types-sig] Proposed Goals PEP

[Raymond Hettinger]

Paul Prescod wrote:

> In order to get something done in a reasonable amount of time we must
> decide which issues not to tackle. At the top of that list, in my
> opinion, is static type checking (including a formally defined type
> inferencing system). Second is any form of higher order types. If we
> could agree that these are NOT on the table we will make progress much
> more quickly.

Agreed.  Higher order types are for languages like ML which a designed
around strong typing.

>
> In general, a major constraint is that a type system for Python should
> be simple. We should not be afraid to teach the type system to high
> school students. If Python's type system makes anyone's brain explode
> then we have not done a good job.
>

Well said.  Think minimally!

Raymond Hettinger