This paper is an interesting read, and explains how Koka is fast:
https://www.microsoft.com/en-us/research/uploads/prod/2023/0.... In short: they use a clever algorithm to transform functional code into imperative code that reuses memory where it can.
