¹ø¿ª ¿ë·Ê
:
¿µ¾î Àü°ø ´Ü¾î¸¦ Çѱ۷Π¹ø¿ªÇÑ ¿¹µéÀÔ´Ï´Ù. ÁÁÀº ¿¹µéÀ» µî·ÏÇØ Áֽʽÿä.
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛ
ºÐ¾ßÀÔ´Ï´Ù.
µî·ÏµÈ ¿¹µéÀº emailÀ» ÅëÇØ Àü¹®°¡ÀÇ ½É»ç¸¦ °ÅÃļ ÀÌ°÷¿¡ ³²°ÔµË´Ï´Ù.
Ãß°¡ÇÒ ´Ü¾î³ª ã°í ½ÍÀº ´Ü¾î¸¦ ³ÖÀ¸¼¼¿ä.
¿µ¾î°ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ
(
JPG
,
HTML
) (
¼¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò]
, 3/21/2011)
¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
°øºÎÀÇ ¾ð¾î
(
Á¦4ȸ ROSAEC ¼¾ÅÍ ¿öÅ©¼¥, 8/27/2010)
[°è»ê]
  ¹ø¿ª  
  Ãâó  
  ºñ°í  
 
function application
 
   
   
 
reduction
 
   
   
 
computation
 
   
   
Ãß°¡
¿µ¾î ´Ü¾î:
-- ¿©·¯ ´Ü¾î°¡ ÀÖÀ» °æ¿ì Çϳª¸¸ ÀÔ·ÂÇϼ¼¿ä.
Ãâó:
-- ¿¹) saseo, nML Âü°í¼ p20
ºñ°í:
-- ¹ø¿ª ¿¹³ª, ÀÌ ¹ø¿ªÀÌ ÁÁÀº ÀÌÀ¯.
ºÎÁÖÀÇ °Ë»ç:
-- (f(22) - f(22) + (
À° + ¿À
) * 92 / 92) ÀÇ ´ä
¸®½ºÆ®
[
Çѱ۷ΠÁ¤·Ä
] [
c
d
e
f
l
r
s
]
calculus
°è»ê¹ý
call by need
Àû½Ã °è»ê¹ý
,
Á¦¶§ °è»ê¹ý
computation
°è»ê
computation strategy
°è»ê ¹æ½Ä
,
°è»ê Àü·«
continuation
¾ÕÀ¸·Î ÇÒ °è»ê
continuation passing style
°è»ê°úÁ¤À» Àü´ÞÇÏ´Â
continuation passing style transform
°è»ê°úÁ¤ Àü´Þ º¯È¯
dead code
°è»êµÇÁö ¾Ê´Â ÄÚµå
delayed evaluation
ÃÖ´ëÇÑ ¹Ì·ç¾î °è»êÇÏ´Â ¹æ¹ý
eager evaluation
Àû±ØÀûÀÎ °è»ê¹ý
,
ÀÏ´Ü °ªÀ» °è»êÇÏ°í º¸´Â
evaluation by value
Àû±ØÀûÀÎ °è»ê¹ý
evaluation strategy
°è»ê Àü·«
,
°è»ê ¹æ½Ä
,
°è»ê¹ý
function application
°è»ê
lazy evaluation
Á¦¶§ °è»ê¹ý
,
¼Ò±ØÀûÀÎ °è»ê¹ý
,
Áö¿¬ °è»ê¹ý
,
°ª °è»êÀ» ÃÖ´ëÇÑ ¹Ì·ç´Â
reduction
°è»ê
strict evaluation
Àû±ØÀû °è»ê¹ý
,
ÀÏ´Ü °ªÀ» °è»êÇÏ°í º¸´Â