Es correcta la definición?

[Marcos Peralta]

ListasVacias :: [ [a] ] -> Bool

ListasVacias [ ] = [ ]

ListasVacias x:xs = x == [ ] && ListasVacias xs

Donde x :: [a] y donde xs :: [ [a] ]

[Marcos Peralta]

En el caso de la evalucion queda por ejemplo

[1] = [ ] que obviamente es false pero la comparacion de dos listas no esta dada en la definicion de la funcion por lo que como es eso?

 

[Luciana Benotti]

No se si entiendo la pregunta. Evaluar [1] == [] da False como podes
comprobar en Haskell:

Prelude> [1] == []
False

Quizás a vos te daba error porque pusiste un solo '=' ?

--
Has recibido este mensaje porque estás suscrito al grupo
"introalg2012-2C" de Grupos de Google.
Para publicar una entrada en este grupo, envía un correo electrónico a
introal...@googlegroups.com.
Para anular tu suscripción a este grupo, envía un correo electrónico a
introalg2012-...@googlegroups.com
Para ver este debate en la Web, visita
https://groups.google.com/d/msg/introalg2012-2c/-/W8BYIa-r1SMJ.

Para obtener más opciones, visita https://groups.google.com/groups/opt_out.




--
Prof. Dr. Luciana Benotti
FaMAF, Universidad Nacional de Cordoba
Medina Allende s/n
5000 Cordoba, Argentina
+54-351-5353701 (Int. 41414 or 43030)
http://cs.famaf.unc.edu.ar/~luciana
ben...@famaf.unc.edu.ar

[Marcos Peralta]

Lo que quiero saber si esta bien es la definición de la función. Si esta bien definida el caso base y el caso recursivo.

[Luciana Benotti]

Que esté bien o esté mal depende de lo que vos querés que la función
haga. Cuál es el enunciado del ejercicio? Sin saber el enunciado solo
te puedo decir si la definición tipa. El caso base no tipa porque
retorna una lista y según el tipo definido debe retornar un Booleano.
El caso recursivo tipa.

2012/10/9 Marcos Peralta <marcosp...@gmail.com>: