| typecompose. HASKELLÀÇ ÄÄÆ÷Áö¼Ç Ŭ·¡½º ¹× ÀνºÅϽº À¯Çü |
Áö±Ý ´Ù¿î·Îµå |
typecompose. ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À̸§:
- Conal Elliott
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://haskell.org/haskellwiki/MemoTrie
typecompose. ű×
typecompose. ¼³¸í
Haskell¿¡¼ ±¸¼º ¼ö¾÷ ¹× ÀνºÅϽº¸¦ ÀÔ·ÂÇϽʽÿÀ TypeCompose´Â ´Ù¸¥ ¸ðµâ»Ó¸¸ ¾Æ´Ï¶ó ´Ù¸¥ ¸ðµâ»Ó¸¸ ¾Æ´Ï¶ó ´Ù¸¥ ¸ðµâ»Ó¸¸ ¾Æ´Ï¶ó À¯Çü ±¸¼º ¿ä¼ÒÀÇ ÀϺΠŬ·¡½º¿Í ÀνºÅϽº¸¦ Á¦°øÇÏ´Â ¹«·á ¹× ¿ÀÇ ¼Ò½º Haskell ¶óÀ̺귯¸®ÀÔ´Ï´Ù. ...¿¡ ´ëºÎºÐÀº È¿°ú°¡ÀÖ´Â Àû¿ë ÇÁ·Î±×·¡¹Ö¿¡¼ ¹ß»ýÇÕ´Ï´Ù. ƯÈ÷, G`O 'F´Â ÆãÅÍ ¹× AFS (AFS)¿¡ ÆãÅÍ ¹× AFS (Application Sunctors)¿¡ ÆãÅ͸¦ ÀÛ¼ºÇÕ´Ï´Ù. (´ëÁ¶ÀûÀ¸·Î, Monads´Â ÀϹÝÀûÀ¸·Î ÀÛ¼ºµÇÁö ¾Ê½À´Ï´Ù.) ÄÄÆ÷Áö¼ÇÀº AF ±â¹Ý ÇÁ·Î±×·¡¹ÖÀ» ´Ü¼øÇÏ°í ¿ì¾ÆÇÏ°Ô ¸¸µì´Ï´Ù. ¡¤ ¸ð³ªµå º¯¾Ð±â¿¡ AF »ó´ë¹æÀÌ ÇÊ¿äÇÏÁö ¾Ê±â ¶§¹®¿¡. ¡¤ Cofunctors (Contravariant Functors). "Container"(Container) À¯Çü¿¡ ¸Â´Â "¼ÒºñÀÚ"À¯Çü¿¡ ÀûÇÕÇÕ´Ï´Ù. ¸î °¡Áö ±¸¼º ¿É¼ÇÀÌ ÀÖ½À´Ï´Ù. ¡¤ Àμö Çø³À» ÀÔ·ÂÇϽʽÿÀ. Cofunctors ¿ë Æí¸® : Çø³ (->) O, (-> O)¸¦ »ç¿ëÇϽʽÿÀ. ¡¤ »ý¼ºÀÚ ½Ö : (F a, g a). ¡¤ È»ìÇ¥ / ±â´ÉÀÇ »ý¼ºÀÚ : f a ~> g a. Âü°í : TypeCompose´Â BSD ¶óÀ̼¾½º Á¶°Ç¿¡ µû¶ó ¶óÀ̼¾½º ¹× ¹èÆ÷µË´Ï´Ù. ¿ä±¸ »çÇ× : ¡¤ GHC.
typecompose. °ü·Ã ¼ÒÇÁÆ®¿þ¾î