Frege

Frege
Класс языка	функциональный, с ленивыми вычислениями
Появился в	2011; 15 лет назад (2011)
Автор	Ingo Wechsung
Расширение файлов	.fr
Выпуск	3.23.288 (19 августа 2015)[1]
Система типов	статическая, сильная, с выводом типов
Испытал влияние	Java и Haskell
Лицензия	BSD license
Сайт	github.com/Frege/frege
ОС	Cross-platform

Frege — функциональный язык программирования, близкий к Haskell, реализованный поверх JVM и позволяющий использовать любые Java-библиотеки.

Рассказывая об истории языка Frege, Ingo Wechsung вспоминает, как он в 2003-2004 познакомился с концепцией вывода типов в языке ML, а затем прочитал статью Саймона Пейтон-Джонса, в которой был пример реализации проверки типов на Haskell. Будучи в то время Perl-программистом, Инго сначала начал экспериментировать с реализацией этого алгоритма на Perl. Полученная реализация типизированного лямбда-исчисления (Frege 1) оказалась слишком медленной для применения на практике^[2].

В 2006-2007 Инго начал работу над транслятором Frege 2, переписанном ради быстродействия на Java. Начинался Frege как экспериментально-учебный проект, цель которого была — изучение концепций современного функционального программирования. В 2007 году Инго начал вести блог fregepl.blogspot.com^[3], где описывал свои эксперименты^[2].

Певоночально получившийся язык не отличался чистотой концепции и не относился ни к языкам со строгими вычислениями, ни к языкам с ленивыми вычислениями. Затем автор поставил себе цель реализовать подмножество хаскеля, которая была более-менее достигнута к маю 2011 года, когда Frege был опубликован на google code^[2].

В 2015 году, среди участников конференции JavaOne, был проведён опрос о том, какой альтернативный Java язык, работающий поверх JVM, они предпочитают. Первое место занял Frege^[4].

module Hello where
greeting friend = "Hello, " ++ friend ++ "!"
main args = do
    println (greeting "World")

• Sergio De Simone. Frege: a Haskell-like Language for the JVM . InfoQ (12 августа 2015). Дата обращения: 21 января 2016.
• Paul Krill. Frege joins Scala, Clojure among Java functional languages . InfoWorld (2 октября 2014). Дата обращения: 21 января 2016.
• Dierk König and Ingo Wechsung. Frege Goodness.

• Проект Frege на сайте GitHub
• fregepl.blogspot.com (англ.) — официальный блог

Это заготовка статьи о программном обеспечении. Помогите Википедии, дополнив её.