Camara

Возник вопрос по использованию ghcid. Можно ли его использовать для отладки тестов? Например, когда я правлю проект, то запускаю его следующим образом: vim :term bash ghcid —c...

У меня возник вопрос, как правильно написать следующее поведение. Вот у меня есть три фукнции в монаде Either. И я могу написать код функции doitE следующим образом. fooE :: I...

У меня возникли вопросы по функции init из Prelude (https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.List.html#init), когда я посмотрел исходный...

Изменение типа с SomeException на String и правда удобней @cheese_hs . А вот такой вариант насколько некрасив еще? loadConfigDB :: IO (Either String ConfigDataBase) loadConfi...

Возник вопрос про отображение типов ghci. Я смотрю библиотеку Data.ByteString.Base64 (https://hackage.haskell.org/package/base64-1.0/docs/Data-ByteString-Base64.html). Там ест...

а еще пути есть?

Игрался с сортировкой букв по алфавиту. В итоге получил вот такие две функции. Кто-нибудь может объяснить, почему следующие функции имеют одинаковый тип? import Control.Monad...

Если у меня есть тип (data MyType = MyType Text deriving (Show, Generic, ToJSON)), то я легко могу перевести его в json с помощью библиотеки Aeson (encode @MyType (MyType "HOH...

А подскажите, пожалуйста, как удалить полностью stack. Я пишу stack uninstall. Он говорит какие папки удалить, обычно это одна .stack. Ее удаляю, но все равно могу в консоле з...

я написал три функции, которые складывают сумму цифр, переданных им чисел. bar :: (Int, Int) -> Int bar (a, b) = a' + b' where a' = (sum . map digitToInt . show) a b...

я правильно понимаю, что если хочу создать тип вида: data Trie = [(String, Maybe Trie)] то должен написать нечто: data Trie = List Para | Nil data Para = MkPara { fst :: St...

Size balanced binary trees (or trees of bounded balance) это АВЛ-деревья? Это Set на них. И как переводить правильно big-endian patricia trees? Подскажите, пожалуйста, а то я ...

Я посчитал число функцией logBase :: Floating a => a -> a -> a. Как мне быстро узнать целое ли оно?

Я как-то могу задать данную функцию bprim над типами SExpr без фукторов и аппликативов? Компилятор ругается, что встречается тип а, когда должен быть Int, может быть это убира...

ошибка в Num и quot?

а что значит коэрсить? Думал newtype просто для компайл тайма версия data.

Я как то могу словить ошибку non exhaustive patterns не завершая программу? try тут не помогает.

Есть вопрос про оптимизацию рекурсии на примере вычисления n-го числа Фибоначчи. Простой вариант, когда мы используем представление fib n = fib (n – 1) + fib (n – 2), работает...

Если я задал тип данных: data SF = DEF | C String | LAM Int ENV deriving (Eq), где ENV другой тип, который не имеет представителя класса Ord. Я могу получить автоматически ка...