Произошел кибербуллинг

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

Ну вот спустя 6-7 часов кодинга оно работает.
1) я не сразу додумался что если у веток потомков есть дженерик поля, то теже дженерик поля нужно добавлять и в Root, иначе при вызове функций будет невозможно вывести дженерик параметр, а также внутри матчей придется делать касты as T, потому что чертовы дженерики erased в JVM

То есть тут не видно, но и Option и Non это тоже дженерик типы, у Option тоже T что у Some, а вот у None забавное Nothing, что тоже не так уже и очевидно, ведь полей то у него нет.

2) Добавление bottom типа Nothing, который является локальным подтипом всех типов, что дает возвращать его из веток switch(все ветки switch должны возвращать один и тот же тип).
Тк кк Nothing в компараторе типов с чем угодно дает true

чертовы капиталисты
3) Добавил кастомные Keyword конструкторы типов(раньше были только unary, типа Float pi == 3.14)
Потому что я не хочу сначала создавать экземпляр эксепшона, а потом уже отдельным сообщением его throwить, это тупа, так что вот throwWithMessage вызывается напрямую на Error, а не на экземпляре Error, потому что конструктор

PS ну и да, Error, а не Exception, потомушо пишется проще ^_^

я каждые пять минут во время разработки

WebAssembly GC is now enabled by default in Stable(!) Chrome!
https://developer.chrome.com/blog/wasmgc/
#wasm

сори, но тг неудобный, скину так
Классные слайды объясняющие зачем в самой спецификации Wasm GC

чистят сами