io-sim icon indicating copy to clipboard operation
io-sim copied to clipboard

Published 20 hours ago • verified publisher icon input-output-hk

Compare `IOSim` to `IOSpec`

Open coot opened this issue 3 years ago • 1 comments

IOSpec is another free monad implementation of IO.

coot avatar Sep 15 '22 10:09 coot

  • models heap
  • supports threads
  • pluggable scheduler
  • supports extensible effects. By default it comes with:
    • thread forking,
    • IORefs,
    • MVars,
    • STM,
    • Teletype (reading and writing to/from stdout/stdin)
  • doesn't support partial order reduction

coot avatar Oct 07 '24 11:10 coot