Tags: Programming Language.
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.