Função do mapa para mudar o tipo de elemento no python

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