26 Jun
2010
26 Jun
'10
3:07 a.m.
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?