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

[Stefan O'Rear]

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.