Python 3 y escritura estática

Realmente no presté tanta atención al desarrollo de Python 3 como me hubiera gustado, y solo me di cuenta de algunos cambios interesantes de sintaxis. Especí...

¿Conoces un idioma con el tipo estático que verifica dónde está el código de datos? [cerrado]

¿Puedes nombrar idiomas con comprobación de tipo estático (como Java) y donde el código es datos (como en LISP)? Me refiero a las dos cosas en un idioma.

¿Qué reglas especiales tiene el compilador scala para el tipo de unidad dentro del sistema de tipos?

losUnit obtiene un manejo especial por parte del compilador al generar código de bytes porque es análogo avoid en la jvm. Pero conceptualmente como un tipo dentro del sistema de tipos scala, parece que también recibe un tratamiento especial en el ...

¿Existe un lenguaje de programación compilado * con tipeo dinámico, tal vez incluso débil?

Me preguntaba si hay un lenguaje de programación que se compila en código de máquina / binario (no bytecode luego ejecutado por una VM, eso es algo completamente diferente cuando se considera escribir) que presenta una escritura dinámica y / o ...

Lenguajes de metaprogramación mecanografiados [cerrado]

Quiero hacer una metaprogramación en un lenguaje tipado estáticamente, donde se tipearán tanto mis programas como mis metaprogramas. Lo digo en un sentido fuerte: si mi generador de programas se compila, quiero que el sistema de tipos sea lo ...

¿Cuál es el propósito de las ascripciones de tipo en Scala?

Tipo de firma Haskell con múltiples restricciones de clase.

¿Cómo puedo tener múltiples restricciones de clase, por lo que si

Aplicación del método de extensión a la clase genérica con tipo genérico

Estaba trabajando con la clase genérica en vb.net. Y parece que el método de extensión no se puede aplicar a la clase genérica sin especificar el tipo. Tengo esta clase genérica Public Class MyGeneric(Of T) 'Methods and properties go here ' ' ...

¿Java casting introduce gastos generales? ¿Por qué?

¿Hay alguna sobrecarga cuando lanzamos objetos de un tipo a otro? ¿O el compilador solo resuelve todo y no hay costo en tiempo de ejecución? ¿Es esto algo general o hay diferentes casos? Por ejemplo, supongamos que tenemos una matriz de Object ...

Existe un idioma de Haskell para actualizar una estructura de datos anidados?

Digamos que tengo el siguiente modelo de datos, para realizar un seguimiento de las estadísticas de los jugadores de béisbol, equipos y entrenadores: data BBTeam = BBTeam { teamname :: String, manager :: Coach, players :: [BBPlayer] } deriving ...