[Haskell] Dependent types, was:2-D Plots,
graphical representation of massive data
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://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
.signature: Too many levels of symbolic links
More information about the Haskell