Pixel <pixel@mandrakesoft.com> writes: > extended type systems > - dependent types (cf recent thread on comp.lang.functional) I forgot Pliant (http://pliant.cx) which may also qualify since it uses staged compilation/evaluation and types are first-class citizens.