Pregunta cuestionario de tipos

Pregunta cuestionario de tipos

de Maria Belen Brandino Larrosa -
Número de respuestas: 1

Buenas, haciendo este ejercicio me quedo la duda de si lo estoy resolviendo bien. 

Creo que las opciones de (x,y) e (y:x) son incorrectas porque y podría llegar a no ser una lista y generaría problemas con que se haga el head de y. 

Luego creo que la opcion (9:(x:y)) obliga a que la variable de tipo a sea siempre Int lo cual creo que es incorrecto. 

Y luego, la opcion (_:(x,y)) seria correcta ya que y seria una lista, x seria un elemento del tipo a y antes de estos se puede tener cualquier cosa en la lista, por el guión. 

Esto es correcto? Muchas gracias

Adjunto Screen Shot 2020-03-25 at 00.45.16.png
En respuesta a Maria Belen Brandino Larrosa

Re: Pregunta cuestionario de tipos

de Marcos Viera - InCo -

Si, es correcto. Sólo algunos comentarios:

- (x,y) es un par, así que no puede ser de tipo lista [a]

- si (y:x) es de tipo lista [a] entonces y sería de tipo a, por lo que no tiene por qué ser una lista y entonces no puedo hacerle head


saludos