Koka
59 views
Skip to first unread message
Patrick Logan
Aug 28, 2012, 7:56:39 PM8/28/12
to ll-...@googlegroups.com
This one is legitimately for ll-next... I don't think I have seen any
mention of Koka here or elsewhere until today...
http://research.microsoft.com/en-us/projects/koka/
This is an interesting little language.
-Patrick
mention of Koka here or elsewhere until today...
http://research.microsoft.com/en-us/projects/koka/
This is an interesting little language.
-Patrick
David Nolen
Aug 29, 2012, 2:04:39 PM8/29/12
to ll-...@googlegroups.com
David
Daniel Yokomizo
Aug 29, 2012, 2:39:58 PM8/29/12
to ll-...@googlegroups.com
Its author, Daan Leijen, worked previously on Morrow (LtU dscussions
http://lambda-the-ultimate.org/node/174 and
http://lambda-the-ultimate.org/node/1119) that used row polymorphism
for records with first-class labels (i.e. typed duck typing). It was
very promising and a shame it didn't go too far. The mechanism behind
effect unification in koka is an extension of that research.
http://lambda-the-ultimate.org/node/174 and
http://lambda-the-ultimate.org/node/1119) that used row polymorphism
for records with first-class labels (i.e. typed duck typing). It was
very promising and a shame it didn't go too far. The mechanism behind
effect unification in koka is an extension of that research.
Reply all
Reply to author
Forward
0 new messages