High Quality Content by WIKIPEDIA articles! Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that. The programming language is named after the German mathematician, logician and philosopher Gottlob Frege. While it is not a Haskell dialect, some effort has been put into making Frege look and feel like Haskell.