I think they're two different UXen on two different reasoning methodologies: equational versus interactive. Time spent in Haskell where both are predominant has

I think they're two different UXen on two different reasoning methodologies: equational versus interactive. Time spent in Haskell where both are predominant has taught me that when used in synchrony they both have their place, but I agree there's a weakness in using equational alone: it creates great concepts but they are so substantially weakened by "operationalization" that there's still a huge risk.