Ilya

Сделал. Тут вроде несложно. Задача явно memory-bound. Значит число операций считать не будем, IO тоже считать не будем (уже посчитали с dd) Парсинг входных данных по времени...

можно как-нибудь Applicative и Functor автоматически вывести из Monad? Хочу удалить такой код instance Applicative where pure =...

Извините что прерываю, у меня такой вопрос. Вот для целых чисел у нас есть класс Integral. Как только мы реализуем его инстанс, мы оснащаемся функцией toInteger. А есть ли п...

Хочу разобраться во фри монадах на примере алгебры высказываний (not, or, and, термы) Типа считываем AST, после чего можно его 1) сразу вычислить 2) Перевести в КНФ/ДНФ 3) Ка...

как проапдейтить поле структуры по "вынимающей функции"? допустим, есть такой тип data Crowd a = Crowd {first :: a, second :: a, third :: a} deriving Functor type Man = fora...

nub, sort и прочие пряники в таких чисто "олимпиадных" задачах не применяют. Постараюсь объяснить. К sort стоит обращаться, если у тебя откуда-то уже есть список, и тебе надо...

почитал. ну начинания хорошие, но пока это выглядит несерьезно. собственно разбирал вот этот пример https://github.com/japaric/nvptx/blob/master/examples/add.rs заявлено, что ...

Решил освоить stack: сделал stack new, закинул файлы своего проекта в src, пытаюсь сделать stack build Could not find module ‘Data.Sequence’ Use -v to see a list of t...

Почему в Cont монаде pure x = \c -> c x это именно чистое значение, то есть значение без эффектов? Какого эффекта в этом значении нет, а в других продолжениях -- есть? То ес...

>Расскажи подробнее, в чём задача? ничего практического, просто развлекаюсь. Прочитал третий ответ https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-th...

Вот классный тролле-вопрос: Как можно писать на языке, где maximum(2, 1) == 1 ??

а я вчера искал Map Class от Сноймана, тоже не нашёл. Может кто знает, где он? Класс упоминается в конце этой статьи https://www.yesodweb.com/blog/2016/03/why-i-prefer-typecla...

спасибо, собралось. ещё такой вопрос: это нормально просто написать в package.yaml dependencies: - base >...

А вот такой вопрос возник про newtype, может кто-то объяснит. Почему нельзя вместо него писать просто data? Зачем новое слово? Неужели нельзя научить компилятор самостоятельно...

как переписать такую вот функцию, чтобы было красиво? min' (Just x) (Just y) = Just (min x y) min' (Just x) Nothing = Just x ...

а есть функция с типом (a -> Bool) -> [a] -> [a], которая бы выкидывала один элемент из списка по предикату? Можно сделать span, отщипнуть голову второго элемента кортежа, и ...

А ведь list comprehension это по сути та же do-нотация для списков, только чуть присахаренная? 🤔🤔 [f x | x <- xs, cond x] do ...

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @k...

Нужен двумерный массив. Требований немного 1) Вывод на экран в виде выровненной прямугольной таблички 2) Инстанс Монады (в духе монады для списков) или хотя бы Аппликатив. 3)...

тут есть какие-то подводные грабли, почему так нельзя делать всегда автоматически — считать определенным Applicative и Functor, если написан Monad?