Life is wonder-ful

Erlang과 별로 다르지 않게 만들었습니다.

step :: Int -> Int
step n = step n 1
    where
      step :: Int -> Int -> Int
      step 1 acc = acc
      step a acc | (rem a 2) == 0 = step (div a 2) (acc + 1)
                 | otherwise = step (3 * a + 1) (acc + 1)

maximum_step :: [Int] -> Int
maximum_step xs = maximum (map step xs)

main = putStrLn (show (maximum_step [1..1000000]))

근데 입력을 1000000으로 하면 스택 오버플로우 나버리네요. 속도도 얼랭 보다 느립니다. 하스켈 빠르다던데. 그래서 함수에 타입도 명시해주고, tail recursion 되게 하려고 step을 strict 버전으로 바꾸어 보고, maximum이 길이가 1000000인 리스트를 처리 못하길래 maximum도 strict 버전으로 구현해보고, maximum_step과 maximum을 합쳐서 strict 버전으로도 해봤는데 여전히 1000000만은 끝나지를 않는군요.

PS. 삽질해도 안된다... 하스켈 밉다. 왜 tail call optimization이 안되지...