26 Jun
2010
26 Jun
'10
3:22 a.m.
On 26 June 2010 08:07, Andrew Coppin
Out of curiosity, what the hell does "dependently typed" mean anyway?
How about: "The result type of a function may depend on the argument value" (rather than just the argument type) The quoted bit rather than the parens bit is from Lennart Augustsson's "Cayenne - a language with dependent types" The papers on Cayenne might be an interesting start point as the field was less mature at that time, so the early papers had more explaining to do. Best wishes Stephen