Stop Digging and Start Building: Why We Need Lego Parts, Not Deeper Type Systems

What did I just read?

> Ever wonder why we need operating systems? They’re elaborate workarounds for the functional programming concept.

> An OS converts long-running synchronous flows of function-calling-function behavior into state machines by silently saving state somewhere deep in the system (process descriptors, stack frames, registers).

Half of the article is common sense, relatable sentiment (e.g., that FP as abstraction is really mismatched with how CPUs work).

And then there are head scratchers like the quoted bit.

Isn't the suggested 'path forward' basically a description of Elixir/Erlang BEAM?

>”We don’t need smarter type systems, we need…”

Erlang, you just described Erlang.

Isn't this more about miss-applying functional programming? Not that these things aren't possible with functional programming.