что такое антииайподрочеры

динамика - сила, типы не нужны

а что они дрочат то

дрочат на то шо статическая типизация не нужна

Т.е. есть челы, которые сидят и страдают, читают папиры, пишут академические компилеры, чтобы решить какие-то проблемы.
А есть люди, которые ничего не делают, кроме того, что объясняют, что им и так збс.
Поэтому люди, которые что-то делают лучше людей, не принося никому страданий лучше людей, которые ничего не делают, потому что даже если мат ожидание пользы от первых невелико, от вторых вообще ноль.

Удушающий в лучших традициях!

окей, а если ети тайподрочеры не пишут компилеров, а ток срут другую точку зрения?

ты думаешь бестиповое направление обречено?

не думаю

а как тогда они "дрочат тайпы"?

окей, не дрочат но категорично уверяют в том что все что не имеет типов - недостойно жить

интересно есть ли антитайпочелы которые пилят академичные компиляторы

ну люди, которые ничего не делают, кроме категоричных заявлений ничем не лучше друг друга

последние наработки в дин. типизируемых языках активно используют разработки тайподрочеров

трейты, вывод типов и т.п.

так что я просто не знаю, куда идти антайподрочерам

В бестиповом прогинге интересна скорость, можно всякие вещи очень быстро прототипировать. Но и не только прототипировать, наверное.

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

могу провести ресерч по читаемости среди моих коллег

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

шерзод, провёл ресёрч скорости среди твоих коллег?