6
ответов
Scala двойное определение (2 метода имеют то же стирание типа),
Я записал это в scala, и он не скомпилирует: класс TestDoubleDef {нечто определения (p:List [Строка]) = {} нечто определения (p:List [Интервал]) = {}} компилятор уведомляет: [ошибка] двойное определение: [ошибка] нечто метода: (...
вопрос задан: 29 September 2015 12:48
5
ответов
Соединение/Объединение Классов Типа в Haskell
Скажите, что у меня есть два класса типа, определенные следующим образом, которые идентичны в функции, но отличаются на имена: класс Монада m, где (>> =):: m-> (-> m b)-> m b возврат::-> m...
вопрос задан: 6 March 2014 05:27
5
ответов
Осиротевшие экземпляры в Haskell
При компиляции моего приложения Haskell с - Стенная опция, GHC жалуется на осиротевшие экземпляры, например: издатель hs:45:9: Предупреждение: экземпляр висячей строки: экземпляр Результат ToSElem тип...
вопрос задан: 20 June 2010 14:17
5
ответов
TypeClasses Haskell и интерфейсы движения
Каковы общие черты и различия между TypeClasses Haskell и Интерфейсами Движения? Каковы относительные достоинства / недостатки двух подходов?
вопрос задан: 5 June 2010 20:38
4
ответа
Функции с универсальными типами параметра
Я пытаюсь выяснить, как определить функцию, которая работает над несколькими типами параметров (например, интервал и int64). Насколько я понимаю перегрузка функции не возможна в F# (конечно...
вопрос задан: 19 March 2014 04:15
4
ответа
“Разделение на подклассы” шоу в Haskell?
Позволяет говорят, что у меня есть следующее: грек данных = Alpha | Бета | Гамма | Phi, получающий Шоу, я хочу использовать показ по умолчанию всех объектов кроме Беты, которую я хочу сказать "два". Я могу сделать это?
вопрос задан: 18 April 2011 23:35
4
ответа
Неоднозначное сообщение об ошибке переменной типа
Я не думаю, что это - ошибка, но я немного озадачен относительно того, почему это не работает. Вопрос о премии состоит в том, почему он упоминает переменную e? Нет никакой переменной e. Вводная часть>: m +Control. Исключение...
вопрос задан: 17 April 2011 21:05
4
ответа
Получение произвольных функций в Haskell
При работе с полученными экземплярами в Haskell действительно ли возможно получить функции для произвольных типов, или мы ограничиваемся конкретными функциями?
вопрос задан: 16 April 2011 19:58
4
ответа
Типы Haskell, разбивающие простую 'среднюю' функцию
Я играю вокруг с новичком Haskell, и я хотел записать среднюю функцию. Это походило на самую простую вещь в мире, правильно? Неправильно. Кажется, что система типов Haskell запрещает...
вопрос задан: 16 April 2011 19:19
4
ответа
Почему Haskell не доходит выводить typeclasses типа данных в функциональных подписях?
Во-первых, этот вопрос не на 100% характерен для Haskell, не стесняйтесь комментировать общий дизайн typeclasses, интерфейсов и типов. Я читаю LYAH - создающие типы и typeclasses следующее...
вопрос задан: 31 January 2010 02:38
4
ответа
Там хорошо работают / интересные аналоги к регулярным выражениям в 2-м?
Там хорошо работают (или по крайней мере интересен, но дефектный) аналоги к регулярным выражениям в двух размерах? В одном размере я могу записать что-то как/aaac? (до н.э) *b? aaa/для быстрого вытаскивания региона...
вопрос задан: 18 July 2009 13:45
3
ответа
Возвратите определенный тип в Haskell
У меня есть довольно общий вопрос о системе типов Haskell. Я пытаюсь познакомиться с ним, и у меня есть следующая функция: getN:: Цифра => getN = 5.0:: Дважды, Когда я пытаюсь...
вопрос задан: 16 September 2017 17:24
3
ответа
Существует ли способ реализовать ограничения в классах типа Haskell?
Есть ли некоторый путь (какой-либо путь) для реализации ограничений в классах типа? Как пример того, о чем я говорю, предположите, что я хочу реализовать Группу как класс типа. Таким образом, тип был бы группой если там...
вопрос задан: 29 January 2015 13:03
3
ответа
Как каждый переопределяет шоу newtype?
Я хочу переопределить целочисленных конструкторов по умолчанию в Haskell, таким образом, они производят строки (главным образом для любопытства, но временно сделать хорошую входную альтернативу для \frac Латекса {} {} неудобство). Я...
вопрос задан: 29 January 2015 02:53
3
ответа
Каков эффект синонимов типа на экземплярах классов типа? Что делает прагму TypeSynonymInstances в GHC, делают?
Я читаю реальный мир Haskell Pg 151, и я уставился на следующий отрывок больше часа: Вспомните, что Строка является синонимом для [Символа], который в свою очередь является типом, где Символ...
вопрос задан: 15 December 2013 14:34
3
ответа
Проблема при смешивании классов типа и семейств шрифтов
Этот код прекрасные компиляции: {-# ЯЗЫК MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, TypeOperators...
вопрос задан: 18 April 2011 23:30
3
ответа
Никакой экземпляр для (Плавающий Интервал)
Я изучаю Haskell. У меня есть эмпирическая функция, которая возвращает таблицу умножения до 'n' в основе 'b'. Числа дополнены к 'w' цифрам. Как последний шаг, я хочу вычислить 'w' автоматически. Почему...
вопрос задан: 18 April 2011 18:39
3
ответа
Ограничение монады к классу типа
В Haskell, там способ ограничить монаду M так, чтобы удовлетворение ограничения класса типа? Я перевожу вероятностный пример моделирования от F# до Haskell. Однако в Haskell, я опустил...
вопрос задан: 17 April 2011 19:33
3
ответа
несколько параметров типа в haskell вводят классы
Я пытаюсь сделать некоторую абстракцию в Haskell98, но doen't знают, как сделать это. То, что я хочу сделать, должно определить класс для типов, которые могут быть преобразованы в списки. toList::-> [b], Но я не делаю...
вопрос задан: 17 April 2011 08:35
3
ответа
Подъем экземпляра класса в Haskell
Существует ли способ "снять" экземпляр класса в Haskell легко? Я должен был часто создавать, например, Цифровые экземпляры для некоторых классов, которые просто "снимают" Цифровую структуру через тип...
вопрос задан: 16 April 2011 20:06
3
ответа
Управление порядком аргументов ввести конструкторов
Я записал что-то вроде этого: Функтор экземпляра (Любой e), где fmap _ (Оставленный a) = Оставленный fmap f (Право b) = Право (f b), Как я делаю то же, если я хочу, чтобы fmap изменил значение, только если это...
вопрос задан: 25 February 2010 18:36
3
ответа
Что случилось с классами типа?
Классы типа, кажется, большая возможность записать универсальные и допускающие повторное использование функции очень последовательным, эффективным и расширяемым способом. Но все еще никакой "основной язык" не обеспечивает их - На...
вопрос задан: 28 November 2009 18:43
3
ответа
Стенография Haskell Typeclass
Так, у меня есть пара typeclasses, что я буду использовать много вместе, и я не хочу определять оба каждых раза. В основном, вместо помещения:: (Порядок a, Дробный a, Порядок b, Дробный b... Порядок...
вопрос задан: 20 November 2008 18:10
2
ответа
Scala: абстракция функции toString для классов case
Предположим, у меня есть класс case, определенный следующим образом: case case User (name: String, age: Int) Я хотел бы переопределить его метод toString следующим образом: case class User (name: String, age: Int) {...
вопрос задан: 21 March 2019 10:05
2
ответа
Введите классы в типах данных Haskell
В Haskell можно определить тип данных как так: данные Point1 = Point1 {x:: Целое число, y:: Целое число} можно использовать классы типа для переменных в типе данных? Раз так, как? Я понимаю, что это...
вопрос задан: 3 March 2017 00:35
2
ответа
Высший сорт типа на typeclass? [Дубликат]
Чтобы узнать, если тип - это более высокий тип ghci, укажите: Prelude & gt; : k Возможно Может быть :: * - & gt; * И попытался на typeclass, как: Prelude & gt; : k Functor Functor :: (* - & gt; *) - & gt; Ограничение ...
вопрос задан: 11 July 2015 00:11
2
ответа
Как каждый объявляет тип контейнера абстрактных данных в Haskell?
Я считал William Cook "На Абстракции Данных, Пересмотренной", и перечитал Ralf Laemmel "Лемма выражения", чтобы попытаться понять, как применить бывшие идеи газеты в Haskell. Так, я пытаюсь...
вопрос задан: 23 April 2011 22:46
2
ответа
Система типов Haskell рассматривает численное значение как функцию?
После проигрывания вокруг с haskell немного я споткнулся эту функцию: Данные Вводной части. Maclaurin>: t ((+). ($). (+)) ((+). ($). (+)):: (Цифра a) =>-> (-> a)->-> (Данные....
вопрос задан: 18 April 2011 22:50
2
ответа
Что “|” для в определении класса Haskell?
Я не могу выяснить то, что "| m-> w" - часть означает в определении класса как это: класс (Моноид w, Монада m) => MonadWriter w m | m-> w, Какая дополнительная информация делает это, добавляет к классу...
вопрос задан: 18 April 2011 14:35
2
ответа
liftM может отличаться от liftA?
По данным Typeclassopedia (среди других источников), Применимый логически принадлежит между Монадой и Указанный (и таким образом Функтор) в иерархии классов типа, таким образом, у нас идеально было бы что-то как...
вопрос задан: 6 January 2011 20:58