3 ms·
It seems that you have built the IO type and it's monadic properties into the language? I am talking about the concrete type of IO has and how using it, without
by xfer 8y ago
It seems that you have built the IO type and it's monadic properties into the language? I am talking about the concrete type of IO has and how using it, without the monads as abstraction would be so cumbersome that haskell "needed" monads.
You can't change the semantics but you can emulate the desired semantics, which is what i argue IO type does.
- lmm 8y ago> I am talking about the concrete type of IO has and how using it, without the monads as abstraction would be so cumbersome that haskell "needed" monads. It would be comparable to working with e.g. Lwt in OCaml, which is very much a practical way of programming.