Zilch

A low-level type-safe functional programming language focused on high performance