Statically typed programming language armed with interpreter and gc