Charm is high level programming language by Peter Nowosad.