# \[BLOG\] The Flambda2 Snippets, by OCamlPro

**URL:** <https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331>\
**Category:** Learning\
**Tags:** flambda, blog, compiler, flambda2\
**Created:** [March 19, 2024, 4:46pm UTC](https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331 "2024-03-19T16:46:49Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![Kakadu](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/kakadu/32/1204_2.png) [@Kakadu](https://discuss.ocaml.org/u/Kakadu)\
**Post date:** [March 28, 2024, 8:35am UTC](https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331/9 "2024-03-28T08:35:14Z")

</div>

A couple of questions:

- I’m curious about your opinion about “Compiling without continuations” [https://dl.acm.org/doi/pdf/10.1145/3062341.3062380](https://dl.acm.org/doi/pdf/10.1145/3062341.3062380) . Some body may think that continuations are unneeded complication comparately to direct approaches. What are the cases when CPS representation works better than conventional ones (=Haskell)?

- Should CPS based representation help to optimize something like [Manual CPS is faster than CPS monad. Is it expected?](https://discuss.ocaml.org/t/manual-cps-is-faster-than-cps-monad-is-it-expected/13560) ? Or do we need to add purity inference CPS IR too?

---

_[View the full topic](https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331)._