volvemos um front-end para Haskell com suporte a classes de tipos com vários parâmetros (ao longo de vários anos de estudos e trabalhos). Algumas idéias resultantes desses trabalhos podem ser encontradas em [1], [2], [3]. Há outras ainda a ser publicadas (veja entrada no Haskell Communities and Activities Report de 2012: http://www.haskell.org/communities/05-2012/html/report.html). Qualquer dúvida sobre qualquer coisa relacionada a nossos trabalhos me prontifico a tentar ajudar a esclarecer... O front-end está disponível em http://github.com/rodrigogribeiro/mptc.

Estamos querendo:

1) Fazer esse front-end virar um compilador: traduzindo a saída do front-end para entrada de algum back-end;
2) Desenvolver back-end para esse front-end (e explorar idéias que temos de tornar o suporte a sobrecarga mais eficiente);
3) Explorar e implementar algumas idéias para esse compilador, como suporte a open data types [4];
4) Estender na direção de implementação d