python 3에서

입력을 정수값으로 사용하려고 할 때

list(map(lambda x: int(x), input().split())

와 같이 입력과 동시에 정수값으로 바꾸는 것과

입력은 string으로 냅두고 계산 및 사용할 떄 int()를 이용해 정수값으로 바꾸는 것 중에

뭐가 더 빠를까요?