потому что математика это больше язык, даже метаязык

философия+язык

есть же практическая, инженерная математика

поэтому исследователи этого метаязыка могут увлекаться искуственными явлениями, не имеющими отношения к реальности

но вообще такое очень похвально, не гонишься за модными трендами

спасибо 😁

ну вот то, что мне необходимо из математики (по большей части пейперы по теории графов) — я изучаю. я просто поясняю, почему уклон в синтетический фп меня не сильно увлекает)

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

проблема с уходом в абстракции типа монад в том, что не гарантируется, что это действительно подходящая абстракция для описания программ

то есть это такой троллейбус жпг — через термины фп и теорката можно выразить всё, но нужно ли?

у меня есть всё больше свидетельств того, что в программировании задействовано что-то, что функциональной парадигмой внимательно просто не рассматривается. несмотря на букву f в термине frp, к которому относится эффектор, я считаю, что именно фп в реактивном программировании вообще особо нет

к примеру я при создании forest столкнулся с новым явлением — реактивными замыканиями, это как интерпретатор обычного языка программирования с замыканиями, функциями и переменными, но при этом все переменные — реактивны

это явление, внезапно, спокойно объяснило, что такое bubbling в дом-эвентах, темплейтинг в ui-фреймворках и ряд других вещей

при этом 95% пейперов по фрп по кругу пережёвывают как можно ввернуть моноиды в эвенты, в определённый момент я просто понял, что это вопрос приоритетов

и если у людей в приоритете не имеющие прямого практического смысла спорные абстракции (повторюсь, нет доказательства того, что все эти монады являются оптимальной абстракцией, не просто возможной) — то мне с ними просто не по пути

я эти выводы сделал глядя на процесс развития purescript, авторам которого была интереснее возня с копродуктами чем то, что их код генерирует полную ахинею из колбэков на их целевой платформе

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

ну по себе скажу, что ФПшники, как и математики окружили себя мистическим ореолом, который манит к себе,  всякие эти
пучки, когомологии, духи,  кобордизмы, спектральные последовательности, театры там всякие, функторы и монады всех видов
просто появляется желание разобраться, что это такое
хотя вот путём развенчивание всех абстракций начинаешь понимать, что ничего такого прям невероятно особого в этих абстракциях нет, но интересно, да, отвлеченно расуждать всегда интересно

я кстати довольно много времени реверсил код, который разные фп компиляторы генерировали для реализации своих абстракций. к примеру, вот эвенты и сторы (которые они называют behaviors потому что не до конца разобрались в природе continuous values) из пурскрипта. это как раз дало понимание того, как высокоуровневые абстракции выглядят на практике. развеяло ореол загадочности)

в ядре эффектора для приоритетизации выполнения, используется heap, вот первая версия хипа, малоизвестный leftist heap, изначально был кодом на reasonml, который я скомпилировал в жс и зарефакторил