0

¿Cómo puedo definir una lista cuyos elementos sean funciones? ¿Cuál sería el tipo a definir si tengo un tipo de datos?:

data Usuario = UnUsuario String [**--que tipo pondria aca--**] deriving Show

1 respuesta 1

0

El tipo para una función simple sería a -> b, con a como tipo de datos del dominio de la función, y b como tipo de datos de la imagen. Tu definición quedaría así:

data Usuario a b = Usuario String [a -> b] deriving Show

El problema con esta definición está en que las funciones no son instancias de Show y te dará error (aquí la explicación). Puedes usar como alternativa la definición de instancia de Text.Show.Functions:

Prelude> import Text.Show.Functions
Prelude Text.Show.Functions> data Usuario a b = Usuario String [a -> b] deriving Show
Prelude Text.Show.Functions> let x = Usuario "Hola" [\x -> True, \x -> False]
Prelude Text.Show.Functions> x
Usuario "Hola" [<function>,<function>]

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.