Результаты поиска по запросу "haskell"
Почему в Хаскеле не одобряются выражения?
Это был вопрос, который я долго задавал. если операторы являются основными в большинстве языков программирования (по крайней мере, в тех, с которыми я работал), но в Haskell это выглядит довольно неодобрительно. Я понимаю, что для сложных ...
Haskell интерактивная функция
Я новичок в Haskell и у меня проблема сinteract функция. Это мой пример программы: main :: IO () main = interact inputLength inputLength :: String -> String inputLength input = show $ length inputОн компилируется, но при запуске не печатает ...
Несколько структур поиска для одних и тех же данных: дублирование памяти?
Предположим, у меня есть данные о группе людей, и я хочу иметь возможность искать их по-разному. Может быть, есть какая-то структура данных (например, двоичное дерево), которая облегчает поиск по имени. И, может быть, есть другой (например, ...
Почему рекурсивный `пусть` делает пространство эффективным?
Я нашел это утверждение при изучении функционально-реактивного программирования «Заглушение космической утечки стрелой» [http://cs-www.cs.yale.edu/homes/hl293/download/leak.pdf]Хай Лю и Пол Худак (стр. 5): Suppose we wish to define a function ...
Как я должен представлять AST, снабженный дополнительной информацией?
Допустим, у меня есть простой тип данных, представляющий AST на каком-то языке: data Term = Var String | Num Integer | Expr [Term](В действительности у него было бы больше конструкторов, чем это.) Я могу использовать это, чтобы написать простую ...
Следует ли избегать нотации в Haskell?
В большинстве уроков по Haskell рассказывается об использовании do-notation для ввода-вывода. Я также начал с нотации do, но это делает мой код больше похожим на императивный язык, чем на язык FP. На этой неделе я видел учебник использования IO ...
Алгоритм Кнута-Морриса-Пратта в Хаскеле
У меня проблемы с пониманием этой реализации алгоритма Кнута-Морриса-Пратта в Haskell. http://twanvl.nl/blog/haskell/Knuth-Morris-Pratt-in-Haskell [http://twanvl.nl/blog/haskell/Knuth-Morris-Pratt-in-Haskell] В частности, я не понимаю ...
Как спроектировать монадический стек?
Как вы проектируете и строите свои монадические стеки? Впервые мне нужно собрать монадический стек (с использованием преобразователей) для решения реальной проблемы, но я не совсем уверен, в какомзаказ сложить трансформаторы. Как вы уже знаете, ...
Haskell - фильтровать список строк на основе некоторых условий
Я новичок в этом сообществе. Я изучаю Haskell и испытываю трудности с кодированием на Haskell. Я надеюсь, что вы можете мне помочь. Я искал здесь и в Google, но безуспешно. Моя проблема заключается в следующем: я хочу написать функцию, которая ...
Как может eta-сокращение хорошо типизированной функции привести к ошибке типа?
Я играл с линзами van Laarhoven и столкнулся с проблемой, когда средство проверки типов отклоняет eta-уменьшенную форму хорошо типизированной функции: {-# LANGUAGE RankNTypes #-} import Control.Applicative type Lens c a = forall f . Functor f => ...