La letra dice:
Explique por que la siguiente definición no es aceptada por el sistema de tipos de Haskell:
dobleAp f = (f True, f 'a')
Yo entiendo que sería porque en la definición de dobleAp se esta haciendo uso de la función f con dos tipos diferentes y esto no es válido ya que el parámetro de f tiene que tener un tipo definido.
Es decir, la función f no puede al mismo tiempo y en la misma función recibir como parámetro un valor Bool y un valor Char.
Creo que es por esto, pero agradecería saber si es correcto el razonamiento.
Es decir, la función f no puede al mismo tiempo y en la misma función recibir como parámetro un valor Bool y un valor Char.
Creo que es por esto, pero agradecería saber si es correcto el razonamiento.