Unix system programming in OCaml (2014)
I&#x27;m contributing to a linker written in ~OCaml [1], and now I understand writing systems code in OCaml is really a bad idea. It makes things more complicated when you really don&#x27;t want them to be. As James Mickens says [2]:<p>&gt;You can’t just place a LISP book on top of an x86 chip and hope that the hardware learns about lambda calculus by osmosis.<p>[1]: <a href="https:&#x2F;&#x2F;github.com&#x2F;rems-project&#x2F;linksem" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;rems-project&#x2F;linksem</a>
[2]: <a href="http:&#x2F;&#x2F;scholar.harvard.edu&#x2F;files&#x2F;mickens&#x2F;files&#x2F;thenightwatch.pdf" rel="nofollow">http:&#x2F;&#x2F;scholar.harvard.edu&#x2F;files&#x2F;mickens&#x2F;files&#x2F;thenightwatch...</a>