[Haskell-cafe] Are functional dependencies around to stay?
Stephen Tetley
stephen.tetley at gmail.com
Mon Dec 21 10:43:58 EST 2009
2009/12/21 Günther Schmidt <gue.schmidt at web.de>:
> What I understand of Haskell is that it's not so much "engineered" like
> other languages but more "derived" from Math, well the very foundations
> anyway. But some things I can not determine whether or not they are derived
> from math and thus will stay, or are engineered and might go away,
> functional dependencies for instance.
Hello Günther
Provided you consider relations part of mathematics ('The Haskell
Road' book certainly does as does, as does John O'Donnell et als.
'Discrete Mathematics Using a Computer'), then you might consider
fundeps as much 'derived' from maths as engineered. See the paper from
the 2008 Haskell Symposium.
http://web.cecs.pdx.edu/~mpj/pubs/fundeps-design.html
Best wishes
Stephen
More information about the Haskell-Cafe
mailing list