Exploration of the Ceylon programming language