[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Generalizing Types as Provable Invariants



Pixel wrote:

> > > - dependent types (cf recent thread on comp.lang.functional)
> 
> i meant to add that C++ has a form of dependent types

Care to elaborate?

Shriram