Anoche en el calentamiento del curso de sistemas de tipos intenté mostrar la importancia de razonar con tipos al programar en un lenguaje. Para seguir con los temas tocados podemos leer el siguiente blog que toca los temas de lenguajes dinámicos, estáticos, inferencia de tipos, lenguajes de tipado fuerte, débil, etc desde el punto de vista de los "practicantes" de la programación. Algunos de los participantes en la discusión no han tenido mucho contacto con los sistemas de tipos ... no le hace, hay ideas interesantes de los que si entienden mejor el mundo de los tipos.
Lo que si parece aparente de la discusión es que un segmento de nuevos lenguajes o revisiones de los viejos traerán tipos implícitos ...
Palabras clave: java, sistemas de tipos, tipos dinámicos, tipos estáticos
