[Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
danburton.email at gmail.com
Sat Nov 24 06:23:18 UTC 2018
"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
> 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
> 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
> 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:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe