ты не можешь знать, какой для этой конкретной функции вид является «нужным» — обычно это деталь её реализации. Но часто этот вид оговаривается в интерфейсе: мол, функция map берёт *callable*, *sequence* и возвращает то и это.
пофиг, я уже путаться начинаю. В общем, проверка типов нужна именно для проверки соответствия интерфейсу. Может получиться строже, чем следует, но так даже лучше.
ты не можешь знать, какой для этой конкретной функции вид является «нужным» — обычно это деталь её реализации. Но часто этот вид оговаривается в интерфейсе: мол, функция map берёт *callable*, *sequence* и возвращает то и это.
блджад, за пределы треда вылез.
Вот берёт map callable и sequence, и глупо не проверять, являются ли аргументы callable и sequence.
пофиг, я уже путаться начинаю. В общем, проверка типов нужна именно для проверки соответствия интерфейсу. Может получиться строже, чем следует, но так даже лучше.
ГЛУПО!
Проверка случится сама по себе, неявно, когда ты будешь писать for element in sequence: callable(element)
вот здесь соглашусь.