An elegant/efficient programming language