[ghc-steering-committee] #380 GHC2021: What's wrong with Functional dependencies

[Spiwack, Arnaud]

On Fri, Dec 4, 2020 at 3:07 PM Simon Peyton Jones <simonpj at microsoft.com>
wrote:

> But fundeps – because they don’t carry evidence, as they stand – feel less
> solidly rooted.
>

Can you elaborate? I don't understand where you are coming from yet.

(for the record: I'm not applying just “guarded by their own syntax” as a
criterion, for me, this criterion is a sufficient condition for “no
surprising new errors”. I also believe (believed?) that functional
dependencies were quite standard and expected them to be here forever. I
took TypeFamilyDependency to be a mild extension. I'm perfectly willing to
be convinced otherwise.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/ec3a4cc2/attachment.html>