Status of Haskell Prime Language definition
apfelmus at quantentunnel.de
Tue Oct 16 09:20:58 EDT 2007
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?
But I should have said "sound, complete and decidable" instead :)
More information about the Haskell-prime