20 Oct
2010
20 Oct
'10
7:11 p.m.
On 10/20/10 7:07 PM, wren ng thornton wrote:
On 10/20/10 7:09 AM, Simon Peyton-Jones wrote:
Yes, you can freely use Foo/unFoo. There's no runtime penalty. (In the jargon of GHC's intermediate language, Foo and unFoo translate to *type-safe casts*, which generate no executable code.
When does the conversion to type-safe casts occur relative to other optimizations (namely, rewrite rules)?
That is, I know that rewrite rules operate on the source language not on Core, but to what extent does that mean that type-safe casts inhibit the firing of rules? -- Live well, ~wren