Calculo Lambda (Enlatado)
2008-02-08 10:30:47-06
Software
Via lambda-the-ultimate.org me entero de un proyecto "simpático" que mete un interprete Lambda en un Microprocesador , le da memoria, le administra una conexión USB para poder conectarlo a la computadora y tienes una bonita lambdaCan.

Vean la pagina oficial del proyecto y noten que el software es libre (de todo pecado matemático, claro). en cuanto al Calculo Lambda es una parte muy importante de la ciencia computacional y parte principal del lenguajes funcionales como Haskell (que aprendí un poco), hago constar que se que Haskell no es un lenguaje funcional puro, pero los lenguajes funcionales puros no son Turing-Completos. Saludos.

Vean la pagina oficial del proyecto y noten que el software es libre (de todo pecado matemático, claro). en cuanto al Calculo Lambda es una parte muy importante de la ciencia computacional y parte principal del lenguajes funcionales como Haskell (que aprendí un poco), hago constar que se que Haskell no es un lenguaje funcional puro, pero los lenguajes funcionales puros no son Turing-Completos. Saludos.
Permalink: http://www.mononeurona.org/users/entry/vendaval/1115
Comentblogs:









