0
ответов

Haskell: «instance (Enum a, Bounded a) => Random a» и «=> Произвольный a »

. Есть ли в Haskell« стандартная »библиотека / пакет для генерации случайных / произвольных перечислений? Я написал следующий код, но не могу поверить, что я первый, кто столкнулся с этой проблемой или решил ее (и я ...
вопрос задан: 26 October 2013 09:47
0
ответов

Неожиданный результат при обращении списка

Мне нужно пояснить неожиданный результат приведенного ниже кода, по-видимому, из-за какой-то ошибки. обратный ':: [b] -> [b] обратный' [] = [] обратный '[x] = [x] обратный' (x: xs) = last (x: xs): reverse '...
вопрос задан: 24 October 2013 06:47
0
ответов

Почему Haskell не выполняет правильную последовательность действий ввода-вывода?

Мой друг спросил меня, почему я изучаю Хаскель. Чтобы продемонстрировать возможности Haskell, я написал небольшую программу, которая отображала список простых чисел: main = do putStr "Введите число ...
вопрос задан: 22 October 2013 20:13
0
ответов

Путаница в отношении композиции функций в Haskell

Рассмотрим следующее определение функции в ghci. пусть myF = грех. cos. сумма где,. обозначает композицию двух функций (правоассоциативную). Я могу назвать это myF [3.14, 3.14], и это дает мне ...
вопрос задан: 22 October 2013 10:53
0
ответов

Список флажков с пищеварительными функторами

Как использовать пищеварительный функторы для создания формы, которая имеет программно созданный список флажков, которые возвращают список. Например: [x] Молоко. [ ] Хлопья [x] Фарш вернет ["...
вопрос задан: 18 October 2013 18:04
0
ответов

Расчет работы сделан по f x = (x, x)

Допустим, у меня есть эта функция: (синтаксис Haskell) f x = (x, x) Какую работу (количество вычислений) выполняет функция? Сначала я думал, что это было очевидно постоянным, но что, если тип ...
вопрос задан: 3 October 2013 07:07
0
ответов

Scala: разница между классом типов и ADT?

Каковы различия между классами типов и абстрактными типами данных? Я понимаю, что это базовая вещь для программистов на Haskell, но я из среды Scala и буду интересоваться примерами ...
вопрос задан: 29 September 2013 18:55
0
ответов

Рекомендации Haskell DB?

Баз данных много, но я чувствую, что для Haskell нужно что-то другое. Как и у Erlang есть собственная БД, Mnesia. Пожалуйста, порекомендуйте несколько хороших баз данных для Haskell.
вопрос задан: 24 September 2013 11:31
0
ответов

Композиция неявных функций в Haskell

Скажем, у меня есть средняя функция, определенная следующим образом: mean xs = sum xs / (fromIntegral $ length xs), но я хочу ее в некоторой молчаливой форме, например: mean = sum / (fromIntegral. Length) Есть ли встроенная функция? ..
вопрос задан: 23 September 2013 16:54
0
ответов

Строка кода на Haskell, не компилируемая: & ldquo; Неверный контекст типа данных & rdquo;

Я не могу собрать эту строку кода в Haskell, но она работает в системе моего профессора. Я использую версию 7.6.2 ghci. уравнение данных a = > Shape a = Shape a Точнее, это ошибка, которую я ...
вопрос задан: 21 September 2013 16:24
0
ответов

Как показать параметры при щелчке на UITableViewCellAccessureDetailedButton

Я показываю записи в UITableView, в качестве аксессуара ячейки которого используется UITableViewCellAccessureDetailedButton. Я хочу отобразить эти опции «Сохранить», «Отправить» и «Посетить», когда пользователь нажимает на...
вопрос задан: 9 September 2013 05:34
0
ответов

Примеры монады, чья аппликативная часть может быть лучше оптимизирована, чем часть монады

В одном обсуждении я слышал, что интерфейс Applicative некоторых парсеров реализован иначе, более эффективно, чем их интерфейс Monad. Причина в том, что с Applicative мы знаем все «эффекты» ...
вопрос задан: 3 September 2013 15:47
0
ответов

Как сослаться на внешний jar-файл в проекте библиотеки Android в IntelliJ v10

Я пробовал несколько разных способов, но не смог. Можете ли вы рассказать, как правильно указать intelliJ включить файл jar в каталог libs? Спасибо
вопрос задан: 29 August 2013 02:09
0
ответов

Безточечная нотация, рекурсия и сопоставление с образцом

Поэтому я постоянно слышу о бесточечном программировании и решил провести небольшой эксперимент, чтобы проверить свои знания. Это включало использование точечной функции для вычисления факториала числа и...
вопрос задан: 19 August 2013 14:18
0
ответов

Количество элементов в Haskell в безточечном стиле

Я хочу определить функцию, которая вычисляет количество элементов в списке, удовлетворяющих заданному предикату: number_of_elements :: (a -> Bool) -> [a] - > Int number_of_elements f xs = ...
вопрос задан: 19 August 2013 06:53
0
ответов

Haskell: получить имя конструктора данных в виде строки

Допустим, у нас есть данные D = X Int | Y Int Int | Z String Я хочу иметь функцию getDConst getDConst :: D -> String, которая возвращает либо "X", "Y", либо "Z", в соответствии с конструктором данных ...
вопрос задан: 18 August 2013 08:39
0
ответов

Почему не работает `putStrLn getLine`?

Я новичок в Haskell. Мой сценарий Haskell с GHCi, Prelude> let a = putStrLn getLine выдает такую ​​ошибку. : 1: 17: Не удалось сопоставить ожидаемый тип String ...
вопрос задан: 13 August 2013 14:12
0
ответов

Есть ли какой-нибудь учебник по Template Haskell для тех, кто не знает Lisp?

Я хотел изучить Template Haskell, но все найденные мной руководства предполагают, что вы выучили lisp и знаете, что такое макросы Lisp, или что вы знаете немного жаргона теории CS - такие штуки, как стыки, ...
вопрос задан: 12 August 2013 17:23
0
ответов

Какова общая схема написания функции в бесточечном стиле?

В данный момент я прорабатываю 20 промежуточных упражнений на Haskell, что является довольно забавным упражнением. Он включает в себя реализацию различных экземпляров классов типов Functor и Monad (и функций ...
вопрос задан: 11 August 2013 17:23
0
ответов

Можете ли вы перегрузить + в haskell?

Хотя я видел всевозможные странные вещи в примерах кода Haskell - я никогда не видел, чтобы оператор plus был перегружен. Есть ли в нем что-то особенное? Допустим, у меня есть тип типа Pair, и я ...
вопрос задан: 21 July 2013 07:50
0
ответов

Сопоставление с образцом для итерации по списку

Я пытаюсь изучить Haskell от Haskell Road до Logic и наткнулся на этот пример: mnmInt :: [Int] -> Int mnmInt [] = ошибка "пустой список" · mnmInt [x] = x mnmInt (x:xs) = min x (...
вопрос задан: 12 July 2013 23:08
0
ответов

Статический .lib требуется для компиляции библиотеки также требуется для пользователей библиотеки?

Я работал над библиотечным пакетом на Haskell, для которого требуются пользовательские .dll и .lib в Windows, чтобы общаться с некоторыми ОС API. .Lib связан с библиотекой с полем extra-library и DLL ...
вопрос задан: 2 July 2013 22:56
0
ответов

Простая программа с использованием Pipes зависает

У меня есть следующая программа, которая не производит вывод при запуске с runhaskell Toy.hs, и вместо этого зависает на неопределенное время. Насколько я понимаю, программа должна напечатать «привет» и затем выйти. Я мог бы ...
вопрос задан: 30 June 2013 01:06
0
ответов

Как обновить gtk2hsC2hs?

Я пытаюсь установить cabal glib-0.12.3 под мой Ubuntu 11.10, используя cabal-install 0.10.2. Тем не менее, он показывает следующие сообщения об ошибках: setup: требуется программа gtk2hsC2hs версия> = 0.13.5 ...
вопрос задан: 27 June 2013 21:00
0
ответов

для всех в Scala

Как показано ниже, в Haskell , можно хранить в списке значения с разнородными типами с определенными контекстными границами для них: data ShowBox = forall s. Show s => ShowBox s heteroList :: [...
вопрос задан: 23 June 2013 21:36
0
ответов

Конечный автомат в Haskell

Как хорошо представить конечный автомат в Haskell? Как будет выглядеть тип данных? В нашем колледже автоматы определялись как набор из пяти элементов (Q, X, delta, q_0, F), где Q — множество...
вопрос задан: 21 June 2013 17:53
0
ответов

Ошибки компиляции Attoparsec

Я пытаюсь научиться использовать attoparsec. Я пытаюсь проанализировать текстовый файл следующего формата: id int call_uuid string 30 Мой код находится здесь: {- # LANGUAGE OverloadedStrings # -} import Control ....
вопрос задан: 14 June 2013 23:29
0
ответов

Объектно-ориентированное программирование в контексте чисто функционального программирования?

Есть ли преимущества в использовании объектно-ориентированного программирования (ООП) в контексте функционального программирования (FP)? Я уже некоторое время использую F # и заметил, что чем больше у меня функций ...
вопрос задан: 14 June 2013 19:33
0
ответов

Пожалуйста, помогите мне понять концепцию внутренних и внешних монад.

Я еще не монад-джедай, но имею базовое представление о них. Теперь я прочитал некоторые статьи, в которых упоминаются «внутренняя» и «внешняя» монада, и мне интересно, что это значит. (Ссылки на) примеры кода будут...
вопрос задан: 13 June 2013 13:35
0
ответов

Haskell - Currying? Требуются дополнительные пояснения

Что-то вроде addList :: [int] -> int addList = foldl1 (+) Why does this work? The Currying part. Why no variable?
вопрос задан: 9 June 2013 18:53