Does Anglican kind of do this?
[0]: https://www.warpstream.com/blog/deterministic-simulation-tes...
[0]: https://www.geoffreylitt.com/2024/12/22/making-programming-m...
OCaml is immediate by default instead of lazy, and allows imperative code with side-effects. Both escape hatches from the pure FP world.
So, performance is easier to reason about and you can interact with your side-effecty real world stuff without having to reorganize your whole program around the correct monad.
Most of the time you want your loops to be higher order functions but once in awhile you want to just build a vector from a for loop. OCaml let's you do it without it being a whole intervention.
Here is a quote from it: "A Pulitzer Prize-winning journalist has distorted what was said, why it was said, when it was said, and the circumstances under which it was said—all to support his thesis that CIA has been a continuous failure from 1947 up to the present. Weiner’s use of the plural 'final gatherings' in the excerpt from his account suggests he knows what he is doing."
Deleted Comment
<[SA]HatfulOfHollow> i'm going to become rich and famous after i invent a device that allows you to stab people in the face over the internet
[0]: https://en.wikipedia.org/wiki/Smell-O-Vision