Телеграмм чат группы haskellru страница 15906

Kirill Valyavin

Да, действительно. В общем нужен не мап, а какая-то функция с перечислимым кодоменом что ли

Мап и есть материализованная функция с перечислимым кодоменом

22:23пожаловаться #1

Roman

Еще reflection without remorse

Хотя нем уверен, что оно именно фри позволяет оптимизировать, а мне просто альтернативный оптимищированныц подход

22:23пожаловаться #2

Kirill Valyavin in Haskell

Мап и есть материализованная функция с перечислимым кодоменом

У мапа ключи перечислимые тоже

22:23пожаловаться #3

Кстати case линейный по количеству веток?

22:24пожаловаться #4

Наверное нет

22:24пожаловаться #5

Нет, они просто Ord. Перечислимым её делает тот факт, что ты мапу с бесконечным кол-вом ключей просто не сделаешь

22:24пожаловаться #6

Kirill Valyavin in Haskell

Во, понял. Нужно, чтобы ключи отображались в перечислимый тип, а из него уже в конечный результат

22:24пожаловаться #7

Извиняюсь, если запугал Codensit-ями, но я сам пытался въехать в то как они работают, но понял только зачем их применяют и как. Чёрная магия.

Работают для монад ровно так же как difference lists по отношению к обычным спискам

22:25пожаловаться #8

Ilya Kos

Кстати case линейный по количеству веток?

Там целый подкомпилятор внутре GHC для case. А вообще, в случаях когда кейсы не пересекаются, я думаю, оно просто делает [] по номеру конструктора

22:25пожаловаться #9

Roman

Еще reflection without remorse

> CPS

Так это оно же и есть

22:26пожаловаться #10

> CPS

Так это оно же и есть

Там хитрожопое

22:26пожаловаться #11

Roman

Там хитрожопое

А, так вот как сделаны всякие fused-effects. А то я всё пытался понять, что там за queue

22:29пожаловаться #12

Спасибо!

22:29пожаловаться #13

А, так вот как сделаны всякие fused-effects. А то я всё пытался понять, что там за queue

Fused effects работает на очень агрессивных инлайнах

22:29пожаловаться #14

Что хендлеры вообще пропадают

22:30пожаловаться #15

Или чёт такое

22:30пожаловаться #16

Короче не в этом магия

22:30пожаловаться #17

Для этого весь юзерспейс код должен быть помечен INLINE

22:31пожаловаться #18

А, так вот как сделаны всякие fused-effects. А то я всё пытался понять, что там за queue

Ты точно fused-effects а не freer имеешь в виду?

22:31пожаловаться #19

Во фьюзд я думал АСТ вообще не собирается