2009/12/21 Günther Schmidt <gue.schm...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
