Вопросы по теме 'type-signature'
Haskell: сопоставление с образцом, идентификаторы и операторы
Я пытаюсь определить xor , используя сопоставление с образцом в Haskell:
(xor) :: Bool -> Bool -> Bool
True xor False = True
False xor True = True
True xor True = False
False xor False = False
Однако это дает...
1372 просмотров
schedule
28.10.2022
GHC - ограничение в подписи типа неверно
Я пытаюсь загрузить следующее определение
data NestedList a = Elem a | List [NestedList a]
flatten :: (NestedList a) => a -> [a]
flatten (Elem x) = [x]
Но GHC выдает ошибку
Expected a constraint, but 'NestedList a' has kind '*'
In...
29 просмотров
schedule
01.11.2023
Получить кодировку звуковой дорожки
Предположим, у меня есть файл .3g2. Я заметил, что они могут содержать звуковую дорожку разной кодировки (AAC, AMR).
Или, например, файл .m4a может содержать звуковую дорожку в кодировке (AAC или ALAC).
MediaInfo обнаруживает это довольно...
256 просмотров
schedule
15.12.2022
Почему сигнатура типа getEvent такая, какая она есть?
Подпись типа для getEvent из UI.NCurses библиотека имеет сигнатуру типа
Window -> Maybe Integer -> Curses (Maybe Event)
Однако, использовав эту функцию несколько раз, я все еще не совсем уверен, для чего используется Window . В...
137 просмотров
schedule
05.08.2023
Проблемы с пониманием, почему, возможно, тип подписи в Haskell
Привет, у меня проблемы с пониманием подписи типа, которая мне нужна для моей функции.
-- findPassword :: Map.Map Hash Passwd -> Int -> Hash -> Maybe Passwd
findPassword rTable width hashVal = do
let usefulHashes = take (width+1)...
116 просмотров
schedule
20.09.2022