Its a bit domain specific to describe as a programming language. The blog post didn’t describe and control flow features for example. I suppose computation because it is able to incorporate diverse computational algorithms. The unit aware resolver seems like a spin in type systems.