У меня есть вопрос для начинающих о датах и String в Haskell. Мне нужно получить часть даты (год, месяц или день) как String в Haskell. Я обнаружил, что если я напишу следующие две строки в GHCi ...
Я слышал, что одним из преимуществ чисто функциональных структур данных является то, что вы получаете бесплатные операции отмены / повтора. Может кто-нибудь объяснить почему? Я не понимаю, почему добавление отмены / повтора проще в ...
Я пытаюсь найти формальный способ подумать о сложности пространства в haskell. Я нашел эту статью о технике Graph Reduction (GR), которая мне кажется подходящей. Но у меня ...
Я пишу мультиплатформенную текстовую приключенческую игру ncurses. Требуемая библиотека C, ncursesw, настроен для x86, но моя ОС - Mac OS X 10.6.6 x86_64. ghc --make -o rogue rogue.hs
[1 из 2] Компиляция ...
Я пытаюсь написать средство переименования для компилятора, который я пишу на Haskell. Средство переименования сканирует AST в поисках символов DEF, которые он вводит в таблицу символов, и символов USE, которые он разрешает с помощью ...
Когда я пишу что-то вроде списка map (1+) в Haskell, каково внутреннее представление (1+)? Поскольку это частичное применение (+), аргумент 1 нужно где-то сохранить, но я не могу получить ...
Я хотел написать образовательный код на Haskell с символами Unicode (не латинскими) в идентификаторах. (Чтобы идентификаторы выглядели красиво и естественно для носителей естественного языка, отличного от ...
В качестве примера возьмем следующий тип Row a = [a]
type Table a = [Row a] mapTable :: (a -> b) -> Table a -> Table b
mapTable = карта. map notTable :: Table Bool -> Table Bool
notTable = ...
Это мои первые исследования в Haskell, так что простите меня, если это должно быть очевидно. Я весь день играл с Haskell, просматривая 99 вопросов учебника по HaskellWiki, используя свои ...
У меня есть пользовательский тип данных Foo = Foo {a :: Int, b :: Int}, и я пытаюсь сделать Foo настраиваемым экземпляром чтения. У меня уже есть панель функций :: String -> Foo, и я попробовал сделать это: instance Read (...
Я хочу написать функцию, которая разбивает списки на подсписки в соответствии с тем, какие элементы удовлетворяют заданному свойству p . У меня вопрос, как назвать функцию. Я приведу примеры на Haskell, но то же самое ...
Я пытался реализовать синтаксический анализатор протокола в haskell, и я довольно новичок в этом языке, особенно когда дело касается монад. Я использовал binary-0.5.0.2 и описал заголовок и все такое ...
Моя конкретная проблема на самом деле не связана с общим переводом объектно-ориентированного интерфейса на Haskell. Это просто лучшее название, которое я мог придумать. Тем не менее, я уверен, что моя проблема связана с ...
Я пытаюсь реализовать расстояние Левенштейна (или расстояние редактирования) в Haskell, но его производительность быстро снижается, когда длина строки увеличивается. Я все еще новичок в Haskell, так что было бы ...
У кого-то была отличная идея объединить Literate Haskell и Markdown. Для меня это имело смысл, поэтому я хотел попробовать. Но есть кое-что, что Haskell не нравится в синтаксисе заголовка Markdown '#': Здравствуйте ...
Я заметил явное отсутствие парсеров LL, которые создают парсеры на функциональных языках. Идеальная находка для того, что я безуспешно искал, - это создание парсера Haskell для ...
Я новичок в Haskell и пытаюсь использовать динамическую загрузку в пакете plugins. Я заблудился. Вот минимальная программа с двумя файлами. Main.hs: module Main (main) where import ...
Предположим, у нас есть действие ввода-вывода, такое как lookupStuff :: InputType -> IO OutputType, которое может быть чем-то простым, например поиском DNS, или вызовом некоторой веб-службы для неизменяющихся во времени данных. Давайте ...
I ' м ново для Haskell. Не могли бы вы объяснить, как организация кода работает в Haskell? На сегодняшний день я написал все в одном большом длинном файле и протестировал код от GHCi. Я хочу начать писать ...
Итак, я мог бы добиться этого, используя 'topLevelSomething и удалив последний токен после., Или я мог бы использовать имя модуля' что-то, но это возвращает a Может быть ... Есть ли более простой способ ...
Кажется, невозможно интроспективно исследовать ограничения классов типов на функции, типы данных и тому подобное. Однако похоже, что ghci это делает. Prelude>: t show
show :: (Show a) => a -> String Итак ... ...
Во-первых, немного предыстории: я пытаюсь реализовать интерфейс master-detail в Какао (для OS X). То есть у меня есть окно с двумя NSTableView, которые отображают два разных типа объектов. Для этого ...
В рамках моего процесса изучения Haskell, Мне нравится явно вводить объявления типов для функций. Я хотел бы иметь возможность делать это для функций, определенных в предложении where, но я не знаю ...
Я часто вижу подобные объявления типов, глядя на Haskell: a -> (b -> c) I понять, что он описывает функцию, которая принимает что-то типа a и возвращает новую функцию, которая ...
Я хотел бы переводить между строками и байтовыми строками с использованием различных кодировок. Я знаю, что есть пакет utf8-string, который обрабатывает кодировку UTF8. Однако есть много других кодировок ...
Что ж, вопрос очевиден. Предположим, я хочу реализовать какой-то специальный синтаксис просто для удовольствия. Является ли это возможным? Какие инструменты мне следует использовать?
Не могли бы какие-нибудь эксперты Haskell прояснить кое-что для меня: Дан упрощенный пример соответствия функций который должен возвращать совпадающее значение из списка, который является «лучшим» ...
В В Haskell вы можете использовать оператор связывания (>> =) следующим образом: repli :: [a] -> [a]
repli xs = xs >> = \ x -> [x, x] * Main> repli [1,2,3]
[1,1,2,2,3,3] Я читал, что flatMap - это Scala '...
In arrow do notation, you can use the rec keyword to write recursive definitions. So for example: rec name <- function -< input input <- otherFunction -< name How can this ever ...