Interesting. So would there really only be a fixed set of existing objects, and the interaction layer of the program would be simply a function that is applied

Interesting. So would there really only be a fixed set of existing objects, and the interaction layer of the program would be simply a function that is applied to messages passed between the objects? The message that is actually left gets sent to the object, which generally do impure things? Would there be any way to define such objects? (Any such definition would of course basically just be a message translator like the program function, but if users cannot define such an object I'd imagine some real pushback, or at least some complaints. Without a built in object to handle say MyFavoriteDatabase, doing the equivalent via a message to Network, and its reply message back to Program would feel a lot like completely useless boilerplate. (especially since i would need to transform the high level query to something low level like raw packet contents before i could send it to Network, and do the reverse on the reply, while a MyFavoriteDatabase object could do that all for me.