Исходное сообщение
"Instagram открыл код MonkeyType, системы аннотации типов для..." Отправлено Ф, 28-Дек-17 12:50
1. Классы типов - хитрая штука, и ни разу не замена питону. В ML'ях хотя бы было такое свойство: программа либо вообще не компилируется, либо имеет одну главную типизацию, из которой все остальные выводятся как частные случаи. Классы типов рушат это свойство, и программа может перестать работать (но продолжать компилироваться), если стереть аннотации типов. 2. типа import Клиент as К import Продавец аs П ... К.имя... ... П.имя... ? ну ладно, пусть так 3. я не про exceptions, я про то, что программа не компилируется из-за неправильных типов, но ошибка выдается не там, где она есть, а где-то глубоко внутри функции, которая сама-то правильная, но типы явно не прописаны. ---------- вот поэтому ынтырпрайз пишет на джаве