[Well-Typed Blog] Verifying and testing timeliness constraints with io-sim

22 Likes

Just got around to reading this. This is wonderful.

There are companies (e.g. Antithesis) that seem to provide what io-sim does as-a-service. Being able to do this simply by hooking up a Haskell package is awesome, and is yet another win for pure programs!

5 Likes