WikiSort.ru - Программирование

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

ПОИСК ПО САЙТУ | о проекте

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].

Сравнение с Haskell

Примеры

Примечания

↑ Release 3.24 — 2018.
1 2 3 Paul Krill. Frege joins Scala, Clojure among Java functional languages (неопр.). InfoWorld (Oct 2, 2014). Проверено 21 января 2016.
↑ Frege Programming Language: What is frege (or what will it be)? (неопр.). fregepl.blogspot.ru (September 28, 2007). Проверено 23 января 2016.
↑ На JavaOne сравнили популярность языков, работающих поверх виртуальной машины Java // Открытые системы. — 2015. — № 11.

Литература

Sergio De Simone. Frege: a Haskell-like Language for the JVM (неопр.). InfoQ (Aug 12, 2015). Проверено 21 января 2016.
Paul Krill. Frege joins Scala, Clojure among Java functional languages (неопр.). InfoWorld (Oct 2, 2014). Проверено 21 января 2016.
Dierk König and Ingo Wechsung. Frege Goodness.

Ссылки

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

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

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .

Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии

[_2bbcf913a8e1f0a1-1] Release 3.24 — 2018.

[Q-2] 1 2 3 Paul Krill. Frege joins Scala, Clojure among Java functional languages (неопр.). InfoWorld (Oct 2, 2014). Проверено 21 января 2016.

[3] Frege Programming Language: What is frege (or what will it be)? (неопр.). fregepl.blogspot.ru (September 28, 2007). Проверено 23 января 2016.

[4] На JavaOne сравнили популярность языков, работающих поверх виртуальной машины Java // Открытые системы. — 2015. — № 11.