Strongly typed general purpose object-oriented programming language