Аргументы для функционального программирования [закрыто]

Недавно я изучал F # для удовольствия (я - разработчик VB.NET/C#), и мне действительно нравится то, что он может предложить. Теоретически это так. Но мне трудно придумать сценарии, в которых я бы выбрал код на F #, а не на C #. Любые идеи?

Несколько аргументов в пользу чисто функционального программирования:

• Для современных многоядерных систем проще разделять задачи
• Проще доказать, что ваша программа верна
• Функциональная композиция может быть удивительной, лаконичной и мощной

Для полной обработки см. Почему вопросы функционального программирования имеют значение и Почему вопросы функционального программирования имеют значение .

У меня возникают проблемы с продумыванием сценариев, в которых я бы выбрал код на F #, а не на C #. Любые идеи?

От сюда :

Асинхронные серверы

• Асинхронные рабочие процессы для асинхронного ввода-вывода.
• Процессор почтовых ящиков для потоковой передачи сообщений.
• Типы объединения для состояния сервера и каталога сообщений.
• Сопоставление с образцом и хвостовая рекурсия для конечных автоматов.

Метапрограммирование (например, разбор)

• Генераторы парсеров, такие как fslex и fsyacc.
• Парсер комбинаторы типа FParsec.
• Активные шаблоны для элегантных парсеров, свернутых вручную.
• Алгебраические типы данных для представления деревьев разбора.
• Сопоставление с образцом для управления деревьями, например, применение этапов оптимизации.
• Отражение для генерации быстрого кода во время выполнения.

Технические вычисления

• Функции высшего порядка для элегантного и быстрого алгоритмического кода.
• Алгебраические типы данных и сопоставление с образцом для символьных манипуляций.
• Совместимость для богатства библиотек .NET.
• Интерактивность с использованием F # интерактив.
• Вычислительные выражения для массирования данных.
• Единицы измерения для улучшения правильности.

GUI приложения

• Модель как асинхронная передача сообщений между кодом интерфейса пользователя и кодом логики приложения.
• Функции высшего порядка позволяют декларативно определять пользовательские интерфейсы.

Логическое программирование

• Постоянные коллекции для легкого возврата.
• Хвост призывает к надежности.
• Автоматическое обобщение для простого общего программирования.

тестирование

• Запускайте юнит-тесты в интерактивном режиме.
• BDD означает написание переводчика.
• Хороший язык сценариев для написания тестовых наборов и визуализации результатов.

Представление

• inline для бесплатной абстракции высшего порядка.
• Хвост призывает к быстрым конечным автоматам.
• Чисто функциональные структуры данных для низкой задержки.
• Метапрограммирование для генерации оптимизированного кода.

Вот для чего используется функциональное программирование стилей - более или менее ежедневно.

Мы делаем много статистических и актуарных вещей с довольно большими наборами данных. Данные, извлекаемые из базы данных, - это, по сути, статические неизменяемые объекты. Нет причин создавать класс с методами.

Каждый этап расчета добавляет некоторые дополнительные детали, но по существу не изменяет объект. На «конце» конвейера мы действительно делаем причудливое сокращение для вычисления сумм и подсчетов и других вещей.

Представь себе это.

for data in summarize( enrich( calculate( some_query( criteria() ) ) ) ):
    print data

Каждая «фаза» вычисления представляет собой цикл функционального программирования, который выполняет простое чтение-вычисление-выход и создает сложный объект из других вещей плюс результаты.

(Мы используем Python, следовательно, функциональное программирование с использованием функций генератора.)

Проще использовать неизменяемые, неизменяемые объекты.

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

Представьте себе реализацию компилятора в C # и F # - представляющего абстрактное синтаксическое дерево и преобразующего его в гораздо более простое значение, если ваш язык предоставляет ADT и сопоставление с образцом.

Идеально подходит для масштабного многосистемного параллельного параллелизма с уменьшением количества карт. Довольно круто, учитывая, что в настоящее время серверы начального уровня поставляются с 48 ядрами (96 считая HT).

Если вы хотите полностью функциональный, попробуйте Haskell, у Erlang также есть несколько очень интересных вещей.

Саймон Пэйтон-Джонс сказал о Хаскелле, он хочет иметь программу, в которой явно нет ошибок, а не очевидных ошибок.

(Я, вероятно, получил немного цитату, но вы поняли идею)

Ограничивая побочные эффекты, вы значительно облегчаете проверку правильности своего кода.

Одно определенное преимущество состоит в том, что это намного легче распараллелить