번역; 게으른 계산이란?

소감 #

앞으로 "a는 게으르게 계산된다"라는 표현을 보면, 'a가 당장 계산되진 않고 필요할 때 계산되겠구나~' 정도로 생각하면 될 것 같다. 값이 필요할 때 지연 없이 값을 얻어야 하는 작업에서 이 계산전략을 채택하면 안 될 것 같다. (어떤 필드에서 이런 일이 있을까?)

번역 #

프로그래밍 언어에서 게으른 계산, 또는 필요에 따른 호출은 계산 전략의 일종이다. 게으른 계산 전략에선 결과값이 필요할 때까지 표현식의 계산을 미루고, 반복된 계산을 피한다. 이름에 따른 호출같은 다른 계산 전략과 비교할 때, 공유는 특정 함수들의 실행 시간을 지수함수단위로 줄일 수 있다.

게으른 계산의 이점들은 다음을 포함한다.

• 제어흐름_{control flow}을 원시값이 아니라 추상으로서 정의할 수 있음.
• 잠재적으로 무한한 자료구조를 정의할 수 있음.
• 특정 알고리즘들을 더 간명하게 표현할 수 있음.
• 불필요한 계산과 복잡한 표현식을 계산할 때 생기는 오류 상황을 피함으로써 능률이 높아짐.

게으른 계산은 종종 메모이제이션_memoization^[1]과 함께 쓰인다. 인수에 대해 함수의 값이 계산되면, 그 결과는 인수가 인덱스인 룩업_lookup표에 저장된다. 그 후에 함수가 호출되면, 주어진 인수에 해당하는 값이 이미 룩업표에 있는지 확인한다. 이미 있다면 저장된 값을 반환하고, 없다면 표에 인수를 인덱스로 그 함수값을 저장한다. 게으른 계산에서는 값들이 필요할 떄 만들어지기 때문에, 메모리 풋프린트^[2]가 줄기도 한다. 하지만 예외처리나 입출력과 같이 반드시해야 하는 기능들^[3]과 함께 사용하기는 어렵다. 왜냐하면 연산의 순서가 비결정적이기 때문이다. 그리고 게으른 계산은 메모리 누수를 부를 수 있다. 게으른 계산의 반대는 엄격한 계산_{strict evaluation}으로도 알려진 조급한 계산_{eager evaluation}이다. 조급한 계산은 대부분의 프로그래밍 언어가 채택하는 계산 전략이다.