8El calor
1Respuesta
Parámetros de tipo de parámetro de Scala
24El calor
1Respuesta
¿Qué propiedad del sistema de tipos de Scala hace que sea Turing-complete?
9El calor
1Respuesta
56El calor
3Respuesta
¿Cuáles son las principales dificultades teóricas para agregar módulos de ML a Haskell?
19El calor
1Respuesta
Haskell cuantificación existencial en detalle
22El calor
2Respuesta
¿Es posible colocar restricciones de desigualdad en las variables de tipo haskell?
10El calor
1Respuesta
Para Scala, ¿existen ventajas de escribir borrado?
40El calor
4Respuesta
¿Qué son las estructuras de datos de "sumas y productos"?
80El calor
4Respuesta
¿Por qué no puedo hacer que String sea una instancia de una clase de tipo?
18El calor
3Respuesta
¿Se puede implementar esta funcionalidad con el sistema de tipos de Haskell?