On: Learn Programming with OCaml

[rramadass]

Do you mean in Cheney's article or Chisnall's article or in my comment?

[uecker → rramadass]

Chisnall's article. A lot of the general criticism would still apply if you replace "PDP-11" with "von Neumann architecture" which makes the whole thing a bit weird. But also many specific comments about C are bit off (the cost of copying padding, the sequencing, provenance, etc.)

[rramadass → uecker]

You might find Beyond the PDP-11: Architectural support for a memory-safe C abstract machine by David Chisnall et al. also interesting - https://dl.acm.org/doi/10.1145/2786763.2694367

[uecker → rramadass]

Yes, I have much less complaints about the content of this paper, except for the PDP-11 meme aspect.

[rramadass → uecker]

Right. Its catchy title gained it notoriety and then got amplified by human parrots.

However, it is a good article to read and understand low-level multiprocessing issues.