4 ms·
Today's there's also F#, which is the "" to Ocaml's ";;" and to SML's ";". Concurrent ML is definitely worth looking at.
by mhd 7y ago
Today's there's also F#, which is the "" to Ocaml's ";;" and to SML's ";".
Concurrent ML is definitely worth looking at.
- andrepd 7y agoI 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.
- int_19h 7y agoDon't you also need it for top-level declarations in a file?
- wk_end 7y agoThey 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.
- tom_mellior 7y agoNo.
- bjoli 7y agoConcurrentML 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.
- throwaway17_17 7y agoCan you point me in the direction of any reading on this, I’d be interested to hear about it.
- the_why_of_y 7y agoThe canonical source is John Reppy's book: https://www.goodreads.com/book/show/302685.Concurrent_Programming_in_ML https://www.goodreads.com/book/show/302685.Concurrent_Progra... Intro article: https://medium.com/@asolove/synchronizable-abstractions-for-understandable-concurrency-64ae57cd61d1 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-versus-go https://wingolog.org/archives/2016/09/20/concurrent-ml-versu... https://wingolog.org/archives/2016/09/21/is-go-an-acceptable-cml https://wingolog.org/archives/2016/09/21/is-go-an-acceptable... https://wingolog.org/archives/2016/10/12/an-incomplete-history-of-language-facilities-for-concurrency https://wingolog.org/archives/2016/10/12/an-incomplete-histo... https://wingolog.org/archives/2017/06/29/a-new-concurrent-ml https://wingolog.org/archives/2017/06/29/a-new-concurrent-ml
- davidgl 7y agoThe Concurrent ML library for F# is https://github.com/Hopac/Hopac https://github.com/Hopac/Hopac