Resultados de la búsqueda a petición "static-typing"
¿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 ...
Tipo de firma Haskell con múltiples restricciones de clase.
¿Cómo puedo tener múltiples restricciones de clase, por lo que si
Existen lenguajes funcionales de tipo estático?
Esto es algo difícil de google, ¿tal vez SO tiene mejores respuestas? Vengo de un fondo de tipo estático y estoy investigando la programación funcional, pero no estoy completamente entusiasmado con la escritura dinámica. curioso qué tipo de ...
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 ...
Tools para la comprobación de tipos estáticos en Python
Estoy trabajando con una gran base de código de Python existente y me gustaría comenzar a agregar anotaciones de tipo para poder obtener algún nivel de comprobación estática. Me estoy imaginando algo como ...
¿Por qué las interfaces deben declararse en Java?
A veces tenemos varias clases que tienen algunos métodos con la misma firma, pero que no corresponden a una interfaz Java declarada. Por ejemplo, ambosJTextField yJButton (entre varios otros enjavax.swing.*) tiene un método public void ...
¿Cómo puedo asegurarme de que el tipo dinámico de mi colección Scala personalizada se conserva durante un mapa ()?
Leí el muy interesanteartículo sobre la arquitectura de las colecciones Scala 2.8 [http://www.scala-lang.org/docu/files/collections-api/collections-impl.html] y he estado experimentando un poco con eso. Para empezar, simplemente copié el código ...
¿Desventajas del sistema de tipo Scala versus Haskell?
He leído que el sistema de tipos de Scala está debilitado por la interoperabilidad de Java y, por lo tanto, no puede realizar algunos de los mismos poderes que el sistema de tipos de Haskell. ¿Es esto cierto? ¿La debilidad se debe al borrado del ...
¿Cómo lidiar con Python ~ tipeo estático? [cerrado]
Soy del mundo de Java y me pregunto qué tiene de bueno la escritura dinámica en Python además de errores que faltan al compilar el código. ¿Te gusta la escritura de Python? ¿Tienes un ejemplo donde ayudó en un gran proyecto? ¿No es un poco ...
¿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.
Página 1 de 2