"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 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.