Interesting formalism here: http://danghica.blogspot.com/2019/05/the-essence-of-impure-computation.html

"Pure languages copy, impure languages share." I always thought pure languages didn't care. Ghica's "pure" sounds more like lazy.

Think Ghica’s student Koko has come up with lazy and strict evaluations: https://koko-m.github.io/GoI-Visualiser/

the article made me think of the three-layer Haskell cake https://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html