[Haskell-cafe] Hello and type-level SKI

Brandon Allbery allbery.b at gmail.com
Tue Sep 16 18:16:08 UTC 2014


On Tue, Sep 16, 2014 at 2:13 PM, Brandon Allbery <allbery.b at gmail.com>
wrote:

> 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?
>

...and I think the already mentioned ticket just confirmed that it's at
least potentially possible via hs-boot files, although I was thinking of a
slightly more "direct" mechanism.

-- 
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/820bd3dc/attachment.html>


More information about the Haskell-Cafe mailing list