Вопросы с тегом «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 действительно прост. Исходя из опыта OO, основная трудность заключается в адаптации к чисто функциональной парадигме. Изучая «базовый» язык Haskell, я всегда рассматривал языковые расширения как игрушки для людей CS или как эксперименты для будущих версий языка (как from future import ???в python). Однако когда я начал изучать …

10 haskell 

Теперь я вижу, что у Ракетки есть типы. На первый взгляд кажется, что он почти идентичен печатанию на Haskell. Но CLOS Лиспа покрывает некоторые из типов пространства Хаскеля? Создание очень строгого типа Haskell и объекта на любом языке OO выглядит примерно одинаково. Просто я выпил немного хул-хелскера на Haskell и …

10 haskell  scheme  common-lisp 

Я прочитал много книг и статей о функциональном программировании и до сих пор стыдно за то, что не смог понять некоторые основные понятия. Одна из основных идей функционального программирования заключается в том, что один и тот же вход всегда должен давать один и тот же результат. Поэтому, скажем, запрос к …

10 language-agnostic  functional-programming  haskell 

Учитывая, что у Ruby есть хорошие встроенные возможности работы со списками - уменьшить, отобразить, выбрать, собрать и т. Д. Он имеет Procs, Blocks и Lambdas, и имеет хорошую поддержку итераций ( eachсемейство), было бы плохим решением при разработке, если я попытаюсь написать все мои вещи в Ruby максимально функциональным способом? …

10 ruby  haskell  functional-programming 

Кажется, что у любого ограниченного экземпляра должна быть нормальная реализация Enum. Лично я не могу придумать контрпример, хотя, если кто-то придумает такой, который не является патологическим, я пойму, почему это не так. Из :iэтих двух классов типов кажется, что единственное исключение в стандартной библиотеке в настоящее время относится к кортежам, …

9 haskell  typeclass 

Закрыто . Этот вопрос должен быть более сфокусированным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был сосредоточен только на одной проблеме, отредактировав этот пост . Закрыто 4 года назад . Он говорит, что в оригинальной статье Уодлера «Монады для функционального программирования» …

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

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

9 haskell  type-systems  go 

Недавно я глубоко заинтересовался Хаскеллом. Пытаясь изучить новые концепции (например, ключевое слово forall и монаду ST ) и систему типов Хаскеля в целом, я постоянно сталкиваюсь с понятиями из теории категорий и лямбда-исчисления . Итак, мне интересно: Какие другие разделы математики важны для глубокого понимания системы типов Хаскелла? Могу ли …

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

Я хочу реализовать хранилище данных в памяти для веб-службы в Haskell. Я хочу запускать транзакции в STMмонаде. Когда я использую хэш-таблицу Steam Haskell, я получаю только следующее: Data. BTree. HashTable. STM.имя модуля и его сложности предполагают, что это реализовано в виде дерева. Я думаю, что массив должен быть более эффективным …

9 data-structures  haskell 

Архитектурный шаблон трубы и фильтра определяется как цепочка обрабатывающих элементов, расположенных таким образом, что выходные данные каждого элемента являются входными данными следующего . Кажется, что в каждом примере рассматривается межпроцессное или межпотоковое соединение, выполняемое через некоторый общий буфер. Мне кажется, что композиция функций Haskell выполняет ту же задачу. Можем ли …

9 design  functional-programming  haskell  architectural-patterns 

В предыдущих вопросах мне говорили, что функциональные языки программирования не подходят для динамических систем, таких как физический движок, главным образом потому, что мутация объектов обходится дорого. Насколько реалистично это утверждение и почему?

9 functional-programming  haskell  clojure  immutability 

Я понял, что задолго до Хаскелла, О'Камла или LISP функции высшего порядка были предметом академических исследований, а в математике Шенфинкель (в 1967 г.) и Хаскелль Карри (в 1968 г.) уже применяли такие методы, как карри, но был до того, как он был доступен на любом языке программирования. Схема, согласно Википедии …

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