опача, подкаст про системы эффектов с Брагилевским!
https://youtu.be/252slbrmk8M

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

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

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

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

логирование - журнал выполненных заданий, тут можно как угодно крутить, либо каждая примененная лямбда с эффектом оставляет там запись, как в морровинде, где вместо тупо галочек у тебя журнал с текстом, или как галочки например одна успешно завершившаяся(Result) фукнция(обработанный get запрос) одна новая запись

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

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

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

хачу

Zed редактор сломали мне API изменив language на languages с массивом(

хочу попробовать попользоваться подольше
зы, залил https://github.com/gavr123456789/zed-niva/tree/main, пока что паразитирую на tree sitter от Scala

Урррряяя я это сделала

@jartz665

забиндил немного основных функций компоса

Потыкал сейчас Roc и Gleam, это 2 таких функциональных языка, оба пытаются быть простыми.
Roc честно говоря абсолютно неюзабелен, какие то рандомные непонятные ошибки, очень странная система с 1 экпрешоном per функцию
Gleam же напротив оч порадовал, кто давно хотел попробовать что нибудь функциональное с типами и отличной документацией, крайне советую

Вот парсинг списка дней недели с температурами

Очередной уверенный Elm для бекенда: Gren https://youtu.be/NMGShaoRAZE
Только это литерально форк, в который встроили Node чтобы запускать на беке, сейчас идет процесс переписывания на селф хостинг.
Elm великий язык вдохновивший Gleam, Roc и вот еще Gren