Это были бы Инструменты> Параметры
Текстовый редактор> Все языки> Номера строк (внизу справа)
Хотел бы добавить в микс OCaml . Мне он понравился, потому что он сильно ориентирован на производительность. Если я правильно понимаю, F # унаследован от OCaml.
Но он не только функциональный, но и хорошо подходит для императивного программирования.
Erlang, OCaml, Haskell, Scheme и предметно-ориентированные языки программирования, такие как R (статистика), Mathematica (символьная математика), J и K (финансовый анализ) и XSLT (XML)
Меня забавляет, что древние работы, такие как ML (Caml), Haskell и Erlang, выдают за «новые». Scala действительно нова, а F # - это попытка адаптировать старый язык ML к платформе .NET, и это обязательно будет интересно.
Если вам нужно что-то действительно новое, Agda - это «новый Haskell». Agda включает в себя многие уроки, извлеченные из языков 20-летней давности, таких как Haskell, и языков 30-летней давности, таких как ML, и расширяет границы с помощью самых последних разработок в области систем типов. Гарантированно взорвет вашу голову или удвоит ваши деньги обратно!
Haskell существует уже некоторое время, и многие базовые вещи (достаточные для написания надежных производственных приложений) уже выполнены, но во многих отношениях он все еще академичен. язык. Это действительно прекрасно: как коммерческий программист я могу хорошо выполнять свою работу, но при этом у меня есть возможность погрузиться в некоторые из наиболее интересных концепций и техник, которые недоступны в других языках, без переключения на диалекты. где я не могу развернуть свой повседневный код.
При программировании на Haskell увлекательно видеть будущее так близко, что вы можете его коснуться.
Вот краткий список тех, что я уже тестировал (кроме F #, о котором вы уже упоминали):
Ну, если вы хотите действительно новый, попробуйте Babel-17. Только подвох: его реализация пока не реализована :-). Но есть спецификация. Посмотрите http://www.babel-17.com .
Функциональное программирование в настоящее время приняло массовый характер, поэтому то, что раньше было направлено только на академические круги, теперь разделилось на академические и промышленные реализации.
F# является ярким примером промышленного функционального языка в разработке (здесь - пример игры Джона Конвея "Game of Life" с графическим интерфейсом, написанной на 32 строках F#, здесь - моя книга по F#). Другие включают Clojure Рича Хики и HLVM, написанный мной.
Недавними известными функциональными языками в академической среде являются ATSLang и Scala.
Nemerle - это функциональный, статически типизированный язык с обширной поддержкой метапрограммирования для .NET. Как и F #, он был вдохновлен ML, но его синтаксис во многом повторяет C #, что делает его более читаемым. Вывод типов в Nemerle даже более мощный, чем в ML, что позволяет ему выводить типы на основе использования в присутствии перегрузки.
Новый функциональный язык с основным упором на метапрограммирование:
http://www.meta-alternative.net/mbase.html
Некоторые примеры: http: //www.meta-alternative .net / pfront.pdf