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

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

11 haskell  clojure  stm 

Наступна декларація дає помилку: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) …

11 haskell 

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

10 functional-programming  haskell  reactive 

Основна мова Haskell - це дуже просто. Виходячи з фону ОО, головна складність полягає в адаптації до чистої функціональної парадигми. Під час вивчення "базового" Haskell, я завжди розглядав розширення мови як іграшки для людей з CS або як експерименти для майбутніх версій мови (як from future import ???у python). Однак, …

10 haskell 

Тепер я бачу, що у Ракетки є типи. На перший погляд це здається майже ідентичним типізації Haskell. Але чи CLOS Lisp охоплює частину космічного типу Haskell? Створення дуже суворого типу Haskell і об'єкта будь-якою мовою ОО видається нечітко схожим. Просто я випив якусь частину допомоги Haskell, і я абсолютно параноїчний, …

10 haskell  scheme  common-lisp 

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

10 language-agnostic  functional-programming  haskell 

Зважаючи на те, що у Ruby є вбудовані можливості функціонування списку - зменшити, картографувати, вибрати, зібрати і т. Д. У ньому є програми, блоки та лямбдаси, і є приємна підтримка ітерації ( eachсімейство), було б поганим дизайнерським рішенням, якщо я спробую написати всі мої речі про Ruby найбільш чисто-функціональним способом? …

10 ruby  haskell  functional-programming 

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

9 haskell  typeclass 

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

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

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

9 haskell  type-systems  go 

Останнім часом я дуже зацікавився Haskell. Намагаючись вивчити нові поняття (наприклад, ключове слово forall та ST monad ) та систему типів Haskell взагалі, я постійно стикаюся з поняттями з теорії категорій та обчислення лямбда . Отже, мені цікаво: Які ще галузі математики важливі для міцного розуміння типової системи Хаскелла? Чи …

9 programming-languages  functional-programming  math  haskell  type-systems 

Я хочу реалізувати сховище даних в пам'яті для веб-сервісу в Haskell. Я хочу проводити транзакції в STMмонаді. Коли я шукаю парочку хеш-таблиці Haskell, я отримую лише це: Data. BTree. HashTable. STM.Назва модуля та складності підказують, що це реалізується як дерево. Я думаю, що масив повинен бути більш ефективним для змінних …

9 data-structures  haskell 

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

9 design  functional-programming  haskell  architectural-patterns 

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

9 functional-programming  haskell  clojure  immutability 

Я зрозумів, що задовго до того, як Haskell, O'Caml або LISP, функції вищого порядку були предметом академічного дослідження, а в математиці Schönfinkel (в 1967 р.) І Haskell Curry (1968 р.) Вже застосовували такі методи, як currying, але це до того, як вона була доступна будь-якою мовою програмування Згідно з Вікіпедією …

9 functional-programming  history  haskell  scheme  higher-order-functions