0
ответов
Алгебраическая интерпретация полиморфизма
Итак, я понимаю основную алгебраическую интерпретацию типов :Либо a b ~a + b (а, б)~а *б а -> б ~б^а()~1 Void ~0 --из Data.Void... и что эти соотношения верны для конкретного...
вопрос задан: 4 May 2012 06:53
0
ответов
Scala-эквивалент нотации Haskell& #39;s do -(еще раз)
Я знаю, что do x < -[1, 2, 3] y < -[7], 8, 9] пусть z = (x + y )return z может быть выражено в Scala следующим образом: { x < -List (1, 2, 3 )y < -List (7, 8, 9 )z = x + y } yield...
вопрос задан: 4 May 2012 01:33
0
ответов
haskell удаляет все вхождения данного значения из списка списков
Я хотел бы удалить все вхождения данного значения из списка списков. Например, ввод: 'a' ["abc", "bc", "aa"] вывод: ["bc", "bc", ""] пока: удалить :: Eq a => a -> [[ ...
вопрос задан: 3 May 2012 23:07
0
ответов
Почему было трудно реализовать классы типов?
На слайде 30/78 этой презентации Саймон предполагает, что реализация классов типов вначале была «отчаянием». Кто-нибудь знает, почему это произошло?
вопрос задан: 3 May 2012 21:50
0
ответов
Не сопровождающий загружает в Hackage
У меня есть пакет на Hackage, который зависит от стороннего пакета, который не основан на более новых версиях GHC (> = 7.2). Проблема с другим пакетом может быть решена с помощью однострочного патча (a ...
вопрос задан: 3 May 2012 19:22
0
ответов
У этой простой функции Haskell уже есть известное имя?
Я только что написал эту функцию, которая просто принимает пару, вторая value находится в некоторой монаде и «вытягивает монаду», чтобы покрыть всю пару. unSndM :: Монада m => (a, mc) -> m (a, c)
...
вопрос задан: 3 May 2012 18:59
0
ответов
объявления типа в 'where' - что происходит?
Читая руководство QuickCheck, Я наткнулся на следующий пример: prop_RevRev xs = reverse (reverse xs) == xs, где types = xs :: [Int] Далее в руководстве говорится: Свойства должны иметь ...
вопрос задан: 3 May 2012 15:04
0
ответов
Как определить составной ключ в Persistent
Как объявить Persistent, что у меня есть таблица, первичный ключ которой представляет собой комбинацию двух полей? Например, предположим, что у меня есть таблица, содержащая первое имя _и последнее имя _, а затем в синтаксисе SQL...
вопрос задан: 3 May 2012 14:13
0
ответов
Каковы правила отображения из PersistEntity/PersistField в имена столбцов и таблиц в БД
Мне нужно работать с существующей (MySql )БД, где имена таблиц и столбцов уже определены. Если я правильно понял документацию (и не нашел хорошей документации по этому вопросу,...
вопрос задан: 3 May 2012 11:38
0
ответов
Записи Haskell, более чистый подход?
Я читал о некоторых проблемах с записями Haskell, в частности, о том, что два элемента в одном модуле не могут иметь одинаковые имена. Насколько я понимаю, вы можете обойти это, имея...
вопрос задан: 3 May 2012 08:56
0
ответов
Утилизировать свой эквивалент Boilerplate в Scala?
В Haskell есть классный общий механизм обхода, который позволяет вам вызывать что-то вроде map для каждого узла в коллекции, либо снизу -вверх, либо сверху -вниз. Он вызывается везде, и вы должны сделать что-то вроде...
вопрос задан: 2 May 2012 23:56
0
ответов
Исходный код для объявлений экземпляров стандартного класса типов
Мне было интересно узнать об объявлении экземпляра Ord для (a,b ), и я хотел быстро поискать хакерство, чтобы подтвердить свою интуицию, что сравнение сначала на a, а затем, в случае равенства, на b....
вопрос задан: 2 May 2012 12:39
0
ответов
Реализация `read `для левого -ассоциативного дерева в Haskell
У меня возникли трудности с реализацией Read для древовидной структуры. Я хочу взять левую -ассоциативную строку (со скобками ), например ABC (DE )F, и преобразовать ее в дерево. Этот конкретный пример соответствует...
вопрос задан: 2 May 2012 05:43
0
ответов
Haskell :получение статического типа выражения
Я ищу функцию, которая делает то, что делает команда типа GHCi :. В идеале он должен иметь сигнатуру типа getStaticType ::a -> String a = getStaticType (1+2)
--a = " (Num t )=>...
вопрос задан: 1 May 2012 15:48
0
ответов
Почему генераторы списков Haskell с несколькими генераторами рассматривают крайний правый генератор как самый тесный цикл?
Я читаю Gentle Introduction и задаюсь вопросом, почему при анализе списка с двумя генераторами самый правый генератор итерируется "самым быстрым" (, т.е. компилируется в самый внутренний цикл, я...
вопрос задан: 1 May 2012 15:37
0
ответов
Haskell -Подсчет того, сколько раз встречается каждый отдельный элемент в списке
Я новичок в Haskell и просто пытаюсь написать понимание списка для вычисления частоты каждого отдельного значения в списке, но я у меня проблемы с последней частью. Пока у меня есть это :...
вопрос задан: 1 May 2012 13:55
0
ответов
Абсолютное значение отрицательного нуля -ошибка или часть стандарта с плавающей запятой?
Я знаю, что нули со знаком используются для того, чтобы отличить недополнение от положительных или отрицательных чисел, поэтому их стоит различать. Интуитивно я чувствую, что абсолютное значение -0.0 должно быть равно 0.0....
вопрос задан: 1 May 2012 09:19
0
ответов
Использование QTQuick с haskell
Мне кажется, что qthaskell активно не разрабатывается/заброшен. Поддерживает ли он QtQuick? Есть ли планы/какое-либо развитие в поддержке qt 5? Кто-нибудь вообще использует qt с haskell,...
вопрос задан: 30 April 2012 21:52
0
ответов
Типы ограничений по умолчанию игнорируются
Я столкнулся со странной проблемой при определении ограничения по умолчанию. Если ограничение равно единице, экземпляр по умолчанию не выбирается. Во всех остальных случаях работает как положено. { -#LANGUAGE TypeFamilies,...
вопрос задан: 30 April 2012 18:09
0
ответов
как реализовать двусвязные списки
Возможно ли иметь в Haskell двусвязный список, и каково идеальное решение для их реализации? Я реализую граф сцены, где у каждого виджета есть родитель, а также ребенок, и это ...
вопрос задан: 30 April 2012 18:08
0
ответов
Как что-то сделать с данными из stdin, построчно, максимальное количество раз и вывести количество строк в Haskell
Этот код считывает количество строк для обработки первая строка стандартного ввода, затем он циклически повторяет число _из _строк _до _времени обработки, выполняя некоторые вычисления и печатая результат. Я хочу, чтобы он напечатал строку...
вопрос задан: 30 April 2012 10:50
0
ответов
Конкатенация списков Haskell и формат (head :tail)
Я всегда писал свой список-производя рекурсивные функции в этом формате:recursiveFunc ::[a] -> [б] recursiveFunc (x:xs)= [change x] ++ resursiveFunc xs где change ::a -> b change x =....
вопрос задан: 30 April 2012 08:59
0
ответов
GHC :ошибка сегментации при странных условиях
Toady Я обновил свою машину для разработки с Ubuntu 10.04 LTS до Ubuntu 12.04 LTS (или ghc 6.12.1 до ghc 7.4. 1 ), и я столкнулся с очень странным поведением в моем текущем проекте. Через несколько часов я уменьшил...
вопрос задан: 29 April 2012 14:43
0
ответов
Использование охранников в let.. в выражениях
Иногда я пишу такой код:solveLogic ::Int -> Int -> Int solveLogic a b = пусть x = 1 умник | а >= х = 1 | a == b = 333...
вопрос задан: 29 April 2012 14:11
0
ответов
Связь между Java и Haskell
Я погуглил и получил несколько ответов, что связь между Java и Haskell может осуществляться с помощью GCJNI (Теперь сайт не работает )и LambdaVM., Чтобы использовать LambdaVM/GCJNI, нужно ли мне загружать какую-либо сборку...
вопрос задан: 29 April 2012 06:47
0
ответов
Путаница с выводом типа в Haskell
Я не понимаю, почему работает следующая функция :isLongerThanN ::Integral n => n -> [a] -> Bool isLongerThanN n xs = length xs > fromIntegral n, но следующее не работает :...
вопрос задан: 29 April 2012 03:21
0
ответов
«Monad -дружественное» событие -на основе ввода-вывода
Я хочу реализовать эффективную однопоточную -связь через сокет, используя управление событиями в стиле «epoll» -. Если бы мне нужно было написать очень императивную программу "с нуля", я бы сделал это примерно так...
вопрос задан: 28 April 2012 15:21
0
ответов
Являются ли замыкания нарушением парадигмы функционального программирования?
Функциональное программирование "избегает состояния и изменяемых данных". Замыкания скрывают состояние, связывая свое лексическое окружение, и таким образом являются замкнутыми по отношению к своим свободным переменным. Как Haskell является чисто функцион
вопрос задан: 28 April 2012 12:40
0
ответов
Являются ли неявные параметры проблемой для встраивания в GHC?
Меня интересуют возражения против неявных параметров, обсуждаемые в статье Киселёва и Шана в Functional Pearl :Неявные конфигурации. Неправильно встроенный код (β -уменьшить )в...
вопрос задан: 28 April 2012 12:23
0
ответов
Что означает апостроф в Haskell?
Иногда я видел пример кода со следующим выражением :пример = пример' [] или в чем разница между :foldl foldl' Спасибо
вопрос задан: 28 April 2012 11:51