0
ответов
Определить, пересекает ли линия сферу
Попытка создать очень простую логическую функцию, которая определяет, пересекает ли линия сферу. Это не похоже на то, что я хочу, хотя вопрос был похож:
Пересечение линии и ...
вопрос задан: 23 May 2017 12:34
0
ответов
Соответствующее использование Monad `fail` по сравнению с MonadPlus` mzero`
Это вопрос, который несколько раз возникал у меня при разработке код, особенно библиотеки. Кажется, это вызывает некоторый интерес, поэтому я подумал, что это может стать хорошей вики для сообщества. Ошибка ...
вопрос задан: 23 May 2017 12:34
0
ответов
Как получить Haskell QuickCheck 2.4 для увеличения # тестов?
Хорошо, как я узнал из моего предыдущего вопроса, книга RWH уже устарела для QuickCheck. И несмотря на все сообщения, которые я читал, которые говорят мне, насколько невероятно просто использовать QuickCheck, я ...
вопрос задан: 23 May 2017 12:34
0
ответов
Как правильно -напечатать таблицу в Haskell?
Я хотел бы красиво напечатать таблицу -как структуру данных в Haskell (список столбцов ). Например... Таблица [ StrCol "строки" ["a", "bc", "c"], IntCol "ints" [1, 30, -2], DblCol "...
вопрос задан: 23 May 2017 12:34
0
ответов
Где я могу изучить продвинутый Haskell? [closed]
В комментарии к одному из моих ответов: SO пользователь sdcwc по существу указал, что следующий код: comb 0 = [[]] comb n = let rest = comb (n-1) in map ('0' :) rest ++ map ('1' :) rest. ..
вопрос задан: 23 May 2017 12:33
0
ответов
Data Structure Differentiation, Intuition Building
According to this paper differentiation works on data structures. According to this answer: Differentiation, the derivative of a data type D (given as D') is the type of D-structures with a single ...
вопрос задан: 23 May 2017 12:33
0
ответов
Влияние на производительность при использовании GADT
При ответе на вопрос с предложением использовать GADT в комментариях возникли некоторые вопросы относительно производительности. Вопрос касался класса типов PlotValue: class PlotValue a where ...
вопрос задан: 23 May 2017 12:33
0
ответов
Ограничение значения в конструкторах типов [дубликат]
Возможный дубликат: Как создать тип, ограниченный определенным диапазоном. У меня есть тип данных: data Expr = Num Int | Выражение Expr Оператор Expr В контексте проблемы ...
вопрос задан: 23 May 2017 12:32
0
ответов
Как работать с состоянием приложения в Gtk2Hs
Пытаясь научиться писать приложения с помощью Gtk2H, я сталкиваюсь с трудностями при преодолении разрыва между Gtk2HS, управляемым событиями, и постоянным состоянием моей модели. Итак, чтобы упростить, скажем, что у меня есть...
вопрос задан: 23 May 2017 12:32
0
ответов
Каков текущий статус ограниченных монад?
Возвращаясь, по крайней мере, к концу 1990-х годов, были люди, желающие интегрировать ограниченные монады в Haskell по-дружески. Например, без ограниченных монад нельзя сделать...
вопрос задан: 23 May 2017 12:32
0
ответов
Можно ли проверить / проверить модель / проверить функции Haskell с помощью свойства правильности?
Продолжение идей в: Существуют ли какие-либо доказуемые языки реального мира? Не знаю, как вы, но мне надоело писать код, который я не могу гарантировать. Задав вышеупомянутый вопрос и получив ...
вопрос задан: 23 May 2017 12:32
0
ответов
Статус выхода QuickCheck при сбоях, и интеграция с Кабалой
Я пытаюсь понять, как интегрировать некоторые тесты быстрой проверки с Кабалом. Эта суть предполагает, что функция quickCheck возвращает ненулевой статус в случае сбоя, но я не получаю такого поведения, поэтому ...
вопрос задан: 23 May 2017 12:32
0
ответов
Имитация взаимодействующих объектов с сохранением состояния в Haskell
В настоящее время я пишу программу на Haskell, которая включает моделирование абстрактной машины, которая имеет внутреннее состояние, принимает входные данные и выдает выходные данные. Я знаю, как реализовать это с помощью государственной монады, которая
вопрос задан: 23 May 2017 12:30
0
ответов
Веб-приложения Haskell, использующие PHP в качестве «внешнего интерфейса»
В мире веб-разработки на Haskell произошли большие события, и некоторые из доступных фреймворков (Yesod и Snap server) кажутся довольно зрелый. Однако кривая обучения может быть немного ...
вопрос задан: 23 May 2017 12:29
0
ответов
Эффективная обработка редко пропущенных данных в Haskell
Я пытаюсь использовать Haskell для анализа данных. Поскольку мои наборы данных достаточно велики (сотни тысяч и, возможно, миллионы наблюдений), в идеале я хотел бы использовать распакованные данные ...
вопрос задан: 23 May 2017 12:29
0
ответов
Кто-нибудь знает (или помнит), как нарушение классовых законов может вызвать проблемы в GHC?
Спустя некоторое время после того, как я спросил, что произойдет с вами, если вы нарушите законы монад? Я наткнулся на эту необъяснимую фразу в Haskell Wiki, на странице о безопасном запуске ненадежного кода haskell: «создание ...
вопрос задан: 23 May 2017 12:28
0
ответов
добавление подписи предполагаемого типа ghci вызывает ошибку
Edit: Вот действительно простой пример. Мотивация для этого примера ниже. Это компилирует: {- # LANGUAGE TypeFamilies # -} семейство типов F a b f :: a -> F a b
f = undefined f '[a] = f a И ghci ...
вопрос задан: 23 May 2017 12:27
0
ответов
typeOf on return type
Я расширяю ответ на поле записи настройки Haskell на основе строки имени поля? чтобы добавить общий getField. Я использую gmapQi и хочу сгенерировать ошибку, если тип обнаруженного под -...
вопрос задан: 23 May 2017 12:27
0
ответов
Влияние ограничения мономорфизма на ограничения класса типа
Этот код нарушается при добавлении объявления типа для baz: baz (x: y: _) = x == y
baz [_] = baz []
baz [] = False Обычное объяснение (см. Пример, почему я не могу объявить предполагаемый тип?) ...
вопрос задан: 23 May 2017 12:27
0
ответов
Сравнение длины списка со стрелками
На основе сравнения длины списка Если я хочу найти самый длинный список в списке списков, возможно, самый простой способ: longestList :: [[a]] -> [a] { {1}} longestList = maximumBy (сравнение длины) A ...
вопрос задан: 23 May 2017 12:27
0
ответов
Приложение для Android в haskell
Привет, я знаю, что есть похожие вопросы. Но, возможно, в этой области есть обновления или новые библиотеки.
Что я ищу: Лучшие практики написания android
приложение в Haskell. Я знаю в
c # (...
вопрос задан: 23 May 2017 12:26
0
ответов
Мемоизация в Haskell с использованием готовых структур данных
Я считаю, что этот ответ и эта страница вики являются отличным введением в мемоизацию в Haskell. Однако они все еще оставляют меня с вопросом, на который я надеюсь получить ответ: Мне кажется, что ...
вопрос задан: 23 May 2017 12:26
0
ответов
Почему DuplicateRecordFields не может иметь вывод типа?
Связанный пост: Как устранить неоднозначность функции селектора? https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields Однако мы не выводим тип аргумента для ...
вопрос задан: 23 May 2017 12:26
0
ответов
Как работают IncoherentInstances?
Поигрались с некоторым кодом: {- # LANGUAGE FlexibleInstances, OverlappingInstances # -} class Arity f, где arity :: f -> Int instance Arity x, где arity _ = 0 instance Arity f = > Arity ...
вопрос задан: 23 May 2017 12:26
0
ответов
Об улучшении производительности Haskell по сравнению с C в микро-тесте Фибоначчи
Я столкнулся с этим вопросом, в котором сравнивалась производительность различных компиляторов при вычислении чисел Фибоначи наивным способом. Я попытался сделать это с помощью Haskell, чтобы увидеть, как он соотносится с кодом C. C: # ...
вопрос задан: 23 May 2017 12:26
0
ответов
Оператор композиции функций Haskell типа (c → d) → (a → b → c) → (a → b → d)
Обычная композиция функций имеет тип (.) :: (b -> c) -> (a -> b) -> a -> c Я полагаю, это должно быть обобщено на такие типы, как: (.) :: (c -> d) -> (a -> b -> c) -> a ...
вопрос задан: 23 May 2017 12:26
0
ответов
Транзитивность авто-специализации в GHC
Из документов для GHC 7.6: «Да, вам вообще даже не нужна прагма SPECIALIZE. При компиляции модуля M оптимизатор GHC (с -O) автоматически учитывает каждый верхний уровень ...
вопрос задан: 23 May 2017 12:25
0
ответов
Теория монад и Haskell
Большинство учебных пособий, кажется, дают много примеров монад (ввод-вывод, состояние, список и т. Д.), А затем ожидают, что читатель сможет абстрагируют общий принцип, а затем упоминают теорию категорий. Я не ...
вопрос задан: 23 May 2017 12:25
0
ответов
Parsec vs Yacc / Bison / Antlr: Почему и когда использовать Parsec?
Я новичок в Haskell и Parsec. После прочтения главы 16 «Использование Parsec в Real World Haskell» у меня в голове возник вопрос: почему и когда Parsec лучше других генераторов парсеров, таких как Yacc / Bison / ...
вопрос задан: 23 May 2017 12:25
0
ответов
Использование типов Haskell высшего порядка в C #
Как я могу использовать и вызывать функции Haskell с сигнатурами типов высшего порядка из C # (DLLImport), например .. . double :: (Int -> Int) -> Int -> Int - функция высшего порядка typeClassFunc :: ... - & ...
вопрос задан: 23 May 2017 12:25