This article is from the Object-Oriented Technology FAQ, by Bob Hathaway email@example.com with numerous contributions by others.
Machiavelli is a statically-typed programming language developed
at the University of Pennsylvania. Its most outstanding innovation
is the use of conditional typing scheme in its type inference system.
It does not address type evolution.
[communication with firstname.lastname@example.org]
[Note: Machiavelli is included in this summary because it
previously incorporated persistence in its data model.]