ProgFunc: Practico 1 Ejercicio 8

Buenas!

En este ejercicio se pide definamos el tipo de los pares ordenados, que son dos reales a y b tal que a <= b.

Al momento de definir el tipo (sea con un sinonimo o con un tipo de dato algebraico), hay alguna forma de controlar que se cumpla la condicion de orden? o esta condicion es algo que se debe controlar eventualmente al trabajar con ellos?

Re: Practico 1 Ejercicio 8

de Marcos Viera - InCo - lunes, 28 de marzo de 2022, 10:20

Hola,

El sistema de tipos de Haskell (y de la gran mayoría de los lenguajes de programación) no tiene suficiente expresividad como para imponer en la definición del tipo el tipo de restricciones que se piden en ese ejercicio, dado que se está predicando sobre los valores. Ese era un poco el problema al que queríamos que se enfrentaran con este ejercicio.
Por lo tanto la verificación la vas a tener que hacer luego en la función (o funciones) que construya valores de ese tipo y manejarlo como un TAD, utilizando siempre esas funciones.

saludos