[Haskell-cafe] Hello and type-level SKI
Brandon Allbery
allbery.b at gmail.com
Tue Sep 16 18:13:21 UTC 2014
On Tue, Sep 16, 2014 at 1:26 PM, Andras Slemmer <0slemi0 at gmail.com> wrote:
> Safe but never to be used extensions(except if you know -exactly- what
> you're doing): OverlappingInstances, IncoherentInstances
Are we sure that different parts of a program inferring different instances
can't create at least a limited form of unsafeCoerce?
--
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140916/a8674206/attachment.html>
More information about the Haskell-Cafe
mailing list