[Python-es] Fwd: Tipos en python (Re: Contar en lista)

Ángel Luis García García algg78 en telefonica.net
Mie Nov 17 21:43:42 CET 2010


Excelente explicación de Chema Cortes!

Enviado desde mi iPad


Saludos.
Ángel Luis García García
http://elviajedelnavegante.blogspot.com


El 17/11/2010, a las 18:25, Chema Cortes <pych3m4 en gmail.com> escribió:

> El día 16 de noviembre de 2010 23:29, Milton Galo Patricio Inostroza
> Aguilera <minoztro en gmail.com> escribió:
>
>> en realidad hace tiempo que leí estos artículos y me ayudaron mucho
>> :-)...ahora que estoy estudiando sistemas de tipos, la teoría dice que
>> en un lenguaje con tipeo dinámico lo único que existe en tiempo
>> estático es un solo tipo y que en tiempo de ejecución los nodos del
>> AST están marcados con una etiqueta que dicen a que clase de valor
>> pertenecen: entero, lista, función, etc....habría que ver como está
>> implementado el interprete de python :-)
>
> Este modo de ver los tipos me "chirría" mucho. Que los nodos AST
> tengan "referencias" a objetos no implica que la "referencia" sea el
> tipo "estático" existente. Para cada tipo "estándar" hay siempre en
> todo momento sus elementos vacíos ( "" , [] , () , 0.0 ), además de
> los enteros del -1 al 99 (con True y False como subtipos) y algunos
> singletones como None. El código AST, tal como dice su nombre, no es
> más que una "abstracción" que no tiene en cuenta el modelo de tipos
> real, sobre todo cuando la persistencia de los objetos no está
> determinada por la persistencia del propio árbol AST.
>
> Los tipos estándar de python se definen como "instancias" de la clase
> "type", y en todo momento están creadas las instancias 'int', 'bool',
> 'long', 'float', etc. etc., por lo que se puede afirmar que existe un
> modelo de tipos de datos "estático", previo a la ejecución del código.
> El tipado dinámico viene a significar que del comportamiento de un
> objeto no podemos inferir su tipo. Dicho de otro modo, el
> comportamiento de un objeto se puede obtener por adquisición
> (instanciando una clase/tipo) o por implentación de un "interface" que
> simule el tipo (patrones delegación, factoría,... == metaclase). En
> todo caso, la riqueza de tipado de datos va mucho más allá del
> análisis sintáctico que pueda realizarse estáticamente.
> _______________________________________________
> Python-es mailing list
> Python-es en python.org
> http://mail.python.org/mailman/listinfo/python-es
> FAQ: http://python-es-faq.wikidot.com/



-- 
Ángel Luis García García
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://mail.python.org/pipermail/python-es/attachments/20101117/96032150/attachment.html>


Más información sobre la lista de distribución Python-es