F# и корпоративное программное обеспечение

Я думаю, что независимо от того, станет ли F# импортом для корпоративного программного обеспечения, возможность изолировать чисто функциональные части кода на любом языке будет ключом к использованию потенциала многоядерных компьютеров. Например, Microsoft Parallel Extensions для .NET великолепны, но все еще есть много места для ошибок, распараллеливая код, который не может выполняться параллельно. Если код имеет форму чисто функционального языка или чисто функционального подмножества вашего языка, то вы можете быть уверены, что сможете выполнять его параллельно. Уловка состоит в том, чтобы найти наиболее эффективный способ распределения работы.

Роль, которую играет в этом F#, я бы сказал, скорее, как катализатор, чтобы заставить людей замочить ноги и начать думать более декларативно.

Я думаю, что у F# есть прекрасная возможность проникнуть в некоторые нишевые области корпоративных приложений, таких как математическое моделирование (например, для банковских / торговых приложений). Удаление побочных эффектов из функций также открывает большие возможности для параллелизма и запоминания. Трудно сказать, станут ли эти языки когда-либо массовыми, трудно сказать, но, на мой взгляд, проблемы, скорее всего, будут ориентированы на человека (то есть отсутствие навыков и высокая кривая обучения для людей, знакомых с более типичными языками, такими как C# / java / C++), а не технический.

Я думаю, мы увидим, что некоторые функциональные элементы будут перенесены на C#, такие как увеличение использования неизменяемых типов и функций маркировки как чистых и т.д. среднему разработчику.

Я думаю, что F# всегда будет нишевым языком по сравнению с VB / C# / Java, потому что он требует большего знания математики или информатики. Однако сам факт того, что это язык CLR, означает, что он будет иметь гораздо большее распространение, чем более ранние функциональные языки.

Я работаю в инвестиционном банке, и мы уже используем F# для некоторых специальных сценариев, мы очень хотим увидеть выпущенную версию F#, чтобы мы могли рассмотреть более формальную интеграцию в наши системы (хотя они, вероятно, останутся в основном На основе C#).

C# / VB всегда будет основными языками, но F# лучше справляется со сложными задачами. C# более универсален, в то время как F# лучше подходит для IA, статистики, науки (например, для поиска лекарства от рака) и т. д. F# никогда не заменит C#, но он позволит .NET конкурировать в большем количестве областей информатики. Что касается интеллектуального анализа данных и обработки больших объемов данных, вам лучше разрабатывать непосредственно в базе данных - например, SQL Server или oracle.

Что касается сложности изучения F#, то это только потому, что мы «испорчены» императивным образом мышления в большинстве других языков. Трудно отучиться от того, чем ты занимаешься, за 5 лет! Кроме того, по моему опыту, использование ocaml и F# доставляет удовольствие. Единственная жалоба на F# / Ocaml заключается в том, что в большинстве случаев люди злоупотребляют выводом типа, что делает код нечитаемым. Я бы предпочел объявить типы переменных, чтобы их было легче поддерживать.