Digamos que las listas se definen como
List a = Nil | Cons a (List a)
Entonces, en Haskell, List x
¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las finitas.
Es el punto fijo más grande, o el coalgebra final, dependiendo de cómo configure las cosas. En Haskell es imposible definir el tipo de datos de las listas finitas porque Haskell no tiene tipos inductivos, solo los coinductores. Muchas personas niegan este problema en particular.
fuente
[a]
en Haskell por inducción. Usted puede hacerlo por un subconjunto de los valores, es decir, las listas finitas. Pero esto no es lo que[a]
es.