Я определил следующий модуль, чтобы помочь мне с экспортом функции FFI: {-# LANGUAGE...
Я написал это в Scala, и он не будет компилироваться: class TestDoubleDef{ def foo(p:List[String])...
Если я напишу foo :: (Num a) => a foo = 42 GHC с радостью примет это, но если я напишу bar ::...
В главе 15 из Real World Haskell определен класс типов: class (Monad m) => MonadSupply s m | m...
У меня есть два непересекающихся набора типов, и я хочу создать другой набор, который является...
В последнее время среди блоггеров Scala наблюдается большой энтузиазм по поводу шаблона классов...
Я пытаюсь получить следующий код для компиляции import IO data MyInt = MyInt Int data MyString =...
Обычно кажется, что следующее недопустимо: class Foo a where foo :: a -> b -> a Что имеет...
Я хочу сказать, что некоторая параметризованная монада работает с обычной памятью, но подкласс моей...
Чтобы лучше понять классы типов (начиная практически с нуля), я попытался смоделировать 2-D фигуры...
Видимо, подпись моего типа была отключена. С тех пор я узнал почему. Теперь мне интересно узнать...
Вот мои попытки: module Main where data FooT = One | Two deriving (Show, Read) {- That is what I...
Я прочитал книгу Уильяма Кука «Об абстракции данных, пересмотренную» и перечитал «Лемму выражения»...
Возможно ли реализовать классы типов Haskell в C ++? Если да, то как?
Я развлекался со Scala 2.8 для забавы и пытался определить pimp , который добавляет метод "as" к...
В чем разница между чертами Scala и классом типов Haskell и C ++ 0x Concepts? Как и в этом примере...
У меня есть неоднозначная ошибка переменной типа в определении «испытания» ниже, мне интересно,...
При компиляции моего приложения на Haskell с параметром -Wall GHC жалуется на потерянные экземпляры...
В чем сходства и различия между интерфейсами типов Haskell и Go? Каковы относительные достоинства /...
Я решаю проблемы 99 на Haskell , чтобы повысить свой уровень владения языком. В задаче 7 («Свести...
Скажем, у меня есть два класса типов, определенных следующим образом, которые идентичны по функциям...
Рассмотрим этот пример: applyKTimes :: Integral i => i -> (a -> a) -> a -> a...
Я хочу создать функцию apply, которая принимает функцию с произвольным количеством аргументов, а...
Я пытаюсь построить монаду MaybeT-Transformer, основываясь на примере из Real World Haskell , глава...
Я не могу понять, что означает "| m -> w" -часть в определении класса следующим образом: class...