Status of Haskell Prime Language definition

apfelmus apfelmus at
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 mailing list