This paper is an interesting read, and explains how Koka is fast: https://www.microsoft.com/en-us/research/uploads/prod/2023/05/fbip.pdf https://www.microsoft.c

This paper is an interesting read, and explains how Koka is fast: https://www.microsoft.com/en-us/research/uploads/prod/2023/05/fbip.pdf 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.