←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 1 comments | 05 Sep 25 05:56 UTC | HN request time: 0.255s | source
Show context
toolslive ◴[05 Sep 25 19:30 UTC] No.45142651[source]▶
>functional programming languages ... break down when you try to coordinate between components, especially when those components are distributed ...

I think the exact opposite. Having spent more than a decade in distributed systems, I became convinced functional programming (and pure functions) are essential for survival in distributed systems.

Back then I wrote down my insights here (amazed that the site still exists)

https://incubaid.wordpress.com/2012/03/28/the-game-of-distri...

replies(3): >>45142659 #>>45142848 #>>45142939 #
1. ndriscoll ◴[05 Sep 25 19:57 UTC] No.45142939[source]▶
And part of why functional programming works so well is exactly that you don't need to care about things like control flow and interactions. You're just expanding definitions. Those definitions are local/isolated, and compose in regular ways.