ㅂ
-
[FP In Scala] 지역 효과와 변이 가능 상태Software Development/Scala 2021. 6. 16. 13:21
참조 투명성 개념을 다룬다. 효과가 한 표현식 안에서 지역적으로 발생할 수 있다는, 그리고 그런 효과가 발생했음을 더 큰 프로그램의 다른 부분이 전혀 관측하지 못함을 보장할 수 있다는 착안을 살펴본다. 1. 순수 함수적 변이 가능 상태 순수 함수형 프로그래밍에서 mutable 상태를 사용할 수 없을 것 같지만 그렇지 않다. 참조 투명성과 순수성의 정의를 자세히 보면 지역(local) 상태의 변이를 금지하는 사항은 전혀 없음을 알 수 있다. 참조 투명성과 순수성의 정의를 다시 살펴보면.. 참조 투명성과 순수성의 정의 만일 모든 프로그램 p에 대해 표현식 e의 모든 출현을 e의 평가 결과로 치환해도 p의 의미에 아무런 영향을 미치지 않는다면, 그 표현식 e는 참조에 투명하다. 표현식을 해당 표현식의 평가(e..