Модная типизация в Python

Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.

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

В этот раз я:

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

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

Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.

Далее

Видео с изменениями карты мира «Сказки» с 2013 года

Смотреть лучше в максимальном качестве.

Карта изменяется динамически, исходя из действий игроков и своей внутренней логики.

По сути реализована небольшая модель формирования ландшафта с учётом климата и «точек влияния», контролируемых игроками.

Просчитываются и меняются: высота, температура почвы/воздуха, направление ветра, влажность, плодородность земли, типы растительности.

Поверх этого отображаются обобщённые биомы (пустыня, джунгли, горы, etc). Для каждой клетки выбирается биом, который лучше всего ей подходит.

По ссылкам с ютуба можно скачать более подробные ролики.

Травмирование формализмом

Эта мысль у меня начала зудеть как-только я выпустил Сказку и начал работать с сообществом её игроков. Но сформулировать её никак не получалось, хотя само явление встречается повсеместно и периодически меня натурально выбешивает.

Вы встречали людей, которые, явно сжульничав и сделав гадость, искренне не понимают в чём проблема, повторяя «я всё сделал по правилам» или «правилами это не запрещено»?

Людей, которые любую работу делают максимально формально, не вникая ни в какие нюансы?

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

Так вот, всему этому я придумал диагноз: «травмирование формализмом».

Суть вот в чём…

Далее

О проектировании миров

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

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

Далее

О распределении долей в стартапах

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

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

Далее