Как проверять тип аргументов при вызове функции в Python.

The Python runtime does not enforce function and variable type annotations. They can be used by third party tools such as type checkers, IDEs, linters, etc.

Динами́ческая типиза́ция — приём, используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов. Примеры языков с динамической типизацией — Smalltalk, Python, Objective-C, Ruby, PHP, Perl, JavaScript, Лисп. 

% mypy 1.py
1.py:6: error: Argument 1 to "pick" has incompatible type "List[str]"; expected "Dict[Any, Any]"  [arg-type]
1.py:6: error: Argument 2 to "pick" has incompatible type "int"; expected "str"  [arg-type]
Found 2 errors in 1 file (checked 1 source file)

{
  "python.analysis.typeCheckingMode": "basic"
}

import Prelude hiding (words)
import Data.Map

pick l index = l !? index
words = fromList [("apple", 0), ("peach", 1), ("melon", 2)]
main = print $ pick words "apple"