List на "dependently-typed language where values, types and sorts are unified" и ниве ^_^
🤯1
У чайной vm вышел новый реализ с другой реализацией Wasm бекенда, теперь она переиспользует GC который не так давно был стабилизирован и добавлен во все браузеры.
Теперь выходные бинарики будут куда меньше так как не надо тащить за собой реализацию GC
Также теперь гораздо проще вызывать жсные апишки
https://github.com/konsoletyper/teavm/discussions/984
(teavm это жвм байткод в C|js|Wasm)
Теперь выходные бинарики будут куда меньше так как не надо тащить за собой реализацию GC
Также теперь гораздо проще вызывать жсные апишки
https://github.com/konsoletyper/teavm/discussions/984
(teavm это жвм байткод в C|js|Wasm)
gavr_sas
У чайной vm вышел новый реализ с другой реализацией Wasm бекенда, теперь она переиспользует GC который не так давно был стабилизирован и добавлен во все браузеры. Теперь выходные бинарики будут куда меньше так как не надо тащить за собой реализацию GC Также…
брух, довольно юзлес оказалась, поддерживает токо эти классы из стд
Значица единственным способом сделать трули нативные бинарики остается GraalVM
Значица единственным способом сделать трули нативные бинарики остается GraalVM
gavr_sas
блин оч нравится вся анимация этого чела https://youtu.be/RXRRQxJwpnM #anime
И то что он в другой сделал отсылку на вот этот кадр, тупа 10/10
https://youtu.be/tCK_OsBg9gA
https://youtu.be/aFdE__2OKc8
https://youtu.be/tCK_OsBg9gA
https://youtu.be/aFdE__2OKc8
Media is too big
VIEW IN TELEGRAM
опача, подкаст про системы эффектов с Брагилевским!
https://youtu.be/252slbrmk8M
https://youtu.be/252slbrmk8M
gavr_sas
опача, подкаст про системы эффектов с Брагилевским! https://youtu.be/252slbrmk8M
ща шол слушал подкаст, там спросили как связаны системы эффектов и линейные типы, и я шото шизанул странной идеей
даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов.
пускай флоу программы это будет Player, и у него есть инвентарь, где могут быть данные или лямбды, все это как бы как одноразовые предметы, и он может их ходить применять, тк кк они одноразовые это и есть линейные типы, а то что он получает лямбды и потом их применяет тратя это чисто алгебраические эффекты, то есть лямбда аля прочитать файл\отравить реквест
выдаются они раздатчиками аля пополнитель хп\брони из халвы, но в зависимости от цвета(дум)\типа карточки которая есть у Player они могут выдавать разное, это полиморфизм
логирование - журнал выполненных заданий, тут можно как угодно крутить, либо каждая примененная лямбда с эффектом оставляет там запись, как в морровинде, где вместо тупо галочек у тебя журнал с текстом, или как галочки например одна успешно завершившаяся(Result) фукнция(обработанный get запрос) одна новая запись
а мультитрединг можно показать как такое зеркало после которогот выходит в 4 разграничиенных участка уровня клоны, и в конце пришедшие первыми ждут пока придут остальными — примитив синхронизации барьер!
ща пока писал все сильнее понимал насколько же это шиза, но весело, можно даже сделать это не визуальзиацией а по фану фреймворком, главное инвентарь лямбд и раздатчики сделать
даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов.
пускай флоу программы это будет Player, и у него есть инвентарь, где могут быть данные или лямбды, все это как бы как одноразовые предметы, и он может их ходить применять, тк кк они одноразовые это и есть линейные типы, а то что он получает лямбды и потом их применяет тратя это чисто алгебраические эффекты, то есть лямбда аля прочитать файл\отравить реквест
выдаются они раздатчиками аля пополнитель хп\брони из халвы, но в зависимости от цвета(дум)\типа карточки которая есть у Player они могут выдавать разное, это полиморфизм
логирование - журнал выполненных заданий, тут можно как угодно крутить, либо каждая примененная лямбда с эффектом оставляет там запись, как в морровинде, где вместо тупо галочек у тебя журнал с текстом, или как галочки например одна успешно завершившаяся(Result) фукнция(обработанный get запрос) одна новая запись
а мультитрединг можно показать как такое зеркало после которогот выходит в 4 разграничиенных участка уровня клоны, и в конце пришедшие первыми ждут пока придут остальными — примитив синхронизации барьер!
ща пока писал все сильнее понимал насколько же это шиза, но весело, можно даже сделать это не визуальзиацией а по фану фреймворком, главное инвентарь лямбд и раздатчики сделать
👍3🔥1💊1
gavr_sas
ща шол слушал подкаст, там спросили как связаны системы эффектов и линейные типы, и я шото шизанул странной идеей даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов. пускай флоу программы это…
но суть шо можно было бы кодить в такой системе как в редакторе уровней марио https://youtu.be/u5rV0FnA1u8 или Geometry dash
новая гендерная теория, чем длиннее твой ник, тем меньше тебя будут замечать в чатах(при бурных обсуждениях, или стрима где он быстро летит)