Пример - мимо. Type annotation. Просто это вынесено из компилятора интерпретатора и живет в IDE. https://habr.com/ru/company/lamoda/blog/432656/Лично я, с таким подходом согласен.
О чужих проектах говорить всегда нужно осторожно.
Этот - скорее наука, чем программирование. Но за нормальные деньги.