У меня была идея сделать язык который бы мог абстрактно интерпретироваться, когда я только вкатывался в статику.
у каждой функции была бы пустышечная имплементация на МНОЖЕСТВАХ. короче все бы функции вызывались но работали бы без затрат времени. тоесть там допустим видим IF и исполняем сразу две ветки у него, опять же если знаем что у него во входе именно сет из труфолз а не просто тру.
цикл например представляем как fold который может навысирать типов, если высирает много то например тест на красивость не проходит
такая короче типизация для богатых
Кажись ты изобрел современный процессор