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@python.org http://mail.python.org/mailman/listinfo/python-3000 Unsubscribe: http://mail.python.org/mailman/options/python-3000/archive%40mail-archive.com
