16 Oct
2007
16 Oct
'07
1:20 p.m.
Iavor Diatchki wrote:
apfelmus wrote:
fundeps are too tricky to get powerful and sound at the same time.
I am not aware of any soundness problems related to functional dependencies---could you give an example?
http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies#Lo... But I should have said "sound, complete and decidable" instead :) Regards, apfelmus