[Python-ideas] Optional static typing -- the crossroads

[Juancarlo Añez]

On Tue, Aug 19, 2014 at 7:15 PM, Guido van Rossum <guido at python.org> wrote:

> Actually, Python has a long tradition of reusing the same sub-language for
> things that are different sub-languages in other languages. Starting with
> 'int' being callable, in fact. :-)


I love the consistency of Python's type system. It's intuitive (difficult
to get wrong). Maybe that's why I'm one of the fearful ones regarding this
move towards formalizing type annotations.

BTW, today I took the time to read Mr. C.D. Smith's (old) article about
type systems, and I found it relevant, illustrative, smart, and
entertaining. May I remind the list about it?

I will:

http://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/

-- 
Juancarlo *Añez*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20140819/a5682fd2/attachment.html>