Реальна реалізація функціонального програмування? [зачинено]

Я намагаюся ознайомити себе з різними типами мов, щоб зрозуміти сфери, в яких кожна з них надзвичайно хороша. Поки що я взяв участь у мові C - процедурна мова, C ++ & java - статично накладені об'єктно-орієнтовані мови та groovy - динамічна типізована об'єктно-орієнтована мова.

Кожна мова програмування, ймовірно, почала відповідати потребі. І я припускаю, що кожна мова є надзвичайно хорошою принаймні однією справою, завдяки якій вона стає стандартом у певній галузі чи галузі. Як і C, C ++ стали стандартними в таких областях, як браузер або розробка ігор. Python у світі Linux за легку сценарійність, Java у корпоративному світі тощо.

Тепер мені цікаво вивчити функціональну мову програмування на кшталт Clojure чи Lisp. Отже, де функціональні мови програмування використовуються в реальних сценаріях? Я не думаю, що можна було б використовувати Clojure або Lisp для розробки програм або інтерфейсів. Тож про які проекти я повинен займатися, пройшовши основні навчальні посібники та навчальні ресурси, щоб отримати коротке розуміння щодо функціонального програмування? А ви настійно не рекомендуєте на одній мові конкретно, як, наприклад, clojure?

Ви кажете, що функціональне програмування в реальному світі, я думаю, Ерланг.

Erlang - мова програмування, яка використовується для створення масово масштабованих програмних програм у режимі реального часу з вимогами щодо високої доступності. Деякі його напрямки використання в телекомунікаціях, банківській справі, електронній комерції, комп'ютерній телефонії та обміну миттєвими повідомленнями.

http://www.erlang.org/

Існує чудова серія лекцій про функціональне програмування університету Стенфорда. Ви можете перевірити їх на YouTube.

Я б радив вам розглянути схему, а не LISP. Схема - це модифікована версія Lisp з подальшими вдосконаленнями. Схему здебільшого використовують для навчальних та навчальних курсів. Це чудова мова, якщо ви любите займатися дослідженнями теоретичних обчислювальних технологій.

Заявки :

Google Inventor for Android використовує схему, де Kawa використовується для компіляції коду схеми до байт-кодів для віртуальної машини Java, що працює на пристроях Android. Elk Scheme використовується Synopsys як мова сценаріїв для своїх технологій CAD (TCAD).

FYI: Використання схеми

Брайан О'Салліван, засновник mailrank.com (який був придбаний Facebook), створив всю серверну частину цього програмного забезпечення в Haskell. Він представив про це на Strange Loop 2011, відео та слайди доступні в Інтернеті.

Той же хлопець написав книгу під назвою Real World Haskell . Кілька людей згадували навчальні програми з програмування. Це може бути цілком відповідним вашим інтересам (мені також подобається пропозиція Ерланга).

Я знаю з друзів з фінансів, що кількісна торгова фірма Джейн Стріт використовує OCaml для реалізації своїх торгових стратегій. У них є сторінка, де вони розповідають про те, чому поряд із посиланнями на розмови з цього приводу.

Ось список поширених історій успіху Lisp:

http://wiki.alu.org/Industry%20Application

http://www.franz.com/success/

http://www.lispworks.com/success-stories/index.html

Хоча Common Lisp є лише частково функціональним (він також підтримує OOP і процедурні процедури, а також все, що ви хочете реалізувати, або з бібліотекою), це дуже прагматична мова і надзвичайно потужна в руках компетентного програміста. Я фактично використовую його для написання веб-додатків із чудовою рамкою RESTAS .

І комерційний проект пітона, над яким я зараз працюю, врешті-решт буде доповнений сервісами, написаними на lisp (RESTAS, як пропонує його ім'я, відмінно підходить для RESTful послуг).

Я б запропонував зануритися в компілятори (або для мов загального призначення, або для DSL) - саме тут функціональне програмування найкраще. Буде багато цікавого та корисного для вивчення, від ADT та узгодження зразків з одного боку спектра до макросів Lisp з іншого.

Ви можете поглянути на Юма .

З мови програмування Юм сторінки:

Юм (Unified Meta-Environment) вищого порядку - це сильно типізована, в основному функціональна мова, з інтегрованим набором інструментів для розробки, доведення та оцінки одночасних критично важливих для безпеки систем. Юм прагне розширити межі мовного дизайну для обмежених ресурсів систем, включаючи вбудовані в реальному часі та системи, що мають критичне значення для безпеки, шляхом впровадження нових рівнів абстрагування та доступності.

З сторінки Вікіпедії Юма :

Юм - функціональна мова програмування, розроблена в Університеті Сент-Ендрюс і Університету Еріот-Ватта в Шотландії, і названа на честь філософа 18 століття Девіда Хьюма. Він орієнтований на вбудовані системи в реальному часі, спрямовані на створення вкрай абстрактного дизайну, але все одно дозволять точно витягти витрати та час виконання простору, таким чином дозволяючи писати програми, які виконуватимуться при гарантованих обмежених часових і просторових обмеженнях.

Юм незвично поєднує ідеї функціонального програмування з ідеями з кінцевих державних автоматів . Автомати використовуються для структуризації програм, що передають інформацію, у ряд "коробок", де кожен ящик відображає входи до виходів чисто функціональним способом, використовуючи відповідність шаблонів на високому рівні. Це також незвично, будуючи структуру як низку рівнів, кожен з яких виявляє різні властивості машини, що є надзвичайно незвичним.