¹ø¿ª ¿ë·Ê
:
¿µ¾î Àü°ø ´Ü¾î¸¦ Çѱ۷Π¹ø¿ªÇÑ ¿¹µéÀÔ´Ï´Ù. ÁÁÀº ¿¹µéÀ» µî·ÏÇØ Áֽʽÿä.
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛ
ºÐ¾ßÀÔ´Ï´Ù.
µî·ÏµÈ ¿¹µéÀº emailÀ» ÅëÇØ Àü¹®°¡ÀÇ ½É»ç¸¦ °ÅÃļ ÀÌ°÷¿¡ ³²°ÔµË´Ï´Ù.
Ãß°¡ÇÒ ´Ü¾î³ª ã°í ½ÍÀº ´Ü¾î¸¦ ³ÖÀ¸¼¼¿ä.
¿µ¾î°ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ
(
JPG
,
HTML
) (
¼¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò]
, 3/21/2011)
¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
°øºÎÀÇ ¾ð¾î
(
Á¦4ȸ ROSAEC ¼¾ÅÍ ¿öÅ©¼¥, 8/27/2010)
[°ª]
  ¹ø¿ª  
  Ãâó  
  ºñ°í  
 
value
 
   
   
Ãß°¡
¿µ¾î ´Ü¾î:
-- ¿©·¯ ´Ü¾î°¡ ÀÖÀ» °æ¿ì Çϳª¸¸ ÀÔ·ÂÇϼ¼¿ä.
Ãâó:
-- ¿¹) saseo, nML Âü°í¼ p20
ºñ°í:
-- ¹ø¿ª ¿¹³ª, ÀÌ ¹ø¿ªÀÌ ÁÁÀº ÀÌÀ¯.
ºÎÁÖÀÇ °Ë»ç:
-- (f(47) - f(47) + (
»ï + ±¸
) * 42 / 42) ÀÇ ´ä
¸®½ºÆ®
[
Çѱ۷ΠÁ¤·Ä
]
applicative language
°ª Áß½ÉÀÇ ¾ð¾î
call by reference
°ªÀÇ ÁּҷΠȣÃâ(Çϱâ)
call by value
°ªÀ¸·Î È£Ãâ(Çϱâ)
,
°ªÀü´Þ È£Ãâ
closure
ÇÔ¼ö°ª, ÀÚÀ¯º¯¼ö°ªÀÌ °áÁ¤µÈ ÇÔ¼ö
eager evaluation
ÀÏ´Ü °ªÀ» °è»êÇÏ°í º¸´Â
functional language
°ª Áß½ÉÀÇ ¾ð¾î
functional programming
°ª Áß½ÉÀÇ ÇÁ·Î±×·¡¹Ö
functional style
°ª Á᫐ ½ºÅ¸ÀÏ
interpolating prover
Áß°£°ªÀ» ä¿ö³ª°¡´Â Áõ¸í±â
lazy evaluation
°ª °è»êÀ» ÃÖ´ëÇÑ ¹Ì·ç´Â
strict evaluation
ÀÏ´Ü °ªÀ» °è»êÇÏ°í º¸´Â
term
¸í»ç½Ä
value
°ª
value bind
°ª Á¤ÀÇ
value type enrichment
°ª ŸÀÔÀÇ ÀûÀÀ