21 Dec
2009
21 Dec
'09
3:43 p.m.
2009/12/21 Günther Schmidt
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