Alberto Bertogli, el 23 de agosto a las 03:00 me escribiste:
> On Thu, Aug 23, 2007 at 01:39:42AM -0300, Leandro Lucarella wrote:
> > Leandro Lucarella, el 21 de agosto a las 14:32 me escribiste:
> > > Pasa con todos lenguajes tipados estáticamente que conocen?
> >
> > Nadie contestó esta parte de la pregunta. Nadie la vio o realmente nadie
> > conoce un lenguaje tipado estáticamente que pueda declarar una función que
> > se devuelva a sí misma?
>
> Vos te lo buscaste =P
>
> 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:
template < typename F >
F id(F f) { return f; }
void lala() {}
void (*fp)();
fp = id(fp);
No veo que estés *declarando* una función que devuelve una función con su
misma firma. O entendí mal el ejemplo?
--
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
.------------------------------------------------------------------------,
\ GPG: 5F5A8D05 // F8CD F9A7 BF00 5431 4145 104C 949E BFB6 5F5A 8D05 /
'--------------------------------------------------------------------'
All evidence has been buried
All tapes have been erased
But your footsteps give you away
So you're backtracking
_______________________________________________
Lista de correo Programacion.
[email protected]
http://listas.fi.uba.ar/mailman/listinfo/programacion
