[cap-talk] Functional Programming in D 2.0

Sandro Magi naasking at higherlogics.com
Tue Jul 22 22:26:17 CDT 2008

Slides from a recent presentation on the new functional core of 2.0:


They basically add "invariant" and "const" qualifiers to types, and a 
"pure" qualifier for functions, which ensures functional purity of those 

The type system has the flavour of many of the requirements object 
capabilities impose on a language: invariant and const qualifiers apply 
transitively to all nested types, and they establish various safe 
implicit conversions.

Not fully object-capability, but getting closer.


More information about the cap-talk mailing list