@psnively And I think FP and other declarative approaches give us better tools for building new abstract machines than imperative does.