I mean mostly in the sense that it takes mathematically modelling programming and the machine being programmed very seriously and it allows you to build tall to

I mean mostly in the sense that it takes mathematically modelling programming and the machine being programmed very seriously and it allows you to build tall towers of abstraction on top. Compare this to C++ for example where many of the mechanisms for building abstractions are accidental or C where abstractions are not really possible.