Ну ладно, с "крупным" понятно. А вот у тех, кто знает

Question

Ну ладно, с "крупным" понятно. А вот у тех, кто знает

теоркат, получалось что-то применить в проектировании/программировании "обычных" приложений на Haskell?

Я вот только лемму Йонеды разве что к продолжениям смог присобачить. Точнее, понять, как это можно использовать.

#haskell #programming #russian

0

25.02.2022

22 ответов

17 просмотров

toroboque Автор вопроса

Cheese Syrowiecki
я только слышал, как оптимизируют скорость с помощ...

Фигасе, а где можно посмотреть??

0

25.02.2022

Cheese Syrowiecki

toroboque
Фигасе, а где можно посмотреть??

https://hackage.haskell.org/package/parsec-3.1.15.0/docs/src/Text.Parsec.Prim.html#ParsecT обоснование не нагуглил

0

25.02.2022

toroboque Автор вопроса

Cheese Syrowiecki
https://hackage.haskell.org/package/parsec-3.1.15....

Спасибо

0

25.02.2022

IC Rainbow

Cheese Syrowiecki
https://hackage.haskell.org/package/parsec-3.1.15....

Ну это стандартная тема для монадок. В аттопарсеке так же. Нужно чтобы не накапливать неправильно ассоциированные бинды.

0

25.02.2022

Cheese Syrowiecki

IC Rainbow
Ну это стандартная тема для монадок. В аттопарсеке...

@toroboque вы понимаете это объяснение? я с трудом

0

25.02.2022

Nutritional Rabbit

Cheese Syrowiecki
@toroboque вы понимаете это объяснение? я с трудом

как с dlist, только вместо ++ тут >>=

0

25.02.2022

Nutritional Rabbit

Cheese Syrowiecki
@toroboque вы понимаете это объяснение? я с трудом

то же самое https://hackage.haskell.org/package/kan-extensions-5.2.3/docs/Control-Monad-Codensity.html

0

25.02.2022

IC Rainbow

Nutritional Rabbit
то же самое https://hackage.haskell.org/package/ka...

"Gosh, you're an endofunctor, behave like one!"

0

25.02.2022

Nutritional Rabbit

IC Rainbow
"Gosh, you're an endofunctor, behave like one!"

Ну да, отсутствие накопления неправильно ассоциированных биндов гораздо проще понять, если осознать, что это всего лишь правое канское расширение профунктора p вдоль самого себя.

0

25.02.2022

toroboque Автор вопроса

Nutritional Rabbit
Ну да, отсутствие накопления неправильно ассоцииро...

Не, всё ещё не понятно :) Если есть время, разжуйте, плз. Интересно.

0

25.02.2022

Nutritional Rabbit

toroboque
Не, всё ещё не понятно :) Если есть время, разжуйт...

вот тут ридми прочитай https://hackage.haskell.org/package/dlist

0

25.02.2022

TOV_MULTIMASSO

Nutritional Rabbit
Ну да, отсутствие накопления неправильно ассоцииро...

и ты, Брут

0

25.02.2022

Nutritional Rabbit

TOV_MULTIMASSO
и ты, Брут

Не волнуйся, я просто перевёл описание одной либы с коденсити

0

25.02.2022

TOV_MULTIMASSO

Nutritional Rabbit
Не волнуйся, я просто перевёл описание одной либы ...

Фух

0

25.02.2022

Nutritional Rabbit

TOV_MULTIMASSO
Фух

Так что я ещё нормальный, да

0

25.02.2022

aadaa_ftgaa

IC Rainbow
Ну это стандартная тема для монадок. В аттопарсеке...

Мне кстати интересно насколько CPS реально полезен для парсеров. Реассоциация байндов безусловно важна для всяких free/conduit, там это в некоторых случаях действительно дает асимптотическое ускорение, но у парсеров-то нет явной глубокой вложенности, так что интересно, насколько cps для них полезен? Из других плюсов у cps отсутствие необходимости кейса по результату и, возможно, какие-то оптимизации для трансформера без конкретной монады, но зато наверное больше аллокаций для замыканий

0

25.02.2022

TOV_MULTIMASSO

aadaa_ftgaa
Мне кстати интересно насколько CPS реально полезен...

trifecta сделана через псевдопродолжения, например

0

25.02.2022

aadaa_ftgaa

TOV_MULTIMASSO
trifecta сделана через псевдопродолжения, например

А что в этом контексте значит "псевдо"?

0

25.02.2022