Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате
Форум программистов > Функциональные языки: общие вопросы > F#


Автор: Unker 29.3.2010, 02:28
Как вы оцените F# по сравнению с другими функциональными языками?
Увеличит популярность функциональных языков программирования включения F# в Visual Studio 2010?

Автор: mrbrooks 29.3.2010, 08:21
Цитата(Unker @  29.3.2010,  02:28 Найти цитируемый пост)
Как вы оцените F# по сравнению с другими функциональными языками?

на уровне.


Цитата(Unker @  29.3.2010,  02:28 Найти цитируемый пост)
Увеличит популярность функциональных языков программирования включения F# в Visual Studio 2010? 

однозначно да.

Автор: Unker 31.3.2010, 04:01
может ктото здесь знает или применяет его? Интересно, где применяется

Автор: qweqwe 5.4.2010, 16:21
Цитата(Unker @  29.3.2010,  02:28 Найти цитируемый пост)
Как вы оцените F# по сравнению с другими функциональными языками?

F# - замечательный язык программирования, с одной стороны он позволяет использовать все возможности платформы .NET, с другой - позволяет писать более простой и безопасный код, чем это позволяет делать C#
если сравнивать с другими языками, то получится примерно следующая картина - 
по сравнению с OCaml - F# - более продвинутый, поддерживает такие вещи, как computation expressions, или quotations; с другой стороны, он позволяет использовать всю мощь платформы .NET.
по сравнению с Haskell, как язык, F# - проще, к примеру, Haskell - не поддерживает ООП, в традиционном смысле, там вместо этого Type classes, F# позволяет создавать вполне обычные классы и объекты. С другой стороны, haskell очень сильно повлиял на F#, в котором теперь есть монады, в несколько измененном виде, и "легкий" синтаксис.
По сравнению с C#, F# - проще. Во превых, он более строгий, и не позволяет делать многие вещи, которые позволяет C#. Система типов F# - очень серьезный инструмент, для отлова самых разных багов. Во вторых, многие вещи на нем получаются намного естественней, например манипуляции с данными, конечно после того, как разработчик освоит свертки, частичное применение функций, ФВП и прочие техники функционального программирования, что сложно только для тех, кто очень много лет писал на императивных языках программирования. 
В общем, по моему мнению, это вполне себе инструмент для промышленной разработки ПО.

Цитата(Unker @  29.3.2010,  02:28 Найти цитируемый пост)
Увеличит популярность функциональных языков программирования включения F# в Visual Studio 2010?

Популярность будет расти по объективным причинам, таким, как широкое распространение многоядерных процессоров и увеличение сложности ПО.

Цитата(Unker @  31.3.2010,  04:01 Найти цитируемый пост)
Интересно, где применяется

на нем написана часть поисковика bing, отвечающая за показ контекстной реклмы, это очень ответственная часть системы, так как от нее зависит коммерческий успех предприятия
еще на нем написана система WebSharper, в некотором смысле - аналог WebKit.
думаю этот язык найдет(наверняка уже нашел) применение в финансовой сфере

Автор: A5uKa 13.4.2010, 18:38
Честно говоря Haskell понравился больше.

молчу про немерла )

Автор: kosmonaFFFt 14.4.2010, 20:12
С учетом того, что реализация всяких фишек типо автодополнения и контекстных подсказок для F# в студии
на высоком уровне (хотя можно и лучше), то ИМХО, это - почти что единственный функциональный язык, на котором становится
реально писать что-либо сложнее хеллоуворлда... Больше ни для каких функциональных языков я нормальной
IDE не видел (за исключением связки Emacs + Slime для Lisp), ну и для Nemerle вроде интеграция со студией нормальная...

Автор: A5uKa 14.4.2010, 20:15
Цитата(kosmonaFFFt @ 14.4.2010,  20:12)
для Nemerle вроде интеграция со студией нормальная...

Вполне !
И до 2010 доберёмся.

Автор: qweqwe 14.4.2010, 21:30
Цитата(A5uKa @  13.4.2010,  18:38 Найти цитируемый пост)
Честно говоря Haskell понравился больше

чем же?
лично мне он понравился меньше, хотя-бы тем, что не умеет проверять разрешимость взаимной рекурсии и выдавать предупреждения, при неполном сопоставлении с образцом

Цитата(A5uKa @  13.4.2010,  18:38 Найти цитируемый пост)
молчу про немерла

ты просто не знаешь F#, поэтому Nemerle кажется таким sex appeal smile

Добавлено через 2 минуты и 57 секунд
Цитата(qweqwe @  5.4.2010,  16:21 Найти цитируемый пост)
еще на нем написана система WebSharper, в некотором смысле - аналог WebKit

не WebKit, а GWT(google web toolkit)

Автор: Void 18.5.2010, 22:48
примечание: говорим Haskell, подразумеваем GHC
Цитата(qweqwe @  14.4.2010,  23:30 Найти цитируемый пост)
выдавать предупреждения, при неполном сопоставлении с образцом

-fwarn-incomplete-patterns
Цитата(qweqwe @  14.4.2010,  23:30 Найти цитируемый пост)
проверять разрешимость взаимной рекурсии

А вот это не понял, пример можно?

Автор: A5uKa 30.11.2010, 10:27
Nemerle лучше F# !!! Не спорьте со мной .

/me пишет на F#

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)