[Haskell-cafe] Are functional dependencies around to stay?
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.
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.
More information about the Haskell-Cafe