https://www.opennet.me/openforum/vsluhforumID3/113114.html Сервис Instagram объявил (https://engineering.instagram.com/let-your-code-type-hint-itself-introducing-open-source-monkeytype-a855c7284881) об открытии исходных текстов проекта MonkeyType (https://github.com/Instagram/MonkeyType), в рамках которого разработана система для языка Python, позволяющая генерировать аннотации типов на основе сбора информации о типах переменных во время выполнения кода. Код открыт (https://github.com/Instagram/MonkeyType) под лицензией BSD. Для работы требуется Python 3.6 (аннотации сохраняются в атрибуте __annotations__ , а не в комментариях) и опционально утилита retype для подстановки аннотаций в код.<br><br><br> Система была разработана как для упрощения понимания кода проектов новыми разработчиками, так и для автоматизированного выявления ошибок через применение статического анализа типов. Статический анализ имеет смысл только если большая часть кода снабжена сведениями о типах, но если для нового кода такая работа может быть выполнена вручную, то для старого кода и сторонних библиот https://www.opennet.me/openforum/vsluhforumID3/113114.html#144 Fri, 29 Dec 2017 04:54:07 GMT &gt; 1. В ML'ях хотя бы было такое свойство: программа либо вообще не <br>&gt; компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся <br>&gt; как частные случаи. Классы типов рушат это свойство, и программа может <br>&gt; перестать работать (но продолжать компилироваться), если стереть аннотации типов.<br><br>Не. Классы типов, если нормально написаны, это свойство практически не рушат. Кроме того, я совершенно не уверен, что отсутствие аннотаций типов вот так уж и хорошо. См. исходники компилятора Ocaml'а - там же без поллитра вообще не разберёшься.<br><br>&gt; 2. типа <br>&gt; ну ладно, пусть так <br><br>Ну да, примерно так.<br><br>&gt; 3. я не про exceptions, я про то, что программа не компилируется <br>&gt; из-за неправильных типов, но ошибка выдается не там, где она есть, <br>&gt; а где-то глубоко внутри функции, которая сама-то правильная, но типы явно <br>&gt; не прописаны.<br><br>Это я описал практический приём отладки вот таких проблем. В Хаскеле ставится заглушка undefined, дальше компилируется. В ocaml'е вместо неё можно ставить failw https://www.opennet.me/openforum/vsluhforumID3/113114.html#143 Thu, 28 Dec 2017 09:50:38 GMT 1. Классы типов - хитрая штука, и ни разу не замена питону. В ML'ях хотя бы было такое свойство: программа либо вообще не компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся как частные случаи. Классы типов рушат это свойство, и программа может перестать работать (но продолжать компилироваться), если стереть аннотации типов. <br><br>2. типа<br><br>import Клиент as К<br>import Продавец аs П<br>... К.имя...<br>... П.имя...<br><br>?<br>ну ладно, пусть так<br><br>3. я не про exceptions, я про то, что программа не компилируется из-за неправильных типов, но ошибка выдается не там, где она есть, а где-то глубоко внутри функции, которая сама-то правильная, но типы явно не прописаны.<br><br>----------<br>вот поэтому ынтырпрайз пишет на джаве<br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#142 Wed, 27 Dec 2017 02:56:36 GMT 1. Да, по-хорошему, нужны классы типов.<br><br>2. Для этого есть модули.<br><br>3. Совершенно не обязательно - есть такая конструкция failwith "Привет". Это вроде undefined в Хаскеле. Кроме того, народ работает над улучшением диагностики.<br><br>----------------<br>В любом случае, Питон до более-менее надёжных программ такой длины, при которой возникают эти проблемы, просто не добирается. А С++ этак раза в 2-3 медленнее в разработке.<br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#141 Tue, 26 Dec 2017 03:23:17 GMT &gt; Заменить плюсы питоном можно разве что при полном пофиге на скорость работы <br>&gt; этого.<br><br>Не в этом основная проблема - продолб по скорости там ну раз в 10. Это практически всегда лечится выбором подходящих структур данных и алгоритмов.<br><br>А вот отсутствие компиляции реально не лечится - практически в половине обработчиков ошибок в программе на Питоне есть ошибки. Всё должно быть 100% покрыто тестами, что почти в любой задаче с ветвлениями невозможно. А аннотации - это возврат к работе с типами в стиле Алгола-Фортрана-С-Паскаля.<br><br>В то же время, с 80-х реализован вывод типов Х-М в ЯВУ семейства ML. Всё столь же гибкое как Питон, но компилируется и проверяется в статике.<br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#140 Mon, 25 Dec 2017 16:24:58 GMT Есть библиотеки, которые на основе аннотаций строят дополнительные проверки входных параметров. В остальном в Python это больше дополнительная информация, не основная.<br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#139 Sun, 24 Dec 2017 20:30:02 GMT &gt; Хотите рассказать мне, насколько вкусны апельсины и крут ABS? Так я езжу <br>&gt; с ним и ЕPS еще парой S с 2003 года. Я как раз в курсе, без всяких тестов и нахваливаний.<br><br>Тогда в чем проблемы? Хочется потроллить? Или посмотреть на мир где всякие нубы и клуши без ABS рассекают? Смею заверить, ДТП станет больше и последствия тяжелее. В этом мире не каждому дано ощутить себя одним целым с машиной. Это факт. Некоторые так и остаются как на ходулях. Автоматика облегчает их участь и делает мир безопаснее. При том таких пожалуй большинство.<br><br>&gt; Интересно, о каких же тогда лихо тормозящих нубах шла речь? Неужели есть <br>&gt; ненубы, впадающие в ступор или путающие газ с тормозом?<br><br>О вон тех, которые выше. Которые не ощущают себя одним целым с машиной, но в случае с ABS они круто и корректно тормозят. Не теряя управления. Что очень полезно для сохранности и их самих и остальных.<br><br>&gt; Однако, при прочих равных, водительский опыт способствует более верной оценке ситуации <br>&gt; и позволит сбросить заранее скорость или даже п https://www.opennet.me/openforum/vsluhforumID3/113114.html#138 Sun, 24 Dec 2017 18:27:23 GMT &gt; Согласен. Снег ведь всегда убирают вовремя, а за МКАДом жизни нет.<br><br>Представляешь, по умолчанию предполагается что автомобили ездят по асфальту. Более того, круглый год снег лежит на этой планете лишь сильно местами. Можно конечно вспомнить мужиков на шишиге которые речку по пояс переезжают, но это не массовый сценарий. Да и они несмотря на mad skillz периодически валяются по склонам, так их что даже убрать никто оттуда не может.<br><br>&gt; Или автомобилей с АBS.<br><br>Комплексы автотазера лучше оставить при себе.<br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#137 Sun, 24 Dec 2017 15:52:44 GMT &gt; In 1972, Unix was rewritten in the C programming language.[18] The migration <br>&gt; from assembly to the higher-level language C resulted in much more <br>&gt; portable software,[19] requiring only a relatively small amount of machine-dependent code <br>&gt; to be replaced when porting Unix to other computing platforms.<br><br>Все течет, все меняется. <br>Насчет си врать не буду, но натыкался на списки рассылок из ранних девяностых. С извечным сра^W обсуждением правильности и трушности ЯП и обзывании (по смыслу) "хипстотой" плюсовиков.<br><br><br><br> https://www.opennet.me/openforum/vsluhforumID3/113114.html#136 Sun, 24 Dec 2017 15:03:35 GMT &gt; Что за бред? Юникс переписали на C, чтобы обеспечить портируемость ядра и <br>&gt; софта на другие платформы, а не потому, что авторы были хипстерами. <br>&gt; Наоборот, портируемость воспринималась как прорыв.<br><br>Ты думаешь, что хипстерство определяется целями человека? Ты не прав, хипстерство -- это способ действия, включающий в себя отказ от сложившихся технологий и разработку новых им на замену, сопровождающийся утверждениями о том, что новые технологии более совершенны и позволяют делать больше, лучше, качественнее, быстрее и проще. А цели человека при этом могут быть различными.<br><br>Также ты не прав насчёт того, как восприняли идею написать ОС на высокоуровневом ЯП. Были конечно же хипстеры, которые восприняли это как прорыв, а были ретрограды, которые подняли хайп на тему того, что ничего хорошего из этого не выйдет, и продолжали писать свои операционки на асме, адаптируя их под всё новые и новые платформы. Впоследствии хипстеры победили, потому что даже если их ОС была менее совершенна, и может быть медленнее р