Closed treeowl closed 8 years ago
Currently, <*> is defined as ap. After inlining and beta reduction, this becomes
<*>
ap
ps <*> qs = PlanT $ \ret yi aw st -> runPlanT ps (\p -> (runPlanT qs (ret . p) yi aw st)) yi aw st
My guess is that the inliner would treat this simplified form better, but my intuition in these matters is only partially developed. Any thoughts?
Currently,
<*>is defined asap. After inlining and beta reduction, this becomesMy guess is that the inliner would treat this simplified form better, but my intuition in these matters is only partially developed. Any thoughts?