Coisas evoluindo...
2 views
Skip to first unread message
Ronaldo Ferraz
Aug 10, 2009, 3:11:51 PM8/10/09
to programm...@googlegroups.com
Rodrigo Kumpera
Aug 10, 2009, 3:47:23 PM8/10/09
to programm...@googlegroups.com
A tese do Ben Lippmeier nesse ponto é também muito interessante já que ele proprõe
uma linguagem com destructive assignment porém pura.
uma linguagem com destructive assignment porém pura.
On Mon, Aug 10, 2009 at 4:11 PM, Ronaldo Ferraz <ronald...@gmail.com> wrote:
http://lambda-the-ultimate.org/node/3554
R.
Ronaldo Ferraz
Aug 10, 2009, 4:16:54 PM8/10/09
to programm...@googlegroups.com
Massa! Tem URL?
Abraços,
R.
Abraços,
R.
Rodrigo Kumpera
Aug 10, 2009, 4:52:16 PM8/10/09
to programm...@googlegroups.com
http://cs.anu.edu.au/~Ben.Lippmeier/project/thesis/thesis-lippmeier-sub.pdf
O estilo é bem informal apesar da enorme carga teórica no assunto.
Aproveitando. Acho que o resultado do compilador se verificado é bem legal, porém
ainda está um pouco longe de ser o tipo de coisa que consigamos usar na prática
pois codificar num sistema de tipos regras mais complexas ainda é bem chato ou,
as vezes, impossível.
O estilo é bem informal apesar da enorme carga teórica no assunto.
Aproveitando. Acho que o resultado do compilador se verificado é bem legal, porém
ainda está um pouco longe de ser o tipo de coisa que consigamos usar na prática
pois codificar num sistema de tipos regras mais complexas ainda é bem chato ou,
as vezes, impossível.
Ronaldo Ferraz
Aug 10, 2009, 5:43:10 PM8/10/09
to programm...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages