함수형 프로그래밍
대부분의 함수형 프로그래밍 언어는 codice_16 문을 지원한다. 예를 들어 ML에서 codice_17 와 같은 표현식에서, 변수 x는 이 표현식 안에서만 유효하다. 이와 같은 표현식은 codice_18를 두번 호출하는 낭비를 막기 위해 쓰일 수 있다.