I think you are confusing Dependent Types with Functional Dependencies.
Actually the two are not that dissimilar... If we allow types to depend
on types (which is what Functional Dependencies allow) IE:
class a b | a - b
instance Int Float
instance Float Int
For example
On Fri, Aug 27, 2004 at 10:26:51AM -0400, Michael Manti wrote:
I recognize that I'm far out of my depth here--both in Haskell and in
mathematics--but I'll ask anyway. In what ways are dependent types
(http://haskell.org/hawiki/FunDeps,
http://www.cse.ogi.edu/~mpj/pubs/fundeps.html)
I think Jacques possibly means the ability to do static checking of matrix
and vector extents, to make sure that you don't try to perform operations
like matrix-vector multiply on operands whose extents do not match. If you
want to have this ability on your language, then you will have to
I recognize that I'm far out of my depth here--both in Haskell and in mathematics--but
I'll ask anyway. In what ways are dependent types (http://haskell.org/hawiki/FunDeps,
http://www.cse.ogi.edu/~mpj/pubs/fundeps.html) insufficient to address these issues?
On Friday, August 27, 2004, at