undefined | Better HN

0 pointsBarrin928y ago0 comments

Not OP but also OCaml user here, I consider Haskell's laziness to be the wrong default and think it makes it harder to reason about programs, and I prefer the 'mostly pure' approach of ML languages to strict purity.

For me OCaml or the ML family hit the sweet spot of language design.

I will agree that the parallelism issue can be a problem.

0 comments

3 comments · 2 top-level

m-j-fox8y ago· 1 in thread

Please tell me about the parallelism problem? I love that Haskell can auto-parallelize and is very safe. But, I'm ready to kick it to the curb over stupid lazyiness-induced memory explosions. But I'd be sad to go back to having to worry about threads and safety.

I'd love to give OCaml a go. Tell me why I'll end up disgruntled.

xfer8y ago

There is no parallelism, the runtime doesn't offer any. The best you can do is fork(). But there is an effort ongoing for a few years now, multicore-ocaml, which will be available mainstream when it's Ready(no ETA).

gbersac8y ago

Then you should try Idriss. This language is haskell with dependent typing and static by default.

j / k navigate · click thread line to collapse