Seblog

lambda calculus : binding variable, bound variable 본문

Study

lambda calculus : binding variable, bound variable

Sebien 2011. 3. 30. 22:32
336x280(권장), 300x250(권장), 250x250, 200x200 크기의 광고 코드만 넣을 수 있습니다.




http://www.htdp.org/2001-01-18/Book/node104.htm

lambda calculus에서 함수가 선언되었을 때 함수에 parameter로 입력되는 변수가 binding occurrence, 함수 안에서 사용되는 변수가  bound occurrence,

scope는 함수의 합성에 있어서 함수가 영향을 미치는 범위.... 

혹은 지역변수의 scope는 함수 내
전역변수의 scope는 함수 밖 
저작자표시 비영리 변경금지

'Study' 카테고리의 다른 글

Upward Downward Funarg problem  (0) 2011.05.03
문제 유형  (0) 2011.05.02
Android 개발환경 구축하기 - 1  (0) 2010.11.10
minSDKVersion  (0) 2010.11.05
JAVA 환경 설정 및 Android 개발 환경설정  (0) 2010.11.05
공유하기 링크
'Study' Related Articles more
Comments