[Haskell] Dependent types, was:2-D Plots, graphical representation of massive data

Tomasz Zielonka t.zielonka at students.mimuw.edu.pl
Sat Aug 28 05:39:18 EDT 2004

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) insufficient to address
> these issues? 

I think you are confusing Dependent Types with Functional Dependencies.
They are two completely different things. The former means a type system
in which types can depend on values, the latter (in context of type
systems) is an extension of type classes which allows to eliminate
unnecessary ambiguities.

Best regards,

.signature: Too many levels of symbolic links

More information about the Haskell mailing list