Модная типизация в Python
Разработчики пришивают типы к Python.
Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.
Не могу сказать что я разделяю оптимизм по поводу продвинутой типизации в Python. Наоборот, считаю, что это как попытка пришить змее ноги — забавно, но вряд ли удобно. Но раз куча людей тратит на это время, надо быть в курсе.
В этот раз я:
- Посмотрел что из себя представляет mypy и чем может быть полезно (мало чем).
- Посмотрел чем можно автоматически сгенерировать аннотации типов (ничего рабочего нет).
- Подумал о том, как правильно использовать проверку типов в Python, раз их так форсят.
- Нашёл библиотеку, реализующую идеологически верный подход.
Рассказывать буду тезисно, без глубоких обоснований, так как делать нормального качества обоснования для таких холиварных вопросов слишком долго, а я уже дней 5 на копание в этом потратил.
Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.
Софт для «поддержки принятия решений»
Обновлено: исходники проекта открыты — https://github.com/Tiendil/morphologic
В марте я писал в фейсбуке про софт для «поддержки принятия решений». О том, что не могу найти ничего подходящего.
В итоге я решил, что если гора не идёт к Магомету, то Магомет пишет необходимый софт сам.
На текущий момент у меня есть рабочий прототип, который очень надо проверить на людях.
Софт может пригодиться, если вам необходимо найти решение / выбрать архитектуру / определить лучшее сочетание параметров в сложной и / или слабо формализированной области.Например, вы знаете, что решение может обладать свойствами A, B, C, D, … Z, но не знаете какое сочетание свойств будет оптимальным. При том, что A и D несовместимы, а сочетание свойств B+X+Y выглядит лучше, чем P+Q.
В этом случае вы можете ввести список свойств, ограничения, и поэкспериментировать, меняя правила подбора и оценки решений.
По сути, софт помогает делать полный перебор всех вариантов решений с ограничениями.
На странице софта есть более подробноее описание и инструкция.
Посмотрите пожалуйста. В основном на предмет полезности для вас лично и идей в какую сторону двигать разработку.
Прототип:: https://tiendil.github.io/morphologic/
Группа в телеграм для обсуждения: https://t.me/morphologic_soft
Как я делал и делал бы поддержку GDPR
Удалось столкнуться с этой штукой в момент её появления и в авральном режиме впилить в крупную мобильную игру. Поскольку делать эту функциональность мне явно придётся ещё не раз, а также потому, что иногда спрашивают про неё запишу тут свои мысли о практической реализации поддержки этого закона.
Без юридических тонкостей, так как они не моя специальность, могу насоветовать не того. В целом, с подозрением относитесь к любым не программистским утверждениям в этом тексте, их надо перепроверять!
Про GUI я тут тоже говорить не буду.
Этот текст не отражает ни конкретную реализацию, ни идеальную, а является скорее собранием накопившегося опыта и мыслей.
О книге «Психология и космос»
обложка книги «Психология и космос»
Книга за авторством кандидата медицинских наук (на 1981 год) Владимира Лебедева и того самого Гагарина. Пишут, что авторскую подпись на вёрстке Гагарин поставил за день до смерти.
Книга небольшая, очень научно-популярная. Ничего сложного в ней нет, секретные секреты не раскрыты, но читается интересно, так как информация идёт из первых рук. Первее, в данном случае, некуда.
«Психология и космос» пронизана духом зари космической эры, когда полёт человека к другим планетам ожидался «вот-вот» и развитие космонавтики двигалось в сторону дальних пилотируемых полётов. По крайней мере авторы излагают материал в этой парадигме. Также при чтении периодически ловил ощущение «доброго и наивного союза, который мы потеряли». Цитат ленина на книгу 2-3 штуки, не больше :-D
Первый взгляд на LaTeX
Аллюзия на документацию по LaTeX
Для личных нужд решил изучить эту штуку. Пока просмотрел только документацию, но определённое мнение сформировалось. Сейчас поделюсь.
Для затравки вот цитата из исследования эффективности MS Word & LaTeX.
We show that LaTeX users were slower than Word users, wrote less text in the same amount of time, and produced more typesetting, orthographical, grammatical, and formatting errors. On most measures, expert LaTeX users performed even worse than novice Word users. LaTeX users, however, more often report enjoying using their respective software.
An Efficiency Comparison of Document Preparation Systems Used in Academic Research and Development Markus Knauff*, Jelica Nejasmic.