0
ответов
Сравнение списков в Haskel
Мне нужно определить функцию, называемую нулями, которая принимает на вход два списка и возвращает логическое значение, которое возвращает True, если число 0 появляется одинаковое количество раз в каждый список и false в противном случае....
вопрос задан: 10 February 2013 11:02
0
ответов
Зацикливаясь на монады в Haskell
Я действительно новичок в Хаскеле, так что это может быть глупым вопросом. У меня есть функция foo :: Int -> IO (), результат которой выведет некоторую полезную информацию. Теперь я хочу сделать это: do foo 0 foo ...
вопрос задан: 10 February 2013 02:00
0
ответов
Ложка небезопасна в Хаскеле?
Так что в Haskell есть библиотека с именем spoon, которая позволяет мне делать это safeHead :: [a] - > Может быть, safeHead = ложка. голова, но это также позволяет мне сделать это & gt; > > ложка True :: Может быть ...
вопрос задан: 5 February 2013 16:12
0
ответов
Haskell Snap: развертывание приложения и зависимости времени выполнения
Очистка исходного каталога проекта Snap (удаление dist) вызывает следующую жалобу: веб-обработчик выдал исключение. Подробности:
Ошибка GHC: не удается найти базу данных пакетов в dist/package.conf....
вопрос задан: 3 February 2013 21:50
0
ответов
Каковы определения для > > = и возврата для монады IO?
Посмотрев, как определяются монады List и Maybe, мне, естественно, стало интересно, как определяются операции > > = и return для монады IO.
вопрос задан: 3 February 2013 05:29
0
ответов
Простой интерпретатор, написанный на Haskell, сохраняет вывод печати до конца, а не когда он приходит через оператор печати
Ниже я попытался создать очень простой интерпретатор, который переведен из Java-версии программы, описанной в главе 1 «Современная реализация компилятора на Java» Эндрю В. Appel, и ...
вопрос задан: 23 January 2013 14:23
0
ответов
С чего начать с программирования зависимого типа? [закрыто]
Существует учебное пособие по Idris, учебное пособие по Agda и множество других статей по стилю учебного пособия и вводный материал с бесконечными ссылками на вещи, которые еще предстоит изучить. Я ползаю в середине ...
вопрос задан: 20 January 2013 14:53
0
ответов
Извлечение значений из списка действий ввода-вывода
Итак, у меня есть что-то вроде: [IO Blah, IO Blah, IO Blah], и я действительно хочу просто список действий ввода-вывода, как мне это сделать? P.S.: Да, я работаю в функции ввода-вывода.
вопрос задан: 18 January 2013 22:33
0
ответов
Ошибка компиляции: «Последнее утверждение в конструкции 'do' должно быть выражением»
Ниже приведен мой код философов-ресторанов и выдается ошибка компиляции, в которой говорится: «Последнее утверждение в конструкции 'do' должно быть выражением: mVar2 <- newEmptyMVar mVar3» Может ли кто-нибудь помочь мне ...
вопрос задан: 15 January 2013 17:09
0
ответов
Почему это полезное предупреждение в Haskell при сопоставлении с образцом? «Определено, но не использовано»
При определении совпадений нескольких шаблонов для функции, например, следующим образом: 1: takeTree 0 tree = Leaf 2: takeTree level (Leaf) = Leaf 3: takeTree ...
вопрос задан: 13 January 2013 23:18
0
ответов
Что означают «овеществление» и «овеществление» в контексте (функционального?) Программирования?
Я много читал этот термин в блоги о haskell и функциональном программировании (особенно в блоге sigfpe), но я понятия не имею, что это означает. В большинстве случаев мне удается не знать этого, но ...
вопрос задан: 9 January 2013 05:32
0
ответов
Функция Haskell ищет объяснения
данные BTree a = пусто | Узел (BTree a) a (BTree a) - Это двоичное дерево, помеченное узлом. Может ли кто-нибудь объяснить следующие функции Haskell? метки :: BTree a -> [a] метки Пусто = [] ...
вопрос задан: 8 January 2013 14:40
0
ответов
Преобразование модуля в запись
Предположим, у меня есть произвольный модуль модуля Foo, где фу ::Му -> Гу бар ::Автомобиль -> Дальний baz ::Can -> Haz, где правильно реализованы foo, bar и baz и т. д. Я хотел бы овеществить это...
вопрос задан: 6 January 2013 09:05
0
ответов
Как справиться с «паникой: невозможное» произошло »и продолжаем в Haskell
. У меня есть следующий код, который использует GHC API для загрузки модулей и получения типа выражения: typeObjects :: [String] -> [String] -> IO [Type]
typeObjects modules objects = do ...
вопрос задан: 6 January 2013 07:02
0
ответов
Простой способ развернуть GHC API для приложения в Windows
Я хочу развернуть приложение в Windows, которому требуется доступ к GHC API. Использование первого простого примера из Wiki: http://www.haskell.org/haskellwiki/GHC/As_a_library приводит к ...
вопрос задан: 6 January 2013 06:58
0
ответов
Haskell Как создать Word8?
Я хочу написать простую функцию, которая разбивает ByteString на [ByteString], используя '\n' в качестве разделителя. Моя попытка: import Data.ByteString listize :: ByteString -> [ByteString].
listize xs = ...
вопрос задан: 4 January 2013 00:55
0
ответов
Тестирование с HTF
Крайне не хватает достойной документации по HTF. Все, что я смог найти, это Учебник, который не предоставляет ни одной из следующих действительно важных сведений: Как мне создать набор тестов, который ...
вопрос задан: 27 December 2012 12:23
0
ответов
Воспроизвести файл WAV с Haskell
Существует ли простой прямой способ воспроизведения WAV-файла из Haskell с использованием некоторой библиотеки и, возможно, такой, чтобы я проигрывал много звуков одновременно? Я знаю об OpenAL, но я не пишу продвинутый звук ...
вопрос задан: 22 December 2012 18:52
0
ответов
Почему в Haskell есть конструктор значений в дополнение к конструктору типов?
Я новичок в Haskell и в настоящее время прохожу через Real World Haskell. В книге говорится, что конструктор типа используется только в сигнатуре типа, а конструктор значения используется в реальном коде. ...
вопрос задан: 21 December 2012 12:38
0
ответов
Как запустить Javac из Eclipse
Я пытаюсь запустить инструмент javac для скомпилированного файла .class в Eclipse. Я открываю конфигурацию внешних инструментов, они заполняют поля: Расположение: C: \ Program Files \ Java \ jdk1.6.0_25 \ bin \ javac.exe Работает ...
вопрос задан: 19 December 2012 15:04
0
ответов
Распознавание хвостовой рекурсии
Я пытаюсь изучить Haskell и наткнулся на следующее: myAdd (x: xs) = x + myAdd xs
myAdd null = 0 f = let n = 10000000 в myAdd [1 .. n] main = do putStrLn (show f) При компиляции с ...
вопрос задан: 19 December 2012 02:01
0
ответов
Функции не просто имеют типы: Они являются типами. И виды. И сорта. Помогите собрать взорванный мозг воедино
Я занимался своей обычной рутиной "Прочитать главу LYAH перед сном", чувствуя, что мой мозг расширяется с каждым примером кода. В этот момент я был убежден, что понимаю основную крутость ...
вопрос задан: 19 December 2012 01:07
0
ответов
Преимущество в обходе нескольких списков
Я видел много примеров в функциональных языках об обработке списка и построении функции, чтобы сделать что-то со своими элементами после получения некоторого дополнительного значения (обычно не присутствующего в ...
вопрос задан: 17 December 2012 20:37
0
ответов
Ограничение использования памяти, когда чтение файлов
Я новичок в Haskell и подумал, что это будет хорошее упражнение. у меня есть
назначение, где мне нужно прочитать файл в потоке A, обработать строки файла
в потоках B_i, а затем вывести результаты в ...
вопрос задан: 16 December 2012 16:01
0
ответов
Как написать экземпляр для всех типов в другом классе типов?
Я должен определить класс типа Truthy, который содержит метод true, преобразующий экземпляр класса типа в значение Bool. Мое объявление класса типа: class Truthy a where true :: a -> Bool ...
вопрос задан: 15 December 2012 16:30
0
ответов
Расшифровка кода addC и перенос
Хорошо, у меня есть этот код в Haskell: data Bigit = O | Я получаю (Show, Eq) add xy = reverse $ addC O (reverse x) (reverse y) addC O [] [] = []
addC I [] [] = [I] {{1} } addC carry [] r = addC carry [O] ...
вопрос задан: 1 December 2012 06:35
0
ответов
Ошибка с Cabal Mac OS (снежный барс) - ld: unknown option: -no_pie
Я пытаюсь использовать Cabal для установки некоторого пакета, но у меня возникла ошибка типа: Разрешение зависимостей ...
[1 из 1] Компиляция основного файла (/ var / folder / qA / qAV3z3wUGnOKfufb0vx2N ++++ TI / -Tmp - / ...
вопрос задан: 1 December 2012 06:32
0
ответов
Как присвоить выражениям общие типы в предложении «где»?
(извините за ужасно надуманный пример )Я хочу указать типы в предложении where -:somemap::(a -> b)-> [a] -> [б] somemap f xs = ys, где some = take 5 xs ::[a]...
вопрос задан: 29 November 2012 17:06
0
ответов
Сопоставление с образцом, в котором образец основан на параметре (функции)
Я хотел бы написать функцию, которая принимает как конструктор значения для определенного алгебраического типа данных, так и
фактическое значение того же типа, и определяет, создано ли данное значение из ...
вопрос задан: 29 November 2012 06:37
0
ответов
Работа над стеком преобразователей монад с перестановками
Одна из проблем с преобразователями монад, которую я обнаружил, - необходимость переноса операций в правую монаду. Отдельный подъем здесь и там неплохо, но иногда есть функции, которые выглядят как ...
вопрос задан: 28 November 2012 14:39