Для чого використовується Haskell в реальному світі? [зачинено]

Навколо Haskell дуже багато шуму, проте важко отримати інформацію про те, як він використовується в реальних програмах. Які найпопулярніші проекти / звичаї Haskell і чому він вирішує ці проблеми?

Які існують у цій мові вживання?

Швидкий розвиток додатків.

Якщо ви хочете знати "чому Haskell?", То вам потрібно врахувати переваги функціональних мов програмування (взяті з https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming ):

• Функціональні програми, як правило, набагато коротше, ніж їхні імперативні мовні колеги. Часто це призводить до підвищення продуктивності програміста

• FP заохочує швидке прототипування. Я вважаю, що це найкраща парадигма розробки програмного забезпечення для ExtremeProgrammers ... але що я знаю?

• FP є модульним у вимірі функціональності, де ObjectOrientedProgramming є модульним у розмірі різних компонентів.

• Можливість мати свій торт і їсти його. Уявіть, що у вас є складна система OO, що обробляє повідомлення - кожен компонент може змінювати стан залежно від повідомлення, а потім пересилати повідомлення до деяких об'єктів, на які він має посилання. Хіба не було б занадто круто, щоб можна було легко повернути кожну зміну, якби якийсь об'єкт глибоко в ієрархії викликів вирішив, що повідомлення є помилковим? Як щодо історії історії різних держав?

• Багато завдань з ведення господарства, зроблених для вас: деконструкція структур даних (PatternMatching), зберігання змінних прив’язок (LexicalScope із закриттями), сильне введення тексту (TypeInference), GarbageCollection, розподілення пам’яті, чи використовувати коробку (покажчик на значення) або без коробки (значення безпосередньо ) представництво ...

• Безпечна багатопотокова редакція! Змінювані структури даних не підпадають під умови перегонів даних, а отже, не повинні бути захищені замками. Якщо ви завжди виділяєте нові об'єкти, а не деструктивно маніпулюєте існуючими, блокування може бути приховано в системі виділення та GarbageCollection.

Крім цього Haskell має свої переваги, такі як:

• Чіткий, інтуїтивний синтаксис, натхненний математичними позначеннями.
• Перелічіть розуміння для створення списку на основі наявних списків.
• Лямбда-вирази: створюйте функції, не даючи їм явних імен. Так легше обробляти великі формули.
• Haskell повністю референтно прозорий . Будь-який код, який використовує введення-виведення, повинен бути позначений як такий. Таким чином, він пропонує вам відокремити код з побічними ефектами (наприклад, розміщення тексту на екрані) від коду без (обчислення).
• Лінива оцінка - це дуже приємна особливість:
  • Навіть якщо щось зазвичай викликає помилку, воно все одно буде працювати, поки ви не використовуєте результат. Наприклад, ви можете поставити 1 / 0як перший елемент списку, і він все одно буде працювати, якщо ви використовували лише другий елемент.
  • Простіше писати такі пошукові програми, як цей вирішувач судоку, оскільки він не завантажує одразу кожну комбінацію - вона просто генерує їх у міру подальшого використання. Ви можете це зробити іншими мовами, але лише Haskell робить це за замовчуванням .

Ви можете перевірити наступні посилання:

• https://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming
• https://docs.microsoft.com/archive/blogs/wesdyer/why-functional-programming-is-important-in-a-mixed-environment
• https://web.archive.org/web/20160626145828/http://blog.kickino.org/archives/2007/05/22/T22_34_16/
• https://useless-factor.blogspot.com/2007/05/advantage-of-functional-programming.html

Я думаю, що люди на цій посаді пропускають найважливіший момент для тих, хто ніколи не використовував функціональну мову програмування: розширення своєї думки. Якщо ви новачок у функціональному програмуванні, то Haskell змусить задуматися так, як ви ніколи раніше не думали. Як результат, ваше програмування в інших областях та інших мовах покращиться. Скільки? Важко оцінити.

Є одна гарна відповідь на те, для чого корисна мова загального призначення, як Haskell: написання програм загалом.

Для того, для чого це використовується на практиці, у мене є три підходи до встановлення цього:

• Хмара тегів у бібліотеках та додатках Haskell , зважена за частотою в Hackage.

Вказує, що це добре для графіки, мереж, програмування систем, структур даних, баз даних, розробки, обробки тексту ...

• Сфери, які використовуються в промисловості - багато DSL, веб-додатків, дизайн компілятора, мережа, аналіз, системне програмування, ...

І нарешті, моя думка щодо того, що це насправді сильне:

• Проблеми, пов'язані з правильністю, мовами, визначеними для домену, паралельним і одночасним програмуванням

Я сподіваюсь, що це дасть вам зрозуміти, наскільки широке ваше запитання, якщо на нього потрібно відповісти з якоюсь конкретністю.

Одним із прикладів дії Haskell є xmonad , "функціональний менеджер вікон з менш ніж 1200 рядками коду".

З Вікна Haskell :

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

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

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

Якщо ви все ще запитуєте себе: "Навіщо мені це використовувати?", То прочитайте " Навіщо це використовувати?" розділ Введення Вікі Haskell.

Haskell - мова програмування загального призначення. Він може бути використаний для будь-якого використання будь-якої іншої мови. Вас не обмежує нічого, крім власної фантазії. Щодо того, для чого він підходить? Ну, майже все. Є кілька завдань, в яких функціональна мова не перевершує.

І так, я Рейн із Dreamincode. :)

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

Тільки тому, що мова не є об'єктно-орієнтованою мовою, це не означає, що мова нічим не обмежена. Haskell - мова програмування загального призначення, і така ж загальна мета, як і Java.

У мене класно, фейсбук створив автоматизований інструмент для переписування PHP-коду. Вони аналізують джерело на абстрактне синтаксичне дерево, роблять деякі перетворення:

if ($f == false) -> if (false == $f)

Я не знаю чому, але, здається, це їхній особливий стиль, і тоді вони досить роздруковують його.

https://github.com/facebook/lex-pass

Ми використовуємо haskell для створення малих доменних мов. Величезна кількість обробки даних. Веб-розробка. Веб-павуки. Тестування додатків. Написання сценаріїв системного адміністрування. Сценарії вихідного дня, які спілкуються з іншими сторонами. Сценарії моніторингу (у нас є DSL, який чудово працює разом з munin, значно полегшує написання правильного коду монітора для ваших програм.)

Насправді всі речі. Це просто повсякденна мова загального призначення з деякими дуже потужними та корисними функціями, якщо ви трохи схильні до математики.

З Haskell :

Haskell - це стандартизована, загальноприйнята, чисто функціональна мова програмування , що відрізняється не суворою семантикою та сильною статичною типізацією. Він названий на честь логіка Хаскелла Крірі.

В основному Haskell можна використовувати для створення майже всього, що ви зазвичай створювали, використовуючи інші мови загального призначення (наприклад, C #, Java, C, C ++ тощо).

Наприклад, для розробки інтерактивних веб-додатків HTML5 в реальному часі. Дивіться Elm , компілятор якого реалізований в Haskell і синтаксис якого багато запозичує у Haskell.

Це досить гарне джерело для інформації про Haskell та його використання:

Відкриті джерела Haskell випуски та зростання