Soy un novato de Haskell que está trabajando en su camino a través del maravilloso "Aprende a A Haskell para el bien". Esta pregunta está relacionada con un pasaje en la sección llamada "Kinds and some type-foo" en el capítulo 8. El pasaje que dice:Confusión con respecto a un pasaje de la sección "Tipos y algo de foo" de learnyouahaskell.com
"Hacer Frank una instancia de Tofu es bastante simple Vemos que tofu toma una . ja (por lo que un tipo de ejemplo de esa forma sería Tal Int) y devuelve un Taj. así que si sustituimos Frank con j, el tipo de resultado sería Frank Int Tal vez. "
Esto me tiene algo perplejo. En mi opinión, la última frase debe decir:
"Así que si sustituimos t con Frank, el tipo de resultado sería Frank Int Tal."
Me agradecería cualquier explicación sobre dónde estoy yendo mal.
Estoy con @ehird, es un error del libro. Deberías advertir al autor sobre esto. Su dirección de correo electrónico está en la página de inicio del libro. –
@Riccardo Le envié un correo electrónico. Gracias por su respuesta. – Duncan3142