Great video! Thanks for the link.

It is important to clearly understand that Simon uses the word "useless" in the sense of having no side-effects on the external world i.e. if state changes are not reflected in the external world at some point then there is no practical purpose to it and hence "useless".

Functional languages solved this by using the type system at different levels to combine both effectful and effect-free computations cleanly.