Deca - a systems language based on modern PL principles
code.google.com
Deca - a systems language based on modern PL principles
1–10 of 59 posts
Re: Deca - a systems language based on modern PL principles
#2how do you combine first class functions (and so closures) with no garbage collection? don't you end up with possibly multiple references to memory and no way of knowing who owns it?
Re: Deca - a systems language based on modern PL principles
#3Looks awesome, especially the type system.
Check out http://code.google.com/p/decac/source/browse/examples/list.d...
I'd love to see some discussions on possible/practical shortcomings.
Re: Deca - a systems language based on modern PL principles
#4how do you combine first class functions (and so closures) with no garbage collection? don't you end up with possibly multiple references to memory and no way of knowing who owns it?
If you read the dissertation, it turns out that variables are captured by value. But even if they are captured by reference - solutions are possible such as the one in C++11. The decac doesn't provide more memory safety than C, so there are no problems :) Yet another solution is to inline all higher-order functions so no closures exist at runtime.
Re: Deca - a systems language based on modern PL principles
#5Looks awesome, especially the type system. Check out http://code.google.com/p/decac/source/browse/examples/list.d... I'd love to see some discussions on possible/practical shortcomings.
The type system looks novel, but it doesn't provide controlled effects or safety as the system for Disciple language described in the "Type inference and optimization in impure world" paper. So it doesn't qualify as 'awesome' IMO
Re: Deca - a systems language based on modern PL principles
#6Looks interesting. When I read "modern PL principles" I was afraid to read about auto-generated getters and setters or something. :P
Re: Deca - a systems language based on modern PL principles
#7Isn’t the name of the language Decac?
Re: Deca - a systems language based on modern PL principles
#8Isn’t the name of the language Decac?
The dissertation says it's Deca. DecaC stands for Deca Compiler.
Re: Deca - a systems language based on modern PL principles
#9Finally a successor to the now frozen bitc
Re: Deca - a systems language based on modern PL principles
#10Looks interesting. When I read "modern PL principles" I was afraid to read about auto-generated getters and setters or something. :P
Looks like you have never took academia papers seriously :)