0
ответов
Думаю ли я о правильном использовании одноэлементных типов в Haskell?
Я хочу создать несколько несовместимых, но в остальном одинаковых типов данных. То есть я хотел бы иметь параметризованный тип Foo a и такие функции, как bar :: (Foo a) -> (Foo a) -> (Foo a) ...
вопрос задан: 27 January 2011 14:15
0
ответов
Несколько отношений Core Data с одним и тем же объектом
У меня есть модель данных, которую я пытаюсь перенести из структуры таблицы на основе SQLite в Core Модель данных. В моей структуре SQLite есть таблица зон и таблица TransitLogs. TransitLog может иметь ...
вопрос задан: 27 January 2011 07:30
0
ответов
Создание (a, a) функтора
Как я могу создать (a, a) функтор, не прибегая к новому типу? В основном я хочу, чтобы он работал следующим образом: instance Functor (a, a) where fmap f (x, y) = (fx, fy) Но, конечно, это не законно ...
вопрос задан: 27 January 2011 05:58
0
ответов
Указание ограничений класса в конструкторах значений
Есть ли способ определить ограничение класса для параметра конструктора значений? Примерно так: data Point2D = (Num a) => Укажите aa, чтобы Point мог принимать любые аргументы, если они ...
вопрос задан: 26 January 2011 21:56
0
ответов
Есть ли какая-нибудь библиотека статистической обработки естественного языка для Haskell? [закрыто]
В настоящее время я читаю «Обработку естественного языка для работающего программиста» (книга в стадии разработки http://nlpwp.org/) и задаюсь вопросом, есть ли приличная библиотека для статистического естественного языка ...
вопрос задан: 26 January 2011 18:58
0
ответов
Проверка корректности программы с использованием фантомных типов в Haskell
Предположим, я работаю с кодом стековой машины, которая может выполнять некоторые простые операции (push constant, add, mul, dup, swap , pop, convert типов) на целые и двойные. Теперь программа, которую я пишу, принимает ...
вопрос задан: 26 January 2011 12:13
0
ответов
Что использовать вместо понимания списка
I ' m только начал работать с Haskell и закончил хорошее упражнение по созданию шифра Цезаря. Одним из первых шагов было создание функции, которая будет преобразовывать букву в число. Я знаю ...
вопрос задан: 26 January 2011 09:47
0
ответов
Объявление пустых сохраняемых данных
Я пытаюсь создать Haskell оболочка для библиотеки C. Базовые структуры слишком сложны, чтобы выражать их как явные типы, и я фактически не использую их, кроме как для передачи между C ...
вопрос задан: 25 January 2011 04:29
0
ответов
Как вы структурируете модуль с отслеживанием состояния в Haskell?
I ' Я хочу написать универсальный модуль, который позволит программам на Haskell взаимодействовать с Cassandra. Модуль должен будет поддерживать собственное состояние. Например, у него будет пул соединений и список ...
вопрос задан: 24 January 2011 18:01
0
ответов
Изменение непрозрачности растрового изображения
У меня есть форма, в которой есть изображение. Я использую ползунок, чтобы изменить прозрачность изображения. Итак, в событии «ValueChanged» ползунка я вызываю следующий метод, чтобы изменить прозрачность. //...
вопрос задан: 24 January 2011 05:50
0
ответов
Какой идиоматический способ добавления списков в Haskell?
Предположим, я хочу добавить два списка в Haskell. Как это сделать чаще всего? Вот что я сделал: addLists :: (Integral a) => [a] -> [a] -> [a]
addLists xs ys = map add $ zip xs ys ...
вопрос задан: 23 January 2011 22:37
0
ответов
Как отобразить причину неудавшегося свойства теста с помощью быстрой проверки?
Как лучше всего отображать причины неудачного теста свойства при его проверке с помощью QuickCheck? Рассмотрим, например: prop ab = res / = [] где (res, cause) = checkCode ab ...
вопрос задан: 23 January 2011 08:50
0
ответов
Как заставить функцию возвращать разные типы
Итак, у меня есть функция с несколькими определениями (охранники), и в зависимости от того, какое из них соответствует, я пытаюсь получить ее либо вернуть (a, b), либо [(a, b)], однако компилятор выдает ошибки »...
вопрос задан: 22 January 2011 22:01
0
ответов
сигнатура типа функции uncurry
uncurry f = \ (a, b) -> fab uncurry преобразует каррированную функцию в функцию на парах, но функция выше просто преобразует ее в каррированную функцию fa b. Разве это не противоречит определению ...
вопрос задан: 21 January 2011 03:26
0
ответов
Есть ли компилятор для C, подобный Haskell / ML?
Люди писали игры для iPhone в Scheme. Поскольку (некоторые) компиляторы Scheme компилируются до C, их было легко смешивать с Objective-C и интегрировать с XCode. Я знаю патчи для Haskell ...
вопрос задан: 18 January 2011 11:17
0
ответов
Как Haskell выполняет сопоставление с образцом без определения Eq для наших типов данных?
Я определил двоичное дерево: data Tree = Null | Node Tree Int Tree и реализовали функцию, которая возвращает сумму значений всех его узлов: sumOfValues :: Tree -> Int
sumOfValues ...
вопрос задан: 17 January 2011 22:43
0
ответов
Как найти самое длинное слово в списке?
У меня нет функционального мышления, чтобы решить эту проблему простым способом это также может работать для очень длинных списков. Если у вас есть список вроде: [«один», «два», «три», «четыре», «пять»] я могу ...
вопрос задан: 16 January 2011 21:03
0
ответов
Почему и map (^ 2) xs, и map (2 ^) xs работают должным образом в Haskell?
Почему map (^ 2) [1..10] работает и также map (2 ^) [1..10] работает? Я ожидал, что он будет работать только с одним из них, а не с обоими. Я думал, что map будет перебирать все элементы [1..10], а затем ...
вопрос задан: 16 January 2011 03:07
0
ответов
Haskell или F # с высокой пропускной способностью двоичного ввода-вывода
Насколько хороша производительность двоичных библиотек ввода-вывода на этих двух языках> Я подумываю о переписывании уродливого (но очень быстрого) кода C ++, который обрабатывает двоичные файлы примерно 5-10 ГБ с использованием ...
вопрос задан: 16 January 2011 01:57
0
ответов
Монады как дополнения
Я читал о монадах в теории категорий. Одно определение монад использует пару сопряженных функторов. Монада определяется обходом с использованием этих функторов. По-видимому, дополнения очень ...
вопрос задан: 15 January 2011 00:31
0
ответов
Есть ли какие-либо связи между Haskell и LINQ?
Я написал несколько запросов на C #, используя LINQ. Через некоторое время я немного начал использовать Haskell, который является функциональным языком программирования (не очень популярным), и мне кажется, что они оба ...
вопрос задан: 14 January 2011 17:57
0
ответов
Есть ли подходящая замена C ++, когда я хочу писать приложения для обработки видео?
Я хочу написать программу для редактирования видео, и «логический» вывод состоит в том, что язык, который я должен использовать, - это C ++. .. Но мне это не нравится (извините, поклонники c ++). Я хотел бы написать что-нибудь классное, ...
вопрос задан: 14 January 2011 16:49
0
ответов
Организация тестов Haskell
Итак, я пытаюсь следовать предлагаемой структуре проекта Haskell, и у меня возникла пара проблем с организацией моих тестов. Для простоты начнем с: src / Clue / Cards.hs # определяет Clue.Cards ...
вопрос задан: 14 January 2011 02:28
0
ответов
Можно ли создать в Haskell API коллекций, подобных Scala 2.8?
API коллекций Scala имеет несколько довольно интересных свойств, и мне интересно, как их реализовать в Haskell; или если это вообще возможно (или хорошая идея в целом). Я немного хакер ...
вопрос задан: 13 January 2011 22:01
0
ответов
встроенные функции по-прежнему отображаются в файле. prof file
Я пытаюсь понять, как оптимизировать код. Вот он: {- # OPTIONS_GHC -funbox-strict-fields # -} data Vec3 a = Vec3! A! A! A vx :: Vec3 a -> a
vx (Vec3 x _ _) = x
{- # SPECIALIZE ...
вопрос задан: 13 January 2011 03:59
0
ответов
Новичок в Haskell по типам
Я совершенно новичок в Haskell (и в более общем плане функциональном программировании), так что простите меня, если это действительно базовые вещи. Чтобы получить больше, чем просто вкус, я пытаюсь реализовать в Haskell некоторые алгоритмические…
вопрос задан: 11 January 2011 15:01
0
ответов
Кажется, я не могу понять переменные типа, смешанные с классами
Я почти понимаю на 3/4 остальной язык, но каждый раз, когда я опускаюсь на ноги в использовании классов осмысленным образом в моем коде я постоянно закрепляюсь. Почему это не очень просто ...
вопрос задан: 11 January 2011 00:39
0
ответов
Есть ли разумный способ распаковать монаду состояния?
Я бы хотел иметь такую функцию, как: unzipState :: (MonadState sm) => m (a, b) -> (ma, mb), который потребует (с сохранением состояния) вычисления, возвращающего кортеж, и вернет два (зависимых) ...
вопрос задан: 10 January 2011 08:02
0
ответов
ghc не может найти установленные мной пакеты Cabal
Я установил ghc 6.12.3, а затем платформу Haskell. Я пытаюсь скомпилировать тестовую программу: $ ghc test.hs
test.hs: 3: 0: Не удалось загрузить интерфейс для `Bindings ': Используйте -v, чтобы увидеть список ...
вопрос задан: 9 January 2011 20:49
0
ответов
Алгоритм генерации всех возможных массивов единиц и нулей заданной длины
Как я могу генерировать все возможные комбинации битов в массиве битов длины n. Если я начну со всех нулей в моем массиве, то есть n возможностей разместить первый бит и для этих n ...
вопрос задан: 8 January 2011 13:09