Функция карты, чтобы изменить тип элемента в Python

nums = ['3','4','7']
nums = list(map(int, nums))
print(nums)
Tired Pasha rocks