haskell

19зной

2ответ

Создание складки, которая позволяет типу менять после каждого вызова повторной функции для того, чтобы вызвать функцию п разы без рекурсии

Я пытаюсь использовать dfold определенного here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1)) -> (p @@ 0) -> Ve

1зной

1ответ

Правильный способ передать hlint Аргументы в ghc-mod?

Я пытаюсь вбить файл с ghc-mod. Я знаю, что ghc-mod использует hlint для этого, и я знаю, что hlint принимает аргументы для изменения предложений, которые он сообщает. Например, это работает просто от

2зной

3ответ

Сопоставление шаблонов против Простое совпадение

Я экспериментирую с Haskell, и мне интересно, почему я не смог сопоставиться с Just, содержащим пару. У меня мало опыта работы с этим языком, и я полностью потерян. f :: Int -> Maybe (Int, [Int]) f 1

0зной

1ответ

Структуры данных с монадами

import Control.Monad import Control.Monad.Random as MR import Control.Monad.ST import qualified Data.Vector.Unboxed as VU import qualified Data.Vector.Unboxed.Mutable as VUM import quali

7зной

1ответ

Какое использование двойных восклицаний?

В Data.ByteString.Internal, то есть конструктор байтовой строки PS !!(ForeignPtr Word8) !!Int !!Int Что эти двойные возгласы означают здесь? Я искал и просто получил, что (!!) можно использовать для

0зной

1ответ

Как найти и/или удалить элемент в списке кортежей в Haskell

Мне нужно написать две функции: «найти» и «удалить». Мне нужно использовать их для поиска по списку кортежей (пар) и сопоставить первый элемент в каждой паре с String. Если элемент соответствует Strin