30 августа 2026
Алексей ХудяковНу мне логика такого вывода вовсе не ясна
Ну я скорее соглашусь что доку лучше поправить и не полагаться на то что пользователь что-либо понимает про рантайм GHC и рантаймы ЯПов в целом
Dima | No AI clubПросто base либа в целом же не должна строго к одной реализации привязываться. А вариантов шедулинга зелёных потоков независимо от рантайма не так много. Для авторов документации хуков к рантайму это очевидно, а обычный пользователь должен все варианты перебрать
Ну реализация у нас одна.
Не, пользователь должен иметя ясный список гарантий, а не перебирать ничего - все одно ошибется
Еноттекст ещё не в индексе
у слова "комбинатор" много смыслов.
комбинатор в чуть более широком смысле — это функция над функциями (ещё есть термины "оператор", "функционал", ФВП). в математике есть комбинаторы как функции в линейных пространствах. (если я правильно помню, множество функций — тоже линейное пространство, так что эти термины сходятся)
в ещё более широком — функция над сложными штуками.
конкретно в Хаскеле парсерный комбинатор — это функция из парсеров в парсеры, то есть штука, позволяющая создавать новые парсеры, комбинируя старые.
а если вспомнить, что парсер — это, как правило, (обёрнутая) функция, то комбинатор — это снова функция над функциями
Еноттекст ещё не в индексе
Хаскель много заимствует из ЛИ и КИ, знать из полезно, но не всегда стоит их буквально применять
Dima | No AI clubтекст ещё не в индексе
ForkOn это к капабилити привязывать кстати не очень понятен сценарий
Я слушал лекции Душкина по S/K/I базисам и если честно - он меня только запутал. Без практичкеского применения трудно оценить этот механизм. И хотя я понимаю что комбинаторы - это как лептоны и кварки в мире физики. Самый базовый строительный элемент. Но мне от этого не легче читать подобный код.
Бесит проосто.
Cirnoу слова "комбинатор" много смыслов.
комбинатор в чуть более широком смысле — это функция над функциями (ещё есть термины "оператор", "функционал", ФВП). в математике есть комбинаторы как функции в линейных пространствах. (если я правильно помню, множество функций — тоже линейное пространство, так ч
насколько я понимаю, слово комбинатор используется в КИ, потому что это тоже функция над функциями
ЕнотЯ слушал лекции Душкина по S/K/I базисам и если честно - он меня только запутал. Без практичкеского применения трудно оценить этот механизм. И хотя я понимаю что комбинаторы - это как лептоны и кварки в мире физики. Самый базовый строительный элемент. Но мне от этого не легче читать подобный код.
Б
тогда забудь про КИ, слушай Москвина про Хаскель и пиши код
Алексей ХудяковВ безтредовой просто еггог зовут
Ну в общем я согласен что задокументировать этот факт можно более явно. В то же время документации по рантайму еще более остро не хватает
ЕнотЯ слушал лекции Душкина по S/K/I базисам и если честно - он меня только запутал. Без практичкеского применения трудно оценить этот механизм. И хотя я понимаю что комбинаторы - это как лептоны и кварки в мире физики. Самый базовый строительный элемент. Но мне от этого не легче читать подобный код.
Б
кстати, ты изучаешь Хаскель для КИ или КИ для Хаскеля?
Cirnoкстати, ты изучаешь Хаскель для КИ или КИ для Хаскеля?
Я вот этого не знаю. Я хватался за все подряд. Если честно я начал с изучаения Scala. И оттуда по ссылкам пришел в Хаскель. Доходило до смешного. Начинаешь искать как должен работать reduce (fold) и все теоретические материалы приводят тебя в Хаскель как все дороги в Рим.
ЕнотЯ вот этого не знаю. Я хватался за все подряд. Если честно я начал с изучаения Scala. И оттуда по ссылкам пришел в Хаскель. Доходило до смешного. Начинаешь искать как должен работать reduce (fold) и все теоретические материалы приводят тебя в Хаскель как все дороги в Рим.
мне кажется, тебе интересно ФП в целом, как я и предполагал выше. отложи КИ в сторону, если не получается разобраться, это для программирования не особо нужно
Cirnoтогда забудь про КИ, слушай Москвина про Хаскель и пиши код
Я лет 10 назад начал с книги Душкина про Хаскель. Вот он мне так в память и врезался. Потом был перерыв. Книга ушла на полку на годы. Сейчас - вернулся.
Aleksandr VershilovForkOn это к капабилити привязывать кстати не очень понятен сценарий
какая-нибудь связка с -qa чтобы состояние кэшей между ядрами не мигрировало и при этом с легковесными потоками работа была
ЕнотЯ вот этого не знаю. Я хватался за все подряд. Если честно я начал с изучаения Scala. И оттуда по ссылкам пришел в Хаскель. Доходило до смешного. Начинаешь искать как должен работать reduce (fold) и все теоретические материалы приводят тебя в Хаскель как все дороги в Рим.
немного странный вопрос. а можешь его сформулировать конкретнее?
для меня очевидно, что левая свёртка должна работать как
((a_1 ⬥ a_2) ⬥ ...) ⬥ a_n
и правая как
a_1 ⬥ (a_2 ⬥ (... ⬥ a_n)
Dima | No AI clubкакая-нибудь связка с -qa чтобы состояние кэшей между ядрами не мигрировало и при этом с легковесными потоками работа была
Не понимаю, тебе нужны четкие гарантии чтобы был доступ к thread local storage или у библиотеки есть ожидания от C стека