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.

Loading...

This page contains content from the copyrighted Wikipedia article "Frege (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.