Vyper is an implementation of the
Python language written in the functional language
Ocaml (3.00).
In contrast to other Python implementations (e.g., CPython and Jython), Vyper provides a number of (optional) language extensions: more powerful scoping rules and some new functional features.
Vyper is not being actively developed anymore, but it might be enhanced later (source code is available).