1
ответ
Монада продолжения “интерфейс”
Монада состояния "соединяет интерфейсом" с классом MonadState s m, где доберитесь:: m s помещенный:: s-> m () (+ возвращают и связывают) позволяет создавать любое возможное вычисление с монадой состояния, не используя состояние...
вопрос задан: 19 April 2011 01:38
1
ответ
распаковывание, (редкие) матрицы и haskell векторная библиотека
Я хотел бы управлять матрицами (полный или редкий) эффективно с векторной библиотекой haskell. Вот является матричный импорт типа квалифицированными Данными. Вектор. Распакованный, поскольку U импортируют квалифицированные Данные. Вектор как V..
вопрос задан: 19 April 2011 01:33
1
ответ
Асимптотическое время выполнения функции списка к дереву
У меня есть функция слияния, которая занимает время O (зарегистрируйте n) объединить два дерева в одно и функцию listToTree, которая преобразовывает первоначальный список элементов к одноэлементным деревьям и неоднократно обращается к слиянию...
вопрос задан: 18 April 2011 23:27
1
ответ
term_to_binary Erlang в Haskell?
Существует ли метод сериализации без суеты для Haskell, подобного вызовам term_to_binary/binary_to_term Erlang? Данные. Двоичный файл кажется излишне сложным и сырые данные. Посмотрите этот пример, где Вы...
вопрос задан: 18 April 2011 22:38
1
ответ
В Haskell, там встроенная функция, которая создает список одного элемента?
Поиск встроенной функции, которая сделает следующее: mklist x = [x] преимущество - то, что я могу использовать его в составе для создания списка одного элемента. Поймите, что (копируют 1)...
вопрос задан: 18 April 2011 22:01
1
ответ
Понимание профилировщика Haskell произвело - что == _a3JO
Я пишу, что некоторое приложение оптимизации в Haskell и просто выполнил его через профилировщика. Я вижу много функций и странный символ "== _a3JO" (иногда различные числа и буквы). Что делает это...
вопрос задан: 18 April 2011 22:00
1
ответ
Как создать бесконечно повторяющийся список в Haskell?
Я - парень C#, пытающийся преподавать мне Haskell от вебкастов Канала 9 Erik Meijer. Я столкнулся с интересной загадкой, которая включила пропуск каждый 'n' элементы списка с помощью zip и модификации. каждый::...
вопрос задан: 18 April 2011 18:37
1
ответ
Хвост Haskell функционирует для пустых списков
У меня есть проблема с функцией, которая должна только возвратить хвост списка. Функции являются myTail и должны дать применимый результат, даже если вход является пустым списком. Я хочу понять все 3...
вопрос задан: 18 April 2011 18:02
1
ответ
Как получить 64-разрядные двоичные файлы от GHC для Snow Leopard?
Я недавно обновил свою ОС до Snow Leopard, который повредил мой GHC. Я смог закрепить его на одной машине путем добавления флагов для 32-разрядных компиляций в/usr/bin/ghc (что-то как-optl-m32-opta-m32-optc-...
вопрос задан: 18 April 2011 18:01
1
ответ
установите интригу haskell w/o ручное разрешение зависимости
Я вижу, что существует хорошая система пакета под названием Интрига, которая обрабатывает разрешение зависимости. Таким образом, я пытаюсь установить это так, я могу заставить это устанавливать модули OpenGL Haskell для меня. Однако сама Интрига...
вопрос задан: 17 April 2011 21:35
1
ответ
Как я могу настроить простой тест с Интригой?
У меня есть проект Haskell и описание пакета Интриги, которое позволяет мне создавать и устанавливать свой пакет с интригой $, настраивают установку интриги $ сборки интриги $, Но что относительно теста интриги? Справка интриги...
вопрос задан: 17 April 2011 21:25
1
ответ
Как я тестирую, если число с плавающей точкой является целым числом в haskell?
Если у меня есть число с плавающей точкой в Haskell, как я тестирую, если это - целое число.
вопрос задан: 17 April 2011 21:18
1
ответ
Как я могу легко видеть вывод из Шаблона оператор Haskell?
У меня есть следующий Шаблон код Haskell в моем модуле, который является частью объемного приложения. $ (получают makeFoldable ''JStatement) я подозреваю, что сгенерированный экземпляр Складных не точно...
вопрос задан: 17 April 2011 21:07
1
ответ
Действительно ли GHC в состоянии к последнему вызову, оптимизируют действия IO?
GHC выполнит оптимизацию последнего вызова на следующей функции по умолчанию? Единственная странная вещь об этом состоит в том, что это рекурсивно определяет действие IO, но я не вижу, почему это не могло быть TCO'd....
вопрос задан: 17 April 2011 21:06
1
ответ
Что делает канал в среднем определении класса?
класс (Моноид w, Монада m) => MonadWriter w m | m-> w, где передача:: m (a, w-> w)-> m слушание:: m-> m (a, w) скажите:: w-> m (), Каково значение канала...
вопрос задан: 17 April 2011 21:05
1
ответ
Какой пакет Haskell содержит данный модуль
Я знаю имя модуля Haskell, но я не могу выяснить, в каком пакете оно определяется. Это плохо, потому что я не могу скомпилировать без пакета, выставляющего этот модуль. Specificaly это - текст. Regex, что я могу'...
вопрос задан: 17 April 2011 19:23
1
ответ
Запись демонстрационного приложения для сервера - forkIO неизбежный?
Я ничего не сделал networkish в haskell, таким образом, я даю этому попытку теперь. Я использую ZFS Oleg в качестве шаблона, как сделать это. IIRC он не использовал потоки, но использовал "разграниченные продолжения"...
вопрос задан: 17 April 2011 19:03
1
ответ
Примеры attoparsec в парсинге форматов двоичного файла? [закрытый]
Ранее attoparsec был предложен мне для парсинга сложных форматов двоичного файла. В то время как я могу найти примеры attoparsec парсингом HTTP, который является по существу базирующимся текстом, я не могу найти пример...
вопрос задан: 17 April 2011 19:00
1
ответ
Что такое стиль полиморфизма Haskell?
С классами типов Haskell кажется, что он включает специальный полиморфизм, но объявления его функций кажутся параметрическим полиморфизмом. Смешиваю ли я свое понимание разных вещей?
вопрос задан: 16 April 2011 20:18
1
ответ
Нотация диапазона Haskell для создания списка. Неожиданный результат
В одной из моих лекций я наткнулся на упражнение, которое сбило меня с толку при выводе [2, 2 .. 2]. Почему при вводе [2, 2 .. 2] он генерирует "бесконечный" список с двойками. То, как я понял ...
вопрос задан: 16 February 2011 05:21
1
ответ
Сравнение шаблонов с данными [дубликат]
Как сопоставить шаблон с типом данных? данные Fruit = Apple | Банан | Orange isYellow :: Фрукты -> Bool isYellow x | x == Банана = Истина | иначе = False
вопрос задан: 25 November 2010 05:22
1
ответ
Влияние на стиль GHC -Wall
Хорошей практикой считается включение предупреждений GHC с помощью - Стена. Однако я обнаружил, что исправление этих предупреждений отрицательно сказывается на некоторых типах конструкций кода. Пример 1: Использование do -...
вопрос задан: 14 November 2010 01:35
1
ответ
Haskell - определение вида в объявлении данных
В этих данных объявления Const = Const Integer Haskell выводит, что Const *-> *. Действительно ли возможно заставить Const взять конструктора типа вместо этого, таким образом, это будет (*-> *)-> *? Идеально, это...
вопрос задан: 18 October 2010 13:57
1
ответ
Как заставить работать расширение языка OverloadedStrings?
Я включил перегруженные строки, но не могу заставить их работать: $ cat overloadedstrings.hs {- # LANGUAGE OverloadedStrings # -} импортировать квалифицированный Data.ByteString как B
квалифицированный импорт Data.ByteString ....
вопрос задан: 28 September 2010 17:29
1
ответ
LHS и скидка с цены: Codeblocks
Мне, оказывается, действительно нравится Скидка с цены (вероятно, из-за ТАК), и мне нравится программировать в Haskell. Я недавно обнаружил Грамотного Haskell (LHS), и я хочу использовать Скидку с цены и LHS вместе. Позвольте мне дать...
вопрос задан: 13 August 2010 02:02
1
ответ
Инструменты для генерации графика зависимости функции Хаскелла (поток управления)?
Обратите внимание, не «функциональная зависимость». Существуют ли инструменты, позволяющие мне построить статический граф зависимостей функций из исходного кода? Что-то, что указывает мне, какие функции зависят от каких ...
вопрос задан: 7 August 2010 17:27
1
ответ
Как практичный это должно встроить ядро языка с effectful функциональным пространством (как ML) в Haskell?
Как Moggi предположил 20 лет назад, effectful функциональное пространство-> языков как ML может быть разложено на стандартное общее функциональное пространство => плюс сильная монада T для получения эффектов.->...
вопрос задан: 5 August 2010 01:20
1
ответ
Использование синонимов типа в преобразователях монады
Действительно ли возможно использовать синонимы типа в качестве аргументов конструктора типа преобразователей монады? В частности, если существует унарный синоним типа для прикладного преобразователя монады, мог он использоваться в качестве типа...
вопрос задан: 30 July 2010 14:19
1
ответ
Как скопировать текст в gitk
Я могу скопировать исходный код в панели левой нижней части в gitk? Какое-либо сочетание клавиш или другие функции? ОС: Рабочий стол Ubuntu 9.04 / gitk: 1:1.6.0.4-1ubuntu2 Спасибо.
вопрос задан: 27 July 2010 05:52
1
ответ
Данные. Вектор. Двоичный файл перекрывает Двоичный файл экземпляр
В моем приложении я должен сериализировать вектор, содержащий произвольный тип данных, в этом случае список, Удваивается. Для сериализации вектора я импортирую Данные. Вектор. Двоичный файл. При загрузке...
вопрос задан: 25 July 2010 14:49