Quartz is an interpreted, statically typed programming language with Haskell backend - View it on GitHub