큰수들의 덧셈은 BigInt 타입을 통해서 수행할 수 있다. 워낙 간단한 코드이기 때문에 문제의 숫자들을 텍스트 파일로 저장했다 가정하고 파일을 읽어서 처리하는 식으로 작성했다.
파일을 문자열로 읽어들여서 공백(개행문자)기준으로 쪼개고, 쪼갠 조각을 각각 BigInt 타입으로 변환한다.
이를 모두 합한 값을 문자열에 내삽하고 앞에서부터 10자를 출력하면 끝.
@time let xs = read("s013.txt", String) |> split .|> x -> parse(BigInt, x)
"$(sum(xs))"[1:10] |> println
end