у меня с питонистами подобное. сначала они отрицают типы, потом говорят что типы у них в иде оказывается, потом договариваются что все уже давно на типах и ты странное спрашиваешь
мне непонятно почему писатели на мейнстриме не рефлексируют по поводу того что у них под боком есть чуваки которых волнуют эффекты, чистота, которые делают абстракции из монадок