A multi-paradigm programming language