Re:Types are the basic tool of software design
by vladimir-vg on Friday January 03, 2025 @06:24PM
(#42590595)
Author is dead wrong, just enamored with functions.
Functions can be seen as basic tools of software design only if you completely leave out IO and asynchronous nature of the communication.
That’s why Haskell is so beautiful and understandable when you work with pure data, and suddenly becomes so cumbersome and cryptic when you need to work with IO and async communication. Because functions ARE NOT basic tools of software design.
Actors that asynchronously pass each other messages are.
Functions can be seen as basic tools of software design only if you completely leave out IO and asynchronous nature of the communication.
That’s why Haskell is so beautiful and understandable when you work with pure data, and suddenly becomes so cumbersome and cryptic when you need to work with IO and async communication. Because functions ARE NOT basic tools of software design.
Actors that asynchronously pass each other messages are.