On Thu, Aug 23, 2007 at 09:23:54AM -0300, Leandro Lucarella wrote:
> Alberto Bertogli, el 23 de agosto a las 03:00 me escribiste:
> > En Haskell, la funcion identidad ('id') tiene esta propiedad. Se define
> > como:
> >
> > > id :: a -> a
> > > id x = x
> >
> > O sea, una funcion que recibe un parametro de cualquier tipo y devuelve
> > algo del mismo tipo.
> >
> > Si hacemos "id id" nos devuelve "id". Como veras, es algo bastante bobo
> > y todo =)
> >
> > Obviamente esto no vale para todas las funciones que devuelvan
> > funciones, pero como poder, se puede.
>
> Pero es un caso muy particular, sería parecido a algo como:
Si, claramente no vale para todas las funciones.
Estuve viendo y preguntando en #haskell y si bien se pueden lograr
algunos casos muy triquiñuelosos, no se puede hacer de forma
suficientemente general.
Por otro lado, en ocaml si se puede, si uno lo usa con el sistema de
tipos "relajado" respecto de las funciones recursivas, lo cual no esta
muy bueno que digamos segun parece. Con esta salvedad, uno puede definir
let rec f a = f;;
Hasta ahora es lo mas cerca que salio, y no es del tooodo feliz tampoco.
Gracias,
Alberto
_______________________________________________
Lista de correo Programacion.
[email protected]
http://listas.fi.uba.ar/mailman/listinfo/programacion
