Arch is a typed stack based functional programming language based on combinators - View it on GitHub