[Haskell-cafe] Are functional dependencies around to stay?

[Stephen Tetley]

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