The Coq mailing list

[AUGER Cedric <Cedric.Auger AT lri.fr>]

Hi all.

I wanted to learn what is a monad, so I read some tutorial on it and
wrote this implementation in Coq
(http://coq.inria.fr/cocorico/AUGER_Monad).

I know that a lot of Coq users are also OCaml users, and I think that
there are less Haskell users (I am not Haskell user), but aren't monads
enough important to figure in the standard library, with Program and
Function?

I also tried to implement some IO monad which manages only standard
channels (stdin, stdout, stderr); but it is quite naive and of course
getchar doesn't really expect the user to input some character, and
putchar doesn't print anything on a terminal.