A wicked fast and fast typed programming language