Many of us have misunderstood something critical about parallelism: functional programming in its purest form should be single core.
When Multics was first approached, there was one core.
When Lisp was inspired, there was one core.
When we reach multiple cores and approach IO, something in the functional philosophy breaks down. In the face of this antimony we behold concurrency. Yet concurrency is not parallelism. There’s something strange and powerful in the enigma of the concurrent protocol in distributed systems. Yet this is a Saga for another Aeon.
Today, with Nock, we can only hope to use all our cores by running several state machines. The proper philosophy of multicore processing has not yet been made manifest. UNIX is caught between the lambda calculus of LISP et al and the pi calculus which formulated in the wake of C. A. R. Hoare’s Communicating Sequential Processes. UNIX is a Bildungsroman which has not terminated, and in the confused echos of our infinity we have not yet grasped how we move a process from one core to two.
I know little. As Zarathustra has already sprake: Do not Follow Me. More Wisdom is to be found elsewhere.