Cf. https://www.python.org/ftp/python/contrib/
Viperi is an interpreter for the Viper language, which is
basically the same as Python. Many 'pure python' programs
should run with Viperi. Viperi is a testbed for the run time
system, which will be needed by Viperc, the Viper compiler.
Viper is principally written in Ocaml, with some C interfacing.
Ocaml is a procedural language in the ML family, providing
support for functional, object oriented, and procedural programming.
Memory is managed by an incremental, generational garbage collector.
Separate compilation is supported. High performance, rivalling C,
is reported for ocaml programs: the ocaml optimising compiler
generates assembly code.
Cf. https://www.python.org/ftp/python/contrib/
Viperi is an interpreter for the Viper language, which is
basically the same as Python. Many 'pure python' programs
should run with Viperi. Viperi is a testbed for the run time
system, which will be needed by Viperc, the Viper compiler.
Viper is principally written in Ocaml, with some C interfacing.
Ocaml is a procedural language in the ML family, providing
support for functional, object oriented, and procedural programming.
Memory is managed by an incremental, generational garbage collector.
Separate compilation is supported. High performance, rivalling C,
is reported for ocaml programs: the ocaml optimising compiler
generates assembly code.