3 ms·
OCaml allows you to use mutation pervasively without marking your type. Haskell requires you mark your type with `IO`, `ST`, `State`. You can see Haskell as adv
by tel 12y ago
OCaml allows you to use mutation pervasively without marking your type. Haskell requires you mark your type with `IO`, `ST`, `State`. You can see Haskell as advantageous because it means that if you have a type without one of those markers you can be certain there is no observable mutation occurring. You can also see Haskell as disadvantageous because those markers are a little annoying.
The ST monad lets you transition from regions which allow mutation to pure regions and then back again.
- dllthomas 12y agoBasically, all OCaml code runs in IO. You can still only modify things that you've marked as modifiable (analogous to an IORef), but there is no constraint on where you can modify them from. (In case it's unclear, I'm agreeing with tel and rephrasing.)
- orbifold 12y agoOne advantage that gives you, is that you can easily define a monad on top of that and not worry about monad transformers. Jane Streets async library does that in its Deferred module https://ocaml.janestreet.com/ocaml-core/111.17.00/doc/async/#Std.Deferred https://ocaml.janestreet.com/ocaml-core/111.17.00/doc/async/...
- tel 12y agoBut I like transformers... a lot!
- deleted 12y ago[deleted]