Вот вспомнил. Кажется, это не прагма называлась, а аннотации. Вот пример примененияfrom typing import Listdef positive(a: List[int]) -> List[int]:Сам интерпретатор питона будет игнорировать эти инструкции, но edjudge (платформа для контестов)  будет завершать программу с ошибкой, если в программе будут использоваться неявные преобразования типов переменных.К сожалению, это издержки в системе обучения, когда первым языком является питон, в котором используется динамическая типизация переменных. В отличие от Паскаля или С++.