The Scithon programming language