TAD de los conjuntos: Transformaciones entre conjuntos y listas

Utilizando el tipo abstracto de datos de los conjuntos definir las funciones

tales que
+ listaAconjunto xs es el conjunto formado por los elementos de xs. Por ejemplo,

  • conjuntoAlista c es la lista formada por los elementos del conjunto c. Por ejemplo,

Comprobar con QuickCheck que ambas funciones son inversa; es decir,

Soluciones

A continuación se muestran las soluciones en Haskell y las soluciones en Python.


Soluciones en Haskell


Soluciones en Python