I really agree with you. Think that there's a tension between how a computer works and how a functions operate on data. Immutability and Referential Transparen

I really agree with you. Think that there's a tension between how a computer works and how a functions operate on data. Immutability and Referential Transparency help reduce that friction, but in the end we still have not found a real solution. That's why languages like Haskell require a bunch of gymnastics just to allow IO to be seen as pure functions.