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