The Space Leak Problem in Haskell

We started building the checker in Haskell. We had a prototype, which worked nicely and was very quick to get up and running. But we also found that, yeah, we had some problems with the space leaks. And I mean, in the specification language, that is sort of a functional programming kind of logic language. And it has laziness, so there are lungs in that language too. It's hard to invalidate those. Yeah. Then that becomes pretty hard to debug at some point, I can imagine. So yeah. If you pick up a Java project from like 2006, it would probably be compiled today without much work. But they have this really strict culture or mindset around