Результаты поиска по запросу "type-signature"

2 ответа

Введите подписи, которые никогда не имеют смысла

Рассматривать

1 ответ

 нравится:

ал экспериментировать с Haskell и у меня возникла проблема. qqq - это функция, которая должна печатать одну строку, если вызывается с помощью «Ничего», и печатать другие вещи, если вызывается с помощью «Просто чего-то». Первая попытка, похоже, ...

1 ответ

Что происходит в подписи этого типа? (Vector.Mutable модификаторы в Haskell)

У мутабельных векторов в Haskell есть три мутатора уровня элемента: read :: PrimMonad m => MVector (PrimState m) a -> Int -> m a write :: Pr,imMonad m => MVector (PrimState m) a -> Int -> a -> m () swap :: PrimMonad m => MVector (PrimState m) a ...

ТОП публикаций

1 ответ

Ошибка при тестировании функции с отрицательным числом

Я следую вместе сУчим тебя на Haskell для хорошего благаЯ реализовал

5 ответов

Haskell сознательно НЕ поддерживает перегрузку, потому что его дизайнеры не считают это лучшим способом достижения специального полиморфизма. Путь Haskell скорее ограниченный полиморфизм, и он включает в себя объявление классов типов и экземпляров классов.

учаю следующее сообщение об ошибке при компиляции: Дубликат подписи типа: weightedMedian.hs: 71: 0-39: findVal :: [ValPair] -> Double -> Double weightedMedian.hs: 68: 0-36: findVal :: [ValPair] -> Int -> Double Мое решение состоит в том, чтобы ...

1 ответ

Что происходит в подписи этого типа? (Vector.Mutable модификаторы в Haskell)

У мутабельных векторов в Haskell есть три мутатора уровня элемента:

1 ответ

Подпись типа Haskell с несколькими ограничениями класса

Как я могу иметь несколько ограничений класса, так что если