169 похожих чатов

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

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

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

22 ответов

15 просмотров

я только слышал, как оптимизируют скорость с помощью кодировки Чёрча (или Скотта?), хотя это не теоркат

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

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

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

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

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

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

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

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

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

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

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

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

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

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

TOV_MULTIMASSO
и ты, Брут

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

TOV_MULTIMASSO
Фух

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

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

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

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

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

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

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

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

Они как бы продолжения, но у настоящих продолжений тип a -> Bottom, потому что возврата не происходит

TOV_MULTIMASSO
Они как бы продолжения, но у настоящих продолжений...

А, ну это понятно, просто кмк за отсутствием настоящих в хаскеле их так обычно не называют

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

даже если там монадок нет, то всё равно парсеры, будучи автоматами на разные лады, хорошо ложатся на CPS сами по себе, вроде как

Похожие вопросы

Обсуждают сегодня

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта