Strog, statically typed, pure functional programming language based on ML and Haskell