[Python-3000] Unsure if I should write a PEP on Types

[Guido van Rossum]

Sorry for the belated response. Yes, I'd like to see this PEP. I'll
probably eventually end up rewriting it :-), but right now I'm
terribly overcommitted and really appreciate the help!!!

--Guido

On 4/24/06, Bill Birch <birchb at tpg.com.au> wrote:
> The optional static typing blog
> http://www.artima.com/weblogs/viewpost.jsp?thread=87182 and many other
> postings imply a lot of interesting detail about types, type expression, type
> checking, adapt() and such.  I'm considering collecting some of these
> subjects together in a note for review and perhaps as a PEP.
> Subjects would include:
> * Recap of type concepts and motivations: dynamic, subtyping, nominative,
> structural, duck.
> * Use cases for types: checking, introspection, test generation, OSTC
> * Type expressions
> * Run-time type lattice
> * Type class abstract interface: type operators
> * and some working code
>
> Has a PEP already been written? Would this be useful? Who else finds this
> interesting or may have started on these subjects?
>
> OK, so I'm fishing for encouragement here..... ;-)
>
> --
> http://billbirch.wordpress.com/
> _______________________________________________
> Python-3000 mailing list
> Python-3000 at python.org
> http://mail.python.org/mailman/listinfo/python-3000
> Unsubscribe: http://mail.python.org/mailman/options/python-3000/guido%40python.org
>


--
--Guido van Rossum (home page: http://www.python.org/~guido/)