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

Чистий мову використовує унікальність типів для обробки введення / виводу в чисто функціональне призначення. Чому комітет Хаскелла натомість пішов з монадами ? Чи були інші пропозиції щодо розгляду, що комітет розслідував, але вирішив проти? Примітка : я не шукаю священної війни між монадами та іншими формами обчислень. Давайте збережемо цю …

36 functional-programming  history  haskell 

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

36 haskell  functional-programming  scheme 

Я вивчаю Haskell з метою розуміння функціонального програмування, сподіваючись, що я застосую розуміння, яке я здобуваю в інших мовах (в основному Groovy, Python, JavaScript.) Я вибрав Haskell, тому що у мене склалося враження, що він дуже чисто функціональний і не допускає ніякої опори на державу. Я не вирішив вивчити Haskell, …

33 functional-programming  haskell  language-features  type-systems 

Я читав трохи про денотаційну семантику (DS) і мене дуже заінтригував процес проектування комп’ютерних програм, де типи та функції мають чіткі та чіткі відображення математики. Чи є ресурси, які детально обговорюють розробку програм на основі DS? Я бачив кілька поверхневих обробок цієї теми. Я розмовляю в Haskell, Scala, Common Lisp …

30 scala  haskell  scheme 

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

30 functional-programming  haskell 

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

30 functional-programming  haskell  erlang 

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

29 java  haskell  scala  type-systems  rust 

Під час навчання Haskell я зіткнувся з великою кількістю навчальних посібників, намагаючись пояснити, що таке монади і чому монади важливі в Haskell. Кожен з них використовував аналогії, щоб було легше вловити сенс. Зрештою, у мене є 3 різних точки зору того, що таке монада: Перегляд 1: Монада як етикетка Іноді …

29 functional-programming  haskell  monad  side-effect 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на Exchange Software Stack Exchange. Мігрували 8 років тому . Одна річ, з якою я ніколи не змирився в Haskell - це те, як можна мати поліморфні константи та функції, тип повернення яких неможливо визначити за типом введення, …

29 haskell  functional-programming 

Чому Haskell має вбудований if/then/else, який залежить від Boolтипу, замість того, щоб мати просту функцію бібліотеки? Як от if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

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

25 books  functional-programming  data-structures  haskell 

Мені було цікаво про походження «хай», що використовується в Ліспі, Клуджуре та Хаскеллі. Хтось знає, на якій мові вона з’явилася спочатку?

24 history  haskell  lisp  clojure 

Функціональні мови, за визначенням, не повинні підтримувати змінні стану. Чому тоді Haskell, Clojure та інші забезпечують реалізацію транзакційної пам'яті програмного забезпечення (STM)? Чи існує конфлікт між двома підходами?

24 functional-programming  haskell  clojure  stm 

У мене є досвід написання невеликих інструментів у Haskell, і мені здається, що це дуже інтуїтивно використовувати, особливо для запису фільтрів (за допомогою interact), які обробляють їх стандартний вхід і передають його на стандартний вихід. Нещодавно я спробував використати один такий фільтр у файлі, який був приблизно в 10 разів …

23 programming-practices  haskell  stackoverflow 

Я читав, що Hindley-Milner не працює з типами систем, які мають підкласи, і є інші функції системи, які також не працюють з цим. Наразі Go має лише дуже обмежений тип висновку в :=операторі. Але у Go немає підкласів у традиційному розумінні, лише інтерфейси, які дуже схожі на типи класів Haskell, …

22 haskell  type-systems  go