2020-04-27 (월)

I study Haskell out of interest, and its I/O is “pure” — up to the IO () object, which is a representation of a composition of I/O effects. The representation is pure so that you can compose it with other I/O effects. The effects are obviously not pure when you give the IO () object to the runtime for execution. The whole point is to regulate impurity with pure representations.

To the same spirit, Component is only a representation, and it is already pure as it is. The whole point is to regulate impurity with pure representations. To require the content of the Component to also be pure is missing the point.