A programming language which focuses on extensability, while still being strict and easy to use.