Re:Deca - a systems language based on modern PL principles
by eli_gottlieb on Sunday January 01, 2012 @08:51PM
(#3414480)
The docs are out of date. I read the Disciple papers about a month after finishing the thesis, and immediately began working out how to add "back" (regions were always intended) regions and effects.
[ Parent
| on HN ]
Re:Deca - a systems language based on modern PL principles
by nponeccop on Monday January 02, 2012 @06:23AM
(#3415558)
Yeah, I have the same story. I have long wanted a "mutable" type system for my HNC project ( https://github.com/kayuri/HNC/wiki, http://code.google.com/p/inv/ ) - it was here on HackerNews about 1 year ago but got little to no interest. I asked on cstheory.stackexchange.com but got no useful answers. And then someone pointed my attention to DDC. I knew about it but I thought it was just an eager revamping of Haskell, just like many other eager haskells (speculative execution etc) out there.