Wouldn't it be much easier to scale this for functional languages where there is a theory of program transformations [1] and code is more composable? [1] https

Wouldn't it be much easier to scale this for functional languages where there is a theory of program transformations [1] and code is more composable? [1] https://www.amazon.com/dp/013507245X https://www.amazon.com/dp/013507245X