Pour ce dernier point, il s'agit de type hinting et ce n'est pas propre à PyCharm car c'est une norme Python. En revanche, PyCharm sait deviner le type des variables dans la majorité des cas sans indication. Cela reste une bonne pratique de la mettre, toutefois.