¹ø¿ª ¿ë·Ê
:
¿µ¾î Àü°ø ´Ü¾î¸¦ Çѱ۷Π¹ø¿ªÇÑ ¿¹µéÀÔ´Ï´Ù. ÁÁÀº ¿¹µéÀ» µî·ÏÇØ Áֽʽÿä.
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛ
ºÐ¾ßÀÔ´Ï´Ù.
µî·ÏµÈ ¿¹µéÀº emailÀ» ÅëÇØ Àü¹®°¡ÀÇ ½É»ç¸¦ °ÅÃļ ÀÌ°÷¿¡ ³²°ÔµË´Ï´Ù.
Ãß°¡ÇÒ ´Ü¾î³ª ã°í ½ÍÀº ´Ü¾î¸¦ ³ÖÀ¸¼¼¿ä.
¿µ¾î°ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ
(
JPG
,
HTML
) (
¼¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò]
, 3/21/2011)
¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
°øºÎÀÇ ¾ð¾î
(
Á¦4ȸ ROSAEC ¼¾ÅÍ ¿öÅ©¼¥, 8/27/2010)
[type]
  ¹ø¿ª  
  Ãâó  
  ºñ°í  
 
Çü
 
   
   
 
²Ã
 
   
   
 
ŸÀÔ
 
   
   
Ãß°¡
ÇÑ±Û ´Ü¾î:
-- ¿©·¯ ´Ü¾î°¡ ÀÖÀ» °æ¿ì Çϳª¸¸ ÀÔ·ÂÇϼ¼¿ä.
Ãâó:
-- ¿¹) saseo, nML Âü°í¼ p20
ºñ°í:
-- ¹ø¿ª ¿¹³ª, ÀÌ ¹ø¿ªÀÌ ÁÁÀº ÀÌÀ¯.
ºÎÁÖÀÇ °Ë»ç:
-- (f(81) - f(81) + (
ÀÌ + »ç
) * 40 / 40) ÀÇ ´ä
¸®½ºÆ®
[
¿µ¾î·Î Á¤·Ä
]
°¡Àå ÀϹÝÀûÀΠŸÀÔ
principal type
°ª ŸÀÔÀÇ ÀûÀÀ
value type enrichment
°íÂ÷ ŸÀÔÀ» °®Ãá
higher-order and typed
±¸ÇöµÈ ¼Ó»çÁ¤ÀÌ °¨Ãß¾îÁø ŸÀÔ
abstract type
²Ã
type
´ÙÇü ŸÀÔ
polymorphic type
´Ü¼ø ŸÀÔ
simple type
´ëÇ¥ ŸÀÔ
principal type
¹ÀÌÁö ¾ÊÀº ŸÀÔ À̸§
free type name
¼Ó³»¿ëÀÌ °¨Ãß¾îÁø ŸÀÔ
abstract type
Ãß»óÀûÀΠŸÀÔ
abstract type
Ãß»óÇü
abstract type
ŸÀÔ
type
,
type constructor
ŸÀÔ ±¸¼ºÀÚ
type constructor
ŸÀÔ ±¸Á¶
type structure
ŸÀÔ ±¸Á¶ÀÇ ÀûÀÀ
type structure enrichment
ŸÀÔ º¯¼ö
type variable
ŸÀÔ ½ÇÇö
type realization
ŸÀÔ À¯Ãß
type inference
,
static type synthesis
ŸÀÔ Á¢¼Ó¹æ¾È
type description
ŸÀÔ Á¤ÀÇ
type bind
ŸÀÔ ÁÙÀÓ¸»
type abbreviation
ŸÀÔ Ã¼°è
type system
ŸÀÔ Æ²
type scheme
ŸÀÔ Æ²ÀÇ ÀûÀÀ
type scheme generalization
ŸÀÔ½Ä
type expression
,
type construct
Çü
type