0
ответов
Написание экземпляров классов типов для вложенных классов в Scala
В этом недавнем вопросе о переполнении стека автор хотел изменить список синтаксических анализаторов определенного типа на синтаксический анализатор, который возвращает списки этого типа. Мы можем представить это с помощью последовательности Scalaz для .
вопрос задан: 23 May 2017 02:27
0
ответов
в haskell, зачем Мне нужно указать ограничения типа, почему компилятор не может их понять?
Рассмотрим функцию, добавьте ab = a + b Это работает: * Main> add 1 2
3 Однако, если я добавлю а подпись типа, указывающая, что я хочу добавить объекты того же типа: add :: a -> a -> a
add ab = ...
вопрос задан: 21 April 2017 09:21
0
ответов
alternative to typeclasses?
haskell programmer. using F#. no typeclasses in F#. what to use when I need typeclasses?
вопрос задан: 31 March 2017 07:12
0
ответов
Как происходит наследование в Haskell?
Алгебраические типы данных (ADT) в Haskell могут автоматически становиться экземплярами некоторых классов типов (например, Show, Eq), производя от них производные. данные Может быть = Ничего | Просто производное (Eq, Ord) My ...
вопрос задан: 3 March 2017 16:23
0
ответов
В чем разница между типом и типом данных в Haskell?
Меня немного смущает разница между типом и типом данных в Haskell. Из литературы, с которой я столкнулся, у меня сложилось впечатление, что это разные концепции.
вопрос задан: 3 March 2017 00:46
0
ответов
Стрелка и Монада, две независимые точки зрения для составления вычислений?
Я читал "Классопедию типов" Брента Йорги в Monad.Reader # 13 и обнаружил, что " "иерархия функторов" взаимозависима от "иерархии категорий", как показано на рисунке 1. И согласно ...
вопрос задан: 2 January 2017 23:13
0
ответов
Переделывание стандартных классов [закрыто]
Как свидетельствует Typeclassopedia, текущий стек классов, импортированных из теории категорий, представляет собой нечто вроде запутанной исторической случайности, а не красивой связное целое. В частности, это...
вопрос задан: 27 September 2016 18:22
0
ответов
Каково соглашение об именах для классов типов в Scala?
В мире Java соглашения об именах интерфейсов довольно хороши учредил. Например, когда вы говорите, что определенный класс реализует интерфейс Comparable, вы можете сказать, что это объекты ...
вопрос задан: 24 May 2016 18:51
0
ответов
Явный импорт экземпляров
Как мне явно импортировать экземпляры класса типов? Кроме того, как мне сделать это с квалифицированным импортом? В настоящее время я выполняю import Control.Monad.Error (), чтобы импортировать экземпляр монады, который я могу использовать для (...
вопрос задан: 6 April 2016 09:25
0
ответов
Полугруппа / Моноид / Иерархия классов типов групп в ошибках Haskell
Я пытаюсь создать «иерархию» классов алгебраических типов , а именно: class Semigroup a where (. *) :: a -> a -> a foldr1 (. *) = foldl1 (. *) - ошибка GHCi: "` foldr1 'не является (видимым) ...
вопрос задан: 8 March 2016 09:47
0
ответов
Что такое Data.Typeable в Haskell?
Я встречал ссылки на Data.Typeable Haskell, но это мне непонятно, почему я хочу использовать его в своем коде. Какую проблему он решает и как?
вопрос задан: 2 October 2015 02:04
0
ответов
Как дополнительно ограничить существующий класс типов в Haskell
Есть ли способ дополнительно ограничить контекст существующего класса типов? Например, класс типов Functor: class Functor f where fmap :: (a -> b) -> fa -> fb Этот класс...
вопрос задан: 6 June 2015 22:31
0
ответов
Scala: разница между классом типов и ADT?
Каковы различия между классами типов и абстрактными типами данных? Я понимаю, что это базовая вещь для программистов на Haskell, но я из среды Scala и буду интересоваться примерами ...
вопрос задан: 29 September 2013 18:55
0
ответов
Предложение для объявлений / экземпляров локальных данных
Мне любопытно, и я не смог найти предложения на что-то подобное в Хаскеле. Подумайте, написана ли sort, но не sortBy. sortBy :: forall a. (a -> a -> Порядок) -> [a] -...
вопрос задан: 10 March 2013 08:30
0
ответов
Понимание того, как Either является экземпляром Functor
В свободное время я изучаю Haskell , так что это вопрос для начинающих. В своих чтениях я наткнулся на пример, показывающий, как Either a становится экземпляром Functor: instance Functor (Either a) ...
вопрос задан: 11 November 2012 07:42
0
ответов
Scala :проверка, является ли объект числовым
Возможно ли совпадение с шаблоном определить, является ли что-то числовым? Я хочу сделать следующее :class DoubleWrapper (value :Double ){ override def equals (o :Any ):Boolean = o match { case o :...
вопрос задан: 18 August 2012 17:34
0
ответов
вызов класса типов :с переменными аргументами и результатами
При написании некоторых экземпляров Arbitrary я реализовал пару функций со следующим довольно механическим шаблоном :type A = Arbitrary --, чтобы сократить размер аннотаций ниже. сжать1...
вопрос задан: 17 August 2012 23:36
0
ответов
Haskell Data.List.Class и синтаксис
Я пытаюсь прочитать исходный код пакета Haskell Data.List.Class. (Список -0.4.2 ). Но я застрял с некоторым синтаксисом. В самом начале он читает :data ListItem l a = Nil |...
вопрос задан: 2 August 2012 08:37
0
ответов
Тип класса Haskell sub -требует UndecidableInstances?
Рассмотрим следующий пример кода :{ -#LANGUAGE FlexibleInstances #-} { -#LANGUAGE UndecidableInstances #-} --Есть ли способ избежать этого? --Общий класс с общей функцией. класс Foo a...
вопрос задан: 29 July 2012 06:24
0
ответов
Создать экземпляр переменной типа в Haskell
РЕДАКТИРОВАТЬ: Решено. Я не знал, что включение языкового расширения в исходном файле не включило языковое расширение в GHCi. Решение было: установить FlexibleContexts в GHCi. Недавно я ...
вопрос задан: 28 July 2012 19:27
0
ответов
Haskell :Как определить класс типов для множеств?
Полный новичок здесь, изо всех сил. Я пытаюсь определить класс типов для наборов. В этом случае потребуется только определение «существует». 'exists' будет принимать набор и функционировать для элемента набора, и...
вопрос задан: 16 July 2012 17:00
0
ответов
Иногда Ord и Enum несовместимы в Haskell?
Могут ли Ord и Enum быть одним классом типов? Почему Enum не требует Eq?
вопрос задан: 15 July 2012 21:35
0
ответов
Класс типа Haskell для Queue
Кто-нибудь написал класс типов Haskell (или существует комбинация классов типов ), которая описывает очередь FIFO. Data.Collection.Sequence кажется слишком сильным, но, с другой стороны, Data.Collection....
вопрос задан: 12 July 2012 00:03
0
ответов
Экземпляр MonadFix для Put
Надеюсь, простой вопрос: бинарный пакет определяет два типа, Get и Put. Первый по существу является государственной монадой, а второй по существу является писателем. И состояние, и запись имеют разумные...
вопрос задан: 17 June 2012 02:16
0
ответов
Существует ли эквивалент класса типов Show для Data.Text?
Шоу знают все. А как насчет: class ShowText a where showText :: a -> Text Я нигде не могу этого найти. Почему?
вопрос задан: 11 June 2012 22:15
0
ответов
Haskell :дублированные функции (+ )и (++ ), mappend
(+ )и (++ )— это просто специализации mappend; я прав? Зачем они нужны? Это бесполезное дублирование, поскольку в Haskell есть мощные классы типов и вывод типов. Допустим, мы удаляем (+ )...
вопрос задан: 9 June 2012 15:28
0
ответов
Почему не каждый тип Eq является частью Haskell?
Вернее, почему (==) нельзя использовать для каждого типа данных? Почему мы должны получать Eq ourseleves? В других языках, таких как Python, C ++ и, конечно же, в других, он имеет реализацию по умолчанию для всего!
...
вопрос задан: 8 June 2012 22:02
0
ответов
Класс типов Haskell для кортежей
Я играл с классами типов и сделал это: class Firstable f где fst :: fa -> a class Secondable f где snd :: fa -> a Затем я попытался добавить реализация для (,) и ...
вопрос задан: 5 June 2012 15:03
0
ответов
Использование Либо с синтаксисом for в Scala
Насколько я понимаю, синтаксис for в Scala очень похож на монадический синтаксис do в Haskell. В Scala синтаксис for часто используется для списков и параметров. Я хотел бы использовать его с Both, но...
вопрос задан: 2 June 2012 23:28
0
ответов
Как написать экземпляр Data.Vector.Unboxed в Haskell?
У меня есть числовое приложение, которое много работает с отрицательными логарифмами вероятностей, которые (поскольку вероятности варьируются от нуля до единицы) принимают значения положительных двойников или отрицательную бесконечность...
вопрос задан: 2 June 2012 23:22