Т8
Там слишком много сложностей чтобы его не допустить
вот сам попробуй пописать на плюсах. У опытного плюсовика вообще не будет UB по сравнению с тем, что ты накодишь
*.\test> printf "hello"
"hello" : String
*.\test> printf "hello %d"
\i => prim__concat "hello " (prim__toStrInt i) : Int -> String
*.\test> printf "hello %d" 10
(input):1:1-20:printf "hello %d" does not have a function type (PrintfType (reduceFormat (toFormat (unpack "hello %d"))))