Hacker News Reader

Comment by mhd | Hacker News Reader

Today's there's also F#, which is the "" to Ocaml's ";;" and to SML's ";".

Concurrent ML is definitely worth looking at.

ConcurrentML has a outgrown its name. It is available in many different languages. I recall hearing Mike Sperber saying that his company usually just re-implemened it in whatever language they happened to work in that week.

It is a really nice system that is similar to go, but the primitives it gives you are in a way a generalisation of go's concurrency primitives.

Can you point me in the direction of any reading on this, I’d be interested to hear about it.

The canonical source is John Reppy's book:

https://www.goodreads.com/book/show/302685.Concurrent_Progra...

Intro article:

https://medium.com/@asolove/synchronizable-abstractions-for-...

There's an interesting series of blogs by Andy Wingo on comparing CML with Go and implementing it in Guile Scheme:

https://wingolog.org/archives/2016/09/20/concurrent-ml-versu... https://wingolog.org/archives/2016/09/21/is-go-an-acceptable... https://wingolog.org/archives/2016/10/12/an-incomplete-histo... https://wingolog.org/archives/2017/06/29/a-new-concurrent-ml

I don't get the issue with ;; in ocaml, literally all it does is force evaluation in the repl. You will never write it in code.

Don't you also need it for top-level declarations in a file?

They can (almost?) always just be inferred, I think (it's been a couple of years since I programmed in ocaml daily).

I personally like using them anyway. If you've done something wrong I recall the parser can sometimes give better error messages if it has them around to orient itself. And for all the complaints people seem to have you really can grow to like them aesthetically - there's something pleasantly blocky and definitive about them I find, like the satisfying thock of a good keyboard.

No.

The Concurrent ML library for F# is https://github.com/Hopac/Hopac

Reply on news.ycombinator.com