все же я радикально не понимал вчера вашу позицию. Для того что я хотел как бы никакие завтипы не нужны, мы просто кодим option на типах в компайлтайме, этот option представляем не отдельной структурой а самим флоатом, у нас таким образом получается байтовое представление одно а представление в компайлтайме другое. получается та же мейби монада только мы это рантайм(читаем процессорное) поведение сопровождаем статически
т.е. короче все операции которые нам дают нан должны отдавать наш optional, и в обычном случае мы просто делаем мап по optional который должен заэлиминейтиться в тот код который вы и хотите получить(т.е. без проверок)
да это все выглядит ужасно без ду нотации и это не для каждого языка и не для каждой хотелки но чисто как PoC в голове я это представляю вполне.
а то что говорил голдштейн "оно же в процессоре" - это вообще как бы какое то совсем непонимание статики. статика это и есть эмулирование рантайм поведения в компайлтайме. смысл статики как раз в том что мы вкладываем в обьект в компайлтайме тонну лишнего смысла который нам нужен хотя в рантайме это просто сраный инт
Мысль хорошая, но исключительно как мысль. На практике у тебя нет возможности считать флоаты таким медленным способом.