Experimental, innovative, object-oriented, interpreted language, and programming environment LavaPE; edits programs via syntax-sensitive point-and-click style structure editors, not text editors; parameterized (virtual) types, refactoring, static checks.