Resultados de la búsqueda a petición "dependent-type"
¿Alguna razón por la que Scala no admite explícitamente los tipos dependientes?
Existen tipos dependientes de la ruta y creo que es posible expresar casi todas las características de lenguajes como Epigram o Agda en Scala, pero me pregun...
Agda: analizar una cadena con números.
Estoy tratando de analizar una cadena con números naturales en Agda. por ejemplo, el resultado de
¿Qué es la escritura dependiente?
¿Alguien puede explicarme el tipeo dependiente? Tengo poca experiencia en Haskell, Cayenne, Epigram u otros lenguajes funcionales, por lo que cuanto más simple sea el término que pueda usar, ¡más lo apreciar
Cómo hacer un tipo con restricciones
Por ejemplo, quiero hacer un tipo MyType de triples enteros. Pero no solo producto cartesiano de tres enteros, quiero que el tipo represente todos (x, y, z) de modo que x + y + z = 5 ¿Cómo puedo hacer eso? Excepto de usar solo (x, y) ya que z = ...