а, я думал ты про подходы к верицикации rev

я помню ты кидал мне статью что fold универсальный, но я её отложил до того момента как прочту книгу про ТК

Да

нашёл книгу Пирса про ТК

Фолд это катаморфизм

по-моему неплохая

Многие другие штуки следствие его

Например через него можно мап сделать

Или флатмап

Я вот никогда не думал что мап через фолд реализуем

А потом оказалось что так

Вопрос к макоюзерам - у вас не трясется в Clion/IDEA терминал, когда доскроливаете его до конца?

зашел в кои-то веки в офтопик

Фолд это катаморфизм

вышел

мы как макоюзеры со стажем грустно плачем о том, что нормальных текстовых редакторов с нативным какао не осталось. Сплошной жваскрипт и Qt головного мозга

Забей. Если вы с ним на одной позиции то это дело того кто выше вас за таким следить. Если начальство бум бум то это все затыкание дырок в плотине пальцами - из такого места только калить и все. Ну или начальство менять как-то если ещё выше кто-то с мозгами стоит. Хотя тогда его бы так и без тебя бы поменяли поэтому на самом деле вариант либо забить и смириться либо валить. Да и вообще, я тоже считаю что ты просто до фигни доебался. 🤪

прям бесит

15 лет назад был текстмейт, а теперь только BBEdit остался, но это не VS Code по степени интеграции всяких RLS

А JetBrains? Или они относятся ко "всяким жаваскриптам"?

а, не юзал. Но там по-моему ехал ява через ява

лучше всего отношение макоюзеров к недо-GUI-фреймворкам иллюстрируется вот этим проектом: