It is obvious how important this project is for almost any single application these days - you hardly can find 1-core computer, stationary or mobile, x86 or ARM, etc. And at the same time OCaml lacks proper parallelism for years, unlike many other similar languages. Wouldn’t be beneficial for Facebo…

I’d like to take the opportunity to clarify a few details here. Jane Street has been instrumental in this area by funding fundamental research in Multicore OCaml and the OCaml compiler via a research grant for the last 5+ years through the OCaml Labs initiative at the University of Cambridge. Beyon…

Corrected the post. Regarding the Working with a huge data chunks - it is postponed for a while, I focused my efforts on porting my codebase and dependencies to 4.08, to improve exceptions experience. OK, will try to keep myself away from “pings”.

[image] Chet_Murthy: I remember decades ago, the X-windows client lib had a “shm” extension (to speed up comms between client and server when on the same machine). It was implemented by… At my current day job, the favorite tool for this is Ach . It’s sufficiently cool that I’ve half a mind to …

you have to look at what Facebook uses OCaml for first. Here are some publicly know projects that Facebook uses OCaml for: Hack is written in OCaml. Their entire backend is built upon this so I don’t think multicore have much values to them in this front. There is rehp which is essentially a OCa…

Code analysis (Pfff and Infer) tools exactly need multicore, to work properly on large codebases.

[image] thangngoc89: Pfff is a code analysis project Is this project still alive? [image] thangngoc89: Hack is written in OCaml. Their entire backend is built upon this so I don’t think multicore have much values to them in this front. Hack is using workarounds because ocaml doesn’t h…

[image] XVilka: Working with BAP (Binary Analysis Platform), I often meet the problem, when I have 32+ core machine, but the program analysis of 100Mb file uses just a single core. It is very depressing. To be honest, BAP woks like this not because OCaml lacks multicore. Imagine, if we had mu…

[image] Chet_Murthy: I read a little about BAP. It seems like there might be a natural partitioning of work into that which is done per-function, and that which uses interprocedural information? And the former ought to be partitionable? Have you thought about maybe importing map/reduce as a stru…

To answer the specific question “Why doesn’t Facebook sponsor the Multicore project?”: to an outsider like me, it appears that money-related decision-making within Facebook is complex and unpredictable. Many great people within Facebook are using OCaml and/or Reason, and they would of course like to…

[avsm@ is right, very, very right, that we should try to stay on-topic. mea culpa, mea maxima culpa. So heeere goes] I’ve spent some time in large companies that have external developer-focused marketing presence. Some data-points: [second-hand] (1) it is well-known that even though MSFT develo…

I’d still like to see an OCaml with rust-like lifetime management, could get rid of the GC and handle multicore quite safely in the great majority of circumstances… Although I still want to see Algebraic Effects come in to OCaml… ^.^;

Why Facebook does not sponsor Multicore project?

Ecosystem

OvermindDL1 July 16, 2019, 11:12pm 34

Their type systems have overlap, but it’s not complete and OCaml can still safely type things that Rust cannot do as easily or at all.

I’ve been watching that for a few years but it seems dead as far as I’ve seen…

Ooo a new thing to read. ^.^

Topic		Replies	Views
About Multicore Ecosystem multicore , compiler , faq	59	13769	April 10, 2018
Multicore OCaml: March 2020 update Community multicore , multicore-monthly	22	14966	April 24, 2020
Ocaml-multicore: report on a June 2018 development meeting in Paris Ecosystem multicore , compiler	10	10035	August 27, 2019
Will OCaml 5+ multicore be fragile? Learning	22	4765	September 2, 2022
Multicore OCaml: Dec 2020 / Jan 2021 Community multicore , multicore-monthly	6	3655	February 8, 2021

Why Facebook does not sponsor Multicore project?

Related topics