Cannot construct the infinite type

De Uqbar wiki

Advertecia: esto es un borrador

El problema

Que hace la siguiente función?

autoAplicar funcion = funcion funcion

OK, y que tipo tiene?

autoAplicar :: (a->a) -> (a->a) ??

Si lo cargamos

Occurs check: cannot construct the infinite type: a = a -> a When generalising the type(s) for `f'

A que intenta generalizar?

1. por x x, x es un funcion 2. x se le pasa un argumento, es una funcion de "un parametro"  3. autoAplicar :: ( ? -> ? ) -> ? 4. por x x, x tiene que ser capaz de recibir una funcion de tipo x por parámetro. Entonces si x :: a -> ?, a == a -> ? 5. entonces x :: a -> ?  ==  (a -> ?) -> ?  ==  ( (a -> ?) -> ?) -> ? == (((a -> ?) -> ?) -> ?) -> ? .....

Otra vuelta de tuerca

Sin embargo…. si pudieramos desactivar el chequeo de tipos…. esto tiene sentido?

autoAplicar id id id id

Sí!

Es más, si sólo lo desactivaramos para autoAplicar:

autoAplicar id <- no tipa id id <- tipa!! id

Moraleja: el sistema de tipos puede rechazar programas válidos

type vs data/newtype

Latest update on July 17, 2017 by GitHub