From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
Official website
Garbage collected: Yes
Type safety: Safe
Type strength: Strong
Type compatibility: Structural
Type checking: Static
See Also:

Listed below are all of the tasks on Rosetta Code which have been solved using Frege.

Try this language on

Frege is a purely functional programming language with non-strict semantics, strongly influenced by Haskell, but targeting the JVM, and deviates from Haskell in ways which make it easier to interoperate with Java.

Frege source files use the extension .fr. Frege is similar enough to Haskell that haskell-mode can be used for editing Frege source files, for example by putting this line in your .emacs:

(add-to-list 'auto-mode-alist '("\\.fr$" . haskell-mode))