A prototype of the ultimate programming language