Kartenfunktion, um die Art des Elements in Python zu ändern

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