Re: [Haskell-cafe] Haskell soltion ofr I/O: is it monads or uniqueness types, after all?

hmm, my inexperienced forwarding attempt mangled the message...

data Process = Getc (Char -Process) | Putc Char (() -Process) | forall a. NewIORef a (IORef a -Process) | forall a. ReadIORef (IORef a) (a -Process) | forall a. WriteIORef (IORef a) a (() -Process) | Exit data Process = Getc (Char -> Process) | Putc Char (() -> Process) | forall a. NewIORef a (IORef a -> Process) | forall a. ReadIORef (IORef a) (a -> Process) | forall a. WriteIORef (IORef a) a (() -> Process) | Exit

exit = Cont $ \_ -Exit exit = Cont $ \_ -> Exit

sorry.