Lots of languages could just be implemented with classes in C++. Every "probabilistic language" could just be types that interact with each other properly.