[Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
carter.schonwald at gmail.com
Thu Nov 29 14:26:20 UTC 2018
Which is safe as long as the GC ETC still can walk it correctly! And that
you’re not rereferencing an Int as a list of A :)
On Sat, Nov 24, 2018 at 1:24 AM Dan Burton <danburton.email at gmail.com>
> "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.
> 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