¿Python es un lenguaje débilmente tipado ya que las variables pueden cambiar de tipos?

Question

De la manera que lo entiendo, lo siguiente está permitido en PHP porque es un lenguaje débilmente tipado.

$var = 'Hello'; 
$var = 5; 

acabo instalado una versión de Windows de Python 2.6 y esperaba que no se detenga a cambiar el tipo así como así, sino el equivalente Python del código anterior funciona igual que en PHP uff!

>>> var = "Hello" 
>>> type(var) 
<type 'str'> 
>>> var = 5 
>>> type(var) 
<type 'int'> 

¿Está mi comprensión de la debilidad/fuerte mecanografía defectuosa?

Answer 1

Su ejemplo demuestra dinamización mecanografía, no mecanografía débil. La tipificación dinámica generalmente significa que el tipo de datos que un objeto puede almacenar es mutable; cualquier objetivo puede contener un enlace a cualquier tipo de objeto. Contraste eso con, por ejemplo, C#, que está tipado estáticamente [*].

int i = 5; // Okay. 
i = "5"; // Illegal! i can only hold integers. 

tipificación estricta significa que una vez le asigna un valor de un tipo particular, objetos obedecen a reglas estrictas acerca de cómo pueden interactuar con otros objetos de varios tipos. La mecanografía débil significa que tales reglas son más relajadas. Esto no significa que los lenguajes fuertemente tipados sean necesariamente superiores de ninguna manera; es solo una elección de diseño de lenguaje.

Python se considera fuertemente tipado porque los objetos tienen una noción distinta de lo que escriben que son. operaciones incompatibles entre objetos causan errores:

>>> 1 + 1   # Add two integers. 
2 
>>> "1" + "1"  # Concatenate two strings. 
'11' 
>>> 1 + int("1") # Add two integers. 
2 
>>> "1" + str(1) # Concatenate two strings. 
'11' 
>>> 1 + "1"  # Undefined! Adding integers and strings is meaningless. 
Traceback (most recent call last): 
    File "", line 5, in ? 
TypeError: unsupported operand type(s) for +: 'int' and 'str' 

Pero en PHP, las reglas son mucho más relajado de lo que es aceptable. Por lo tanto, se considera más débilmente tipado que en otros idiomas.

$x = 1 + "1"; // x is 2 

---

[*] Técnicamente, a partir de C# 4, # C está estático de tipos, pero con exclusión de tipado dinámico en función de cada vinculante, gracias a la palabra clave dynamic. Actualmente, muchos idiomas están agregando capacidades dinámicas y difuminando las líneas, por lo que cada vez es más difícil decir que "el lenguaje X es dinámico" y el "idioma Y es estático". Es mucho más una escala móvil o un espectro que una propiedad binaria.

Answer 2

Sí. Esa no es una tipificación fuerte/débil, es decir, tipeo estático/dinámico. La tipificación débil permite que cosas como 5 + '5' sean 10.

Answer 3

No existe una definición real de tipeo débil o tipeo fuerte. Se trata de conversiones de tipos implícitos y no tiene nada que ver con el tipado estático/dinámico.

Un lenguaje de tipos estáticos como Java puede ser tipos débiles (no es ella), y un lenguaje de tipos dinámicos como PHP puede ser inflexible de tipos (no es que lo es).

Un lenguaje débilmente tipado es más liberal en cuanto a qué tipos de datos pueden mezclarse en ciertas operaciones.

Answer 4

Una adición la primera respuesta: Es un poco más complicado porque en python el operador + está sobrecargado, lo que significa que ambos agregarían (matemáticas) y concatenarían (pegar dos cadenas). En el ejemplo php

$i = 1 + "1" // $i == 2 

el plus añade (matemáticas), porque el. (Punto) se utiliza para la concatenación, por lo que en php

$i = 1 . "1" // $i == "11" 

Lo que estoy tratando de dejar claro es que cada tipos débiles/ofertas dinámicas del lenguaje con este en su propia manera.