Como poderíamos fortalecer a comunidade brasileira de Haskell? Precisamos de ideias e iniciativas.
Bem, segue brain-storm com algumas idéias, aproveitando para me apresentar
(sou Carlos Camarão, membro do Haskell Committee 2011, professor do
DCC/UFMG) e dizer que estamos precisando de estudantes de mestrado e
doutorado.
Desenvolvemos 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 de proof assistant (a la Coq /
Agda).
Se alguém se interessar, me dê um toque...
Ainda, se você está ainda na graduação (a partir do terceiro ou quarto ano)
e gostaria de participar do Ciência sem Fronteiras, é uma boa hora...:
temos contacto com a Univ. de Chalmers, que está interessada em estudantes
brasileiros com interesse em programação funcional.
Abraços,
Carlos
--
[1] *A Solution to Haskell's Multi-paramemeter Type Class
Dilemmahttp://www.dcc.ufmg.br/%7Ecamarao/CT/solution-to-mptc-dilemma.pdf
*
Carlos Camarão, Rodrigo Ribeiro, Lucília
Figueiredohttp://www.dcc.ufmg.br/%7Elucilia,
Cristiano Vasconcelloshttp://www.joinville.udesc.br/portal/professores/damiani/,
SBLP'2009 http://sblp2009.ucpel.tche.br/ (13th Brazilian Symposium on
Programming Languages), Gramado, August 19-21, 2009.
[2] Terminating Constraint Set Satisfiability and Simplification Algorithms
for Context-Dependent Overloading,
Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, em revisão para
publicação no Journal of the Brazilian Computer Society.
Disponível em http://www.dcc.ufmg.br/~camarao/CT/decidable-sat.pdf.
[3] *Controlling the Scope of Instances in
Haskellhttp://www.dcc.ufmg.br/%7Ecamarao/controlling-the-scope-of-instances-in-Hask...
*, Marco Silva, Carlos Camarão,
SBLP'2011 http://www.each.usp.br/cbsoft2011/ingles/sblp/sblp_en.html(15th
Brazilian Symposium on Programming Languages), São Paulo, July 29-30,
2011.
[4] Andres Löhhttp://www.informatik.uni-trier.de/%7Eley/pers/hd/l/L=ouml=h:Andres.html,
Ralf Hinze: Open data types and open functions. PPDP
2006http://www.informatik.uni-trier.de/%7Eley/db/conf/ppdp/ppdp2006.html#LohH06:
133-144
2012/12/12 Thiago Negri
Como poderíamos fortalecer a comunidade brasileira de Haskell? Precisamos de ideias e iniciativas.
Eu possuo um blog que fala sobre Haskell, mas está parado ultimamente.
- Tradução? - Hangouts? - Podcasts?
Como foi que as outras linguagens entraram no Brasil?
_______________________________________________ haskell-br mailing list haskell-br@haskell.org http://www.haskell.org/mailman/listinfo/haskell-br