How we made Haskell search strings as fast as Rust
This does seem to actively circumvent a number of the things that are always held up as why Haskell is a great language: it uses strict types in a number of places, has explicit inline and no-inline annotations everywhere.It also seemed to require a lot of work to construct the code to make tail call optimization happen, but that’s par for the course in Haskell.