MB
А еще у нас есть проблема с многопоточностью в нечистых функциях. Например, джавовский Matcher (матчит регулярки) нельзя использовать в многопоточном контексте, потому что у него есть внутреннее мутируемое состояние
ну в общем мне так и не стало понятно, что для меня меняется практически, что деление не является строго чистой
и плюс может приводить к переполнению
алгоритмически на практике я их отношу к чистым и каноническое определение мне мало что даёт