wren ng thornton wrote: > And, as Jason said, if you're just interested in having the same > programming style at both term and type levels, then you should look > into dependently typed languages. Out of curiosity, what the hell does "dependently typed" mean anyway?