How much does a codebase have to be worth to justify programming like this?
It seems like if there's one or two guys, they'll just use haskell, or o'caml or f#, and skip this complexity.
I'm guessing a company must have 40-50 engineers, with one super critical execution path that must be separated out to support this style. Maybe 10% of the team has to interact with this style code? Maybe $5 mil in engineering labor - a $50 mil/year company?