FACT is a mixed functional and imperative programing language which uses first-class environments as its primary data type. It supports many high level concepts while still remaining a very simple language.
A simple active record implementation.
The Linux Kernel.