A modern programming language