mathews1978 (1) [Avatar] Offline
In the footnote it says - "Our representation of Par doesn't give us the ability to implement this optimization, since it's an opaque function. If it were reified as a data type, we could pattern match and discover opportunities to apply this rule. ". "this optimization" here refers to using "map fusion". But to compose the functions(f and g say) we need to still find out function g. I was wondering how to go about doing that.