Запитання з тегом «haskell»

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

1414 haskell  functional-programming  monads  terminology 

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

850 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

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

755 haskell  functional-programming 

Хто перший сказав таке? Монада - це просто моноїд у категорії ендофандерів, у чому проблема? І на менш важливу увагу, чи це правда, і якщо так, ви можете дати пояснення (сподіваємось, таке, яке може зрозуміти той, хто не має багато досвіду Haskell)?

722 haskell  monads  category-theory  monoids 

Яка різниця між крапкою (.)та знаком долара ($)? Як я розумію, вони обидва синтаксичного цукру, оскільки не потрібно використовувати дужки.

709 haskell  syntax  function-composition 

Я взяв Проблему №12 від Project Euler як вправу програмування та порівняв мої (напевно, не оптимальні) реалізації в C, Python, Erlang та Haskell. Для того, щоб отримати більш високі строки виконання, я шукаю номер першого трикутника з більш ніж 1000 дільниками замість 500, як зазначено в початковій задачі. Результат такий: …

672 python  c  performance  haskell  erlang 

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

646 scala  haskell  f#  functional-programming  clean-language 

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

565 haskell  functional-programming  monads  large-scale 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 6 років тому . Навколо Haskell дуже багато шуму, проте важко отримати інформацію про те, як він використовується …

475 haskell  functional-programming  programming-languages 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 2 роки тому . Нещодавно я спіймав помилку FP (намагаючись навчитися Haskell), і мене дуже вразило те, що …

404 user-interface  haskell  f#  functional-programming 

З документів для GHC 7.6: [Y] часто навіть не потрібна СПЕЦІАЛІЗАЦІЯ в першу чергу. Під час компіляції модуля M оптимізатор GHC (з -O) автоматично враховує кожну функцію перевантаженого верхнього рівня, заявлену в M, і спеціалізує її для різних типів, при яких вона викликається в М. Оптимізатор також враховує кожну імпортовану …

392 haskell  ghc 

Я бачив цей термін Free Монада спливав кожен в даний час , і потім в протягом деякого часу, але кожен раз здається , що використання / обговорювати їх , не даючи пояснення того , що вони є. Отже: що таке вільні монади? (Я б сказав, що я знайомий з монадами …

368 haskell  monads  free-monad 

На мою скромну думку, відповіді на відоме питання "Що таке монада?" , особливо найбільш голосуючі, спробуйте пояснити, що таке монада, не чітко пояснюючи, чому монади справді необхідні . Чи можна їх пояснити як вирішення проблеми?

366 haskell  monads 

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

347 haskell  coding-style  open-source 

Я чував термін «вугілля» декілька разів у гуртках функціонального програмування та PLT, особливо коли мова йде про об’єкти, комони, лінзи тощо. Гуглінг цей термін дає сторінки, які дають математичний опис цих структур, що мені дуже незрозуміло. Чи може хто-небудь пояснити, будь ласка, що означають вуглегебри в контексті програмування, яке їх …

339 scala  haskell  functional-programming  category-theory  recursion-schemes