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