Hola!
No estoy entendiendo como definir el tipo pares ordenados. Si el constructor recibe r y s, hay alguna forma de verificar que r sea mayor o igual que s al momento de crear algo de ese tipo?
Hola,
Te paso el link de una discusión de otro año sobre ese ejercicio, a ver si puede aclarar tus dudas:
https://eva.fing.edu.uy/mod/page/view.php?id=86857#P1_EJ8_A
En caso de que todavía algo no te quede del todo claro, podés volver a preguntar acá.
saludos
Te paso el link de una discusión de otro año sobre ese ejercicio, a ver si puede aclarar tus dudas:
https://eva.fing.edu.uy/mod/page/view.php?id=86857#P1_EJ8_A
En caso de que todavía algo no te quede del todo claro, podés volver a preguntar acá.
saludos
Marcos, cómo estás?
No me funciona el link. Creo que las discusiones pasadas están ocultas.
No me funciona el link. Creo que las discusiones pasadas están ocultas.
Ok, no hay problema, te contesto acá:
El sistema de tipos de Haskell 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. 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.
saludos
El sistema de tipos de Haskell 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. 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.
saludos