[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:

http://www.digitalmars.com/d/2.0/accu-functional.pdf

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

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.

Sandro


More information about the cap-talk mailing list