Traductor de haskell a template metaprogramming

[M@rC3lo]

Bueno gente, recuerdan que hace un tiempo les presente un traductor de
código funcional a template metaprogramming?

Les cuento que hice de este tema el tema de mi tesis.

La tesis cuenta con dos partes, una es un traductor de un lenguaje
funcional a template metaprogramming. La segunda parte es integrar
este traductor en un Framework para construir librerías activas.
Las librerías activas básicamente son librerías que mutan en tiempo de
compilación para adecuarse al uso particular que el desarrollador le
esta dando (Daniel puede darnos mas detalle).

Bueno, la primer parte ya esta casi terminada y quería compartirla con
el foro para recibir sus comentarios y pulirla.

La primer parte cuenta de un traductor de pHaskell a template-
metaprogramming.
pHaskell es un lenguaje funcional con sintaxis muy parecida a
Haskell.

El traductor soporta las siguientes features:

* haskell like syntax.
* definiciones locales.
* currificacion de funciones.
* funciones como valores de 1er orden.
* expresiones lambda.
* definición de guardas.
* pattern matching
* sintaxis especial para listas, y para el pattern patching de
listas.
* Tipos definidos por el usuario.
* codigo testeado en GCC y Comeau.
* y lo mejor: FULL LAZY :)

Bueno para los que están interesados pueden ver los ejemplos de código
pHaskell y su correspondiente código c++ generado en:

http://code.google.com/p/phaskell/wiki/index

Cualquier sugerencia será muy apreciada, pueden comentar en la Wiki
misma.

Saludos.

Marcelo.

[Daniel Gutson]

Para entender, contexto:
   http://users.encs.concordia.ca/~gregb/splc-workshop/czarnecki.ppt
   ftp://ftp.diku.dk/diku/semantics/papers/D-434.pdf

 Daniel.

2009/6/7 M@rC3lo <marc...@gmail.com>