¹ø¿ª ¿ë·Ê:

¿µ¾î Àü°ø ´Ü¾î¸¦ Çѱ۷Π¹ø¿ªÇÑ ¿¹µéÀÔ´Ï´Ù. ÁÁÀº ¿¹µéÀ» µî·ÏÇØ Áֽʽÿä.
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛ ºÐ¾ßÀÔ´Ï´Ù.
µî·ÏµÈ ¿¹µéÀº emailÀ» ÅëÇØ Àü¹®°¡ÀÇ ½É»ç¸¦ °ÅÃļ­ ÀÌ°÷¿¡ ³²°ÔµË´Ï´Ù.
Ãß°¡ÇÒ ´Ü¾î³ª ã°í ½ÍÀº ´Ü¾î¸¦ ³ÖÀ¸¼¼¿ä.
¿µ¾î°­ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ(JPG, HTML) (¼­¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò], 3/21/2011)
¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
°øºÎÀÇ ¾ð¾î (Á¦4ȸ ROSAEC ¼¾ÅÍ ¿öÅ©¼¥, 8/27/2010)

[type]

  ¹ø¿ª     Ãâó     ºñ°í  
  Çü          
  ²Ã          
  ŸÀÔ          

Ãß°¡

ÇÑ±Û ´Ü¾î: -- ¿©·¯ ´Ü¾î°¡ ÀÖÀ» °æ¿ì Çϳª¸¸ ÀÔ·ÂÇϼ¼¿ä.
Ãâó: -- ¿¹) saseo, nML Âü°í¼­ p20
ºñ°í: -- ¹ø¿ª ¿¹³ª, ÀÌ ¹ø¿ªÀÌ ÁÁÀº ÀÌÀ¯.
ºÎÁÖÀÇ °Ë»ç: -- (f(82) - f(82) + (ÆÈ + ÀÏ) * 38 / 38) ÀÇ ´ä

¸®½ºÆ®

[Çѱ۷ΠÁ¤·Ä] [ a f h p s t v ]

abstract typeÃß»óÀûÀΠŸÀÔ, Ãß»óÇü, ¼Ó³»¿ëÀÌ °¨Ãß¾îÁø ŸÀÔ, ±¸ÇöµÈ ¼Ó»çÁ¤ÀÌ °¨Ãß¾îÁø ŸÀÔ
free type name¹­ÀÌÁö ¾ÊÀº ŸÀÔ À̸§
higher-order and typed°íÂ÷ ŸÀÔÀ» °®Ãá
polymorphic type´ÙÇü ŸÀÔ
principal type°¡Àå ÀϹÝÀûÀΠŸÀÔ, ´ëÇ¥ ŸÀÔ
simple type´Ü¼ø ŸÀÔ
static type synthesisŸÀÔ À¯Ãß
typeÇü, ²Ã, ŸÀÔ
type abbreviationŸÀÔ ÁÙÀÓ¸»
type bindŸÀÔ Á¤ÀÇ
type constructŸÀÔ½Ä
type constructorŸÀÔ ±¸¼ºÀÚ, ŸÀÔ
type descriptionŸÀÔ Á¢¼Ó¹æ¾È
type expressionŸÀÔ½Ä
type inferenceŸÀÔ À¯Ãß
type realizationŸÀÔ ½ÇÇö
type schemeŸÀÔ Æ²
type scheme generalizationŸÀÔ Æ²ÀÇ ÀûÀÀ
type structureŸÀÔ ±¸Á¶
type structure enrichmentŸÀÔ ±¸Á¶ÀÇ ÀûÀÀ
type systemŸÀÔ Ã¼°è
type variableŸÀÔ º¯¼ö
value type enrichment°ª ŸÀÔÀÇ ÀûÀÀ