[Haskell-cafe] Is there some way to hack the type system without recompiling GHC?

[Dan Burton]

"force the compiler to think some values are of some types"

Sounds like a job for unsafeCoerce.


On Thu, Nov 22, 2018, 23:12 ducis <ducis_cn at 126.com wrote:

> We know that the type system is now a second language where you spec
> formal requirements and let the compiler solve it, kinda like logic
> programming.
> But sometimes I knew something is correct or at least willing to take the
> risk of runtime errors, but the typechecker is not (yet) able to figure it
> out.
> In this case is it possible to somehow insert (regular haskell) code into
> the typechecker and force the compiler to think some values are of some
> types,
> rather than waiting for or inventing some formally correct solution, which
> may be fundamentally very difficult?
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181123/e4b483b4/attachment.html>