Операция умножения замкнута нал одним множеством, например в ML-подобных языках ее тип будет ‘a -> a -> a’, что как раз означает что из двух аргументов одинакового типа ты получаешь третий такого же типа. А Пайтон эту замкнутость разрывает.
Операция умножения замкнута нал одним множеством, например в ML-подобных языках ее тип будет ‘a -> a -> a’, что как раз означает что из двух аргументов одинакового типа ты получаешь третий такого же типа. А Пайтон эту замкнутость разрывает.