В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

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

qwarta.ru подробнее

Size: a a a

Haskell

1587 membersпожаловаться на группу
2021 June 15

L

LongKa (AHA pool) in Haskell
I can use google translate to trans if the article written in Russian
источник
08:57пожаловаться#1

DB

Danil Berestov in Haskell
https://habr.com/ru/post/315022/
This looks like a good starting article
Хабр
Haskell. Монады. Монадные трансформеры. Игра в типы
Еще одно введение в монады для совсем совсем начинающих. Лучший способ понять монады — это начать их использовать. Нужно забить на монадические законы, теорию к...
источник
09:19пожаловаться#2

a

adam in Haskell
book.realworldhaskell.org/read/monad-transformers.html
https://wiki.haskell.org/All_About_Monads#Monad_transformers
источник
09:35пожаловаться#3

Q

Qwerty in Haskell
Забавно смысл искажется. Типа - сделать ставку.
источник
09:53пожаловаться#4

DB

Danil Berestov in Haskell
сэд(
источник
09:53пожаловаться#5

DB

Danil Berestov in Haskell
deepl норм перевводит
источник
09:54пожаловаться#6

Q

Qwerty in Haskell
он гугл транс будет юзать
источник
09:55пожаловаться#7

DB

Danil Berestov in Haskell
use deepl
источник
09:55пожаловаться#8

DB

Danil Berestov in Haskell
готово
источник
09:55пожаловаться#9

X

XÆA-XII in Haskell
Читаю статью про фримонады, и вижу код
data Toy b next =
      Output b next
    | Bell next
    | Done
источник
11:57пожаловаться#10

X

XÆA-XII in Haskell
Разве, фримонады - это просто изменённая монада Cont?
источник
11:57пожаловаться#11

к

кана in Haskell
ну вот другой пример

data T a = A a | B (String -> a)
источник
11:58пожаловаться#12

к

кана in Haskell
измененный ли тут Cont?
источник
11:58пожаловаться#13

X

XÆA-XII in Haskell
Что это и зачем это?
источник
11:58пожаловаться#14

к

кана in Haskell
ну еще один пример функтора для фримонады
источник
11:59пожаловаться#15

a

adam in Haskell
https://stackoverflow.com/questions/45334985/when-to-use-cps-vs-codensity-vs-reflection-without-remorse-in-haskell
Stack Overflow
when to use CPS vs codensity vs reflection without remorse in Haskell
Are there any rules of thumb for when to use continuation-passing style vs codensity vs reflection without remorse when creating monads in Haskell?

As an example, I'm going to use a simple coroutine
источник
12:06пожаловаться#16

[

[BRM]White Rabbit in Haskell
ну, фримонада это же
data Free f a = Pure a | Free f (Free f a)
источник
12:06пожаловаться#17

[

[BRM]White Rabbit in Haskell
т.е. множественно раз вложенный функтор
источник
12:07пожаловаться#18

a

adam in Haskell
ну если задуматься то любая монада должна быть изменённый Cont
источник
12:08пожаловаться#19

к

кана in Haskell
но тут вроде речь про функтор все таки для фримонады
источник
12:09пожаловаться#20