Результаты поиска по запросу "typeclass"
за
аюсь закодировать список элементов, типы которых ограничены экземплярами некоторого класса типов: {-# LANGUAGE RankNTypes, TypeSynonymInstances, LiberalTypeSynonyms #-} module Test where class Someable a where some :: a -> String data Some = ...
Также обратите внимание, что может быть лучше использовать структуры вместо классов. Так как они являются типами значений, и мы можем иметь выполнение функций времени компиляции (CTFE) в D, при умном использовании opCall вы можете использовать их так, как если бы они были самими функциями.
ичок в D, и я ищу хороший способ программирования с классами типа Haskell, например Функторы, моноиды и др. В D. Реализовано ли что-то подобное в Танго или Фобосе? Я слышал о чертах, которые позволяют проверять типы во время компиляции ...
Классы нормальных типов предназначены для интерфейсов, как классы многопараметрических типов для множественной диспетчеризации в ООП; Вы получаете соответствующее увеличение мощности как языка программирования, так и головной боли программиста.
я изучал Haskell, я заметил, что еготип класс, который, как предполагается, является великим изобретением, которое возникло у Хаскелла. Однако встраница Википедии по типу класса [http://en.wikipedia.org/wiki/Type_class]: Программист определяет ...
приходит на ум.
е Java соглашения об именах для интерфейсов в значительной степени хорошо известны. Например, когда вы говорите, что определенный класс реализует интерфейсComparableМожно сказать, что это объекты сопоставимы. Однако соглашения об именах для ...
Либеральное условие покрытия, введенное в коде GHC 7.7, действует в GHC 7.6.
Идея Я пишуDSL [http://en.wikipedia.org/wiki/Domain-specific_language], который компилируется в Haskell. Пользователи этого языка могут определять собственные неизменяемые структуры данных и связанные с ними функции. Под ассоциированной ...
Написание экземпляров классов типов для вложенных классов в Scala
Вэтот недавний вопрос переполнения стека [https://stackoverflow.com/questions/7699831/turning-a-list-sequence-of-combinator-parsers-into-a-single-one] автор хотел изменить список анализаторов некоторого типа на анализатор, который возвращает ...
Как создать экземпляр Read для типа данных в haskell
Итак, у меня есть тип данных data SomeType a = Type a | Mix (SomeType a) (SomeType a)Это мой инстанс для SomeType instance (Show a) => Show (SomeType a) where show (Type a) = show a show (Mix a b) = "(" ++ show a ++ " " ++ show b ++ ")"Так Mix ...
Строить иерархию классов в Coq?
Я могу наивно построить иерархию алгебраических структур в Coq, используя классы типов. У меня возникли проблемы с поиском ресурсов по синтаксису и семантике Coq для классов типов. Тем не менее, я считаю, что следующее является ...
Каково влияние синонимов типов на экземпляры классов типов? Что делает прагма TypeSynonymInstances в GHC?
я читаюРеальный мир Haskell Стр. 151, и я более часа смотрел на следующий отрывок: Напомним, что String является синонимом [Char], который, в свою очередь, является типом [a], где Char заменяется параметром типа a. Согласно правилам Haskell 98, ...
В чем разница между типом и типом данных в Haskell?
Я немного сбит с толку относительно разницы междутипитип данныхв Хаскеле. Из литературы, с которой я столкнулся, у меня сложилось впечатление, что это были разные понятия.