• ±¹³»µµ¼­
  • ¿Ü±¹µµ¼­
  • eBook
  • e·¯´×
  • À½¹Ý
  • DVD
  • GIFT
  • È­Àåǰ
  • ¿µÈ­
  • °ø¿¬

¿¹½º24 ¹Ù·Î°¡±â
»ó»óÃÊ¿ù º¸³Ê½º
°íµæ¼º ÀúÀÚ °­¿¬È¸ ÃÊ´ë
¿øÀÛ¼Ò¼³ ÃÑÁýÇÕ
Áñ°Üã±â Ãß°¡ Àû¸³
¹Ú¹Î±ÔÀÇ Á×Àº ¿Õ³à¸¦ À§ÇÑ ÆÄ¹Ý´À ¹é¿µ¿ÁÀÇ ´ÙÀÌ¾îÆ®ÀÇ ¿©¿Õ
µµ¼­

ÇϽºÄÌ·Î ¹è¿ì´Â ÇÁ·Î±×·¡¹Ö

±×¶óÇÔ ÇãÆ° Àú/¾È±â¿µ,¹ÚÁ¤ÈÆ °ø¿ª/¿ì±Õ °¨¼ö | ´ë¸² | ¿ø¼­ : Programming in Haskell

ÇϽºÄÌ·Î ¹è¿ì´Â ÇÁ·Î±×·¡¹Ö
Å©°Ôº¸±â
Á¤°¡
20,000¿ø
ÆÇ¸Å°¡
18,000¿ø(10% ÇÒÀÎ)
YESÆ÷ÀÎÆ®
 1,800¿ø (10% Àû¸³) + ¸¶´Ï¾ÆÃß°¡Àû¸³ ¾È³»
YES¸¶´Ï¾Æ ·Ôµ¥Ä«µå ÇÒÀÎ
15,840¿ø(12~24% û±¸ÇÒÀÎ /1¸¸5õ¿øÀÌ»ó °áÁ¦½Ã)  ¾È³»

5¸¸¿øÀÌ»ó ±¸¸Å½Ã 2õ¿ø Ãß°¡Àû¸³ Ãß°¡Àû¸³À̶õ? / Ä«µåÇýÅú¸±â

Ãâ°£ÀÏ

2009³â 07¿ù 24ÀÏ

368ÂÊ | 866g

ISBN-13

9788972808183

ISBN-108972808180

ÆÇ¸ÅÁß | ÆÇ¸ÅÁö¼ö 396 ÆÇ¸ÅÁö¼ö¶õ?
¹è¼Ûºñ
¹«·á ¾È³»
ÁÖ¹®¼ö·®
¿Ã¸² ³»¸²
ÇØ¿Ü¹è¼Û°¡´É, ÃÖÀú°¡ º¸»ó

īƮ¿¡ ³Ö±â

¸®½ºÆ®¿¡ ³Ö±â

¹Ù·Î ±¸¸ÅÇϱâ

¸®ºä¾²±â

Ã¥¼Ò°³

HaskellÀ̶õ ¾ð¾î·Î ÇÁ·Î±×·¥ Â¥´Â ¹ýÀ» ÀÏ·¯Áִ åÀÌ´Ù. HaskellÀº ±× ³»¿ëÀÌ ºñ±³Àû ÀûÁö¸¸ Àǹ̰¡ ¸í·áÇϸ鼭µµ Ç¥Çö·ÂÀ» °®Ãá ¾ð¾îÀÌ´Ù. µû¶ó¼­ ÇÁ·Î±×·¡¹Ö ÀÛ¾÷Àº ¸íÈ®ÇϰÔ, ÄÚµù ¼öÁ¤Àº °£´ÜÇÏ°Ô ¸¸µå´Â ÀåÁ¡ÀÌ ÀÖ´Ù. ÇÁ·Î±×·¡¹ÖÀ» óÀ½ ¹è¿ì´Â »ç¶÷ÀÌ ÀÍÈ÷±â ÀûÇÕÇÑ Ã¥À¸·Î, ÇÁ·Î±×·¡¹ÖÀÇ ¸ðµç °³³äÀ» ±âÃʺÎÅÍ Â÷±ÙÂ÷±Ù ¾ö¼±µÈ ¿¹Á¦¸¦ °çµé¿© ¼³¸íÇÑ´Ù.

°­ÀÇ ´É·ÂÀÌ °ËÁõµÈ Àú¸íÇÑ ÇϽºÄÌ ¿¬±¸ÀÚÀÌÀÚ °­»çÀÎ ±×¶óÇÔ ÇãÆ° ±³¼ö°¡ Á÷Á¢ ÁýÇÊÇÑ ÀÌÃ¥Àº ÇÁ·Î±×·¡¹ÖÀÇ ¾ÆÁÖ °£´ÜÇÑ ¹®Á¦ºÎÅÍ Ã¥¿¡¼­ ´Ù·ç´Â ÇÁ·ÎÁ§Æ®¸¦ È®ÀåÇÏ´Â µ¥ À̸£±â±îÁö ´Ù¾çÇÑ ³­À̵µÀÇ ¿¬½À¹®Á¦¸¦ Á¦°øÇÒ »Ó ¾Æ´Ï¶ó, °í±Þ ÁÖÁ¦¿¡ ´ëÇÑ ´õ ÀÐÀ»°Å¸®µµ ÃßõÇϰí ÀÖ´Ù. ¶ÇÇÑ °­»ç¿Í ÇлýµéÀ» À§ÇØ PPT ½½¶óÀÌµå ¹× ¿¬½À¹®Á¦ ¸ð¹ü´ä¾ÈÀ» ÇϽºÄÌ È¨ÆäÀÌÁö¿¡¼­ Á¦°øÇϰí ÀÖ´Ù.


ÀúÀÚ ¼Ò°³

ÀúÀÚ: ±×¶óÇÔ ÇãÆ°(Graham Hutton)

±×¶óÇÔ ÇãÆ° ±³¼ö´Â ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö¿¡ ´ëÇÑ ¼±µµÀûÀÎ ¿¬±¸¿Í ±³À°À» ÇÏ´Â ³× °÷ÀÇ ¿¬±¸ Á᫐ ´ëÇп¡¼­ ÀÏÇÏ¿´´Ù. ±×´Â 15³â ÀÌ»ó ÇÔ¼öÇü ÇÁ·Î±×·¡¹ÖÀ» ¿¬±¸Çϸç 30¿© ÆíÀÇ ¿¬±¸ ³í¹®À» ³ÂÀ¸¸ç, ÇϽºÄÌ ¿öÅ©¼¥(ÇöÀç ÇϽºÄÌ ½ÉÆ÷Áö¿ò) ÇÐȸÀå°ú ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö Àú³Î(Journal of Functional Programming)ÀÇ ÇϽºÄÌ Æ¯º° À̽´¿¡ ´ëÇÑ ÆíÁýÀåÀ» ¿ªÀÓÇϱ⵵ ÇÏ¿´´Ù. 2009³â¿¡ °ð ½ºÄÚÆ²·£µå¿¡¼­ °³ÃÖµÉ ACM SIGPLAN ±¹Á¦ ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö ÇÐȸ(International Conference of Functional Programming)ÀÇ ÇÐȸÀåÀ» ¿ªÀÓÇϰí ÀÖ´Ù. ¶ÇÇÑ ±×´Â 10³â ÀÌ»ó ÇϽºÄÌ·Î °­ÀÇÇÏ¸ç ´ëÇÐ ±³°ú°úÁ¤¿¡¼­ ÇÔ¼öÇü ÇÁ·Î±×·¡¹ÖÀ» ¼Ò°³ÇÏ´Â µ¥ ³ë·ÂÇϰí ÀÖ´Ù.

¿ªÀÚ: ¾È±â¿µ

2002³â KAIST Àü»êÇаú Á¹¾÷ ÈÄ (ÁÖ)±×·¡ÅØ¿¡¼­ ÆËÆú´õ, ÆÄÀϹðÅ©(2005³â ÀϺ») µîÀÇ ºÐ»ê ³×Æ®¿÷ ½ºÅ丮Áö ¼­¹ö °³¹ß ¹× À¯Áöº¸¼ö¸¦ ÇÏ¿´°í, 2005³âºÎÅÍ Æ÷Ʋ·£µå ÁÖ¸³´ëÇп¡¼­ Tim Sheard ±³¼öÀÇ Omega ÇÁ·Î±×·¡¹Ö ¾ð¾î ¿¬±¸ÆÀ¿¡¼­ ¹Ú»ç°úÁ¤À» ¹â°í ÀÖ´Ù. ¹Ú»ç°úÁ¤ ÀçÇÐ Áß Çѱ¹ÀÎ ÃÖÃÊ·Î 2008 ÇϽºÄÌ ½ÉÆ÷Áö¿ò(¿¹Àü ÇϽºÄÌ ¿öÅ©¼¥)¿¡ ³í¹®À» ¹ßÇ¥ÇÏ¿´°í, Credit Suisse 2008 QSI ¿©¸§ ÀÎÅϰú NASA Ames ¿¬±¸¼Ò¿¡¼­ 2009³â ¿©¸§ ÀÎÅÏ ¿¬±¸¿øÀ¸·Î ÀÏÇϸç Haskell°ú F#µîÀÇ ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö ±â¼úÀ» ±ÝÀ¶ÆÄ»ý»óǰ ¹× Ç×°ø¿ìÁÖ SW ºÐ¼®¿¡ Ȱ¿ëÇÏ¿´´Ù.

¿ªÀÚ: ¹ÚÁ¤ÈÆ

´ëÇÐ ÈÞÇÐ Áß ÀÎõ±¤¿ª½Ã Á¤º¸È­ »ç¾÷ ¹× ´ëÀü±¤¿ª½Ã ÀüÀÚ È¸ÀÇ·Ï ±¸Ãà »ç¾÷¿¡ Âü¿© ÇÏ¿´À¸¸ç(2000-2001), ±¹È¸ÀÇ¿ø À¥»çÀÌÆ® ±¸Ãà ¹× Àü»êÈ­ ¾÷¹«(2003), ATCIS À°±ºÀü¼úÁöÈÖÁ¤º¸Ã¼°è ¼­¹ö ¹× µ¥ÀÌÅͺ£À̽º À¯Áöº¸¼ö(2004-2006) µîÀ» ºñ·ÔÇÑ ´Ù¾çÇÑ °ø°ø ÇÁ·ÎÁ§Æ®¿¡ Âü¿©ÇÏ¿´´Ù. 2008³â µ¿¾Æ´ëÇб³¿¡¼­ ÄÄÇ»ÅÍ °øÇаú¸¦ Á¹¾÷ÇÑ ÈÄ ±× µ¿¾È °æÇèÀ» ¹ÙÅÁÀ¸·Î Sun Microsystems Solaris Network Administrator, Microsoft SQL SERVER °øÀÎ ¿£Áö´Ï¾î·Î ¹Ì±¹¿¡¼­ ÀÏÇϰí ÀÖÀ¸¸ç, ÁÖ¿ä °ü½É ºÐ¾ß´Â ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö ÆÐ·¯´ÙÀÓÀ» ½ÇÁ¦ ¾÷¹«¿¡ Àû¿ëÇÏ´Â °ÍÀ̸ç ÇöÀç VSTS 2010¿¡ µé¾î°¥ Â÷±â F#¿¡ ´ëÇØ ¿¬±¸ ÁßÀÌ´Ù.

¿ªÀÚ: ¿ì±Õ

¿ì±Õ ±³¼ö´Â KAIST Àü»êÇаú Çлç(1991), ¼®»ç(1993), ¹Ú»ç(2003)¸¦ ÃëµæÇϰí, 2000³âºÎÅÍ 2004³â±îÁö µ¿¾Æ´ëÇб³ Á¶±³¼ö·Î, 2004³âºÎÅÍ´Â ºÎ»ê´ëÇб³ Á¤º¸ÄÄÇ»ÅͰøÇкΠºÎ±³¼ö·Î ÇлýµéÀ» °¡¸£Ä¡°í ÀÖ´Ù. ¹Ú»çÇÐÀ§ ¿¬±¸ ÁÖÁ¦´Â ÇÔ¼öÇü ¾ð¾î(functional languages)¿´À¸¸ç, ÇöÀç´Â ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÄÄÆÄÀÏ·¯ ±¸Çö, ¼ÒÇÁÆ®¿þ¾î °øÇÐ, ÇÁ·Î±×·¥ ºÐ¼® ¹× ½Ã°¢È­, ·Îº¿ ÇÁ·Î±×·¡¹Ö µîÀ» ¿¬±¸ÇÏ´Â ÇÁ·Î±×·¡¹Ö ¾ð¾î ¿¬±¸½ÇÀ» À̲ø°í ÀÖ´Ù.

¸ñÂ÷

¸ñÂ÷
¸Ó¸®¸»
¿Å±äÀÌ ¸Ó¸®¸»
̵̧ȍ

1 ¼Ò°³
ÇÔ¼ö
ÇÔ¼öÇü ÇÁ·Î±×·¡¹Öfunctional programming
ÇϽºÄÌÀÇ Æ¯Â¡
¿ª»çÀû ¹è°æ
ÇϽºÄÌ ¸Àº¸±â
[»ìÆìº¸±â]
[¿¬½À¹®Á¦]

2 ù°ÉÀ½ ¶¼±â
Hugs ½Ã½ºÅÛ
Ç¥ÁØ ¼­¸·standard prelude
ÇÔ¼ö
ÇϽºÄÌ ½ºÅ©¸³Æ®
[»ìÆìº¸±â]
[¿¬½À¹®Á¦]

3 ŸÀÔ°ú Ŭ·¡½º
±âº» °³³ä
±âº» ŸÀÔ
¸®½ºÆ® ŸÀÔ
¼ø¼­½Ö ŸÀÔ
ÇÔ¼ö ŸÀÔ
Ä¿¸®µÈcurried ÇÔ¼ö
¿©·¯ ¸ð¾çpolymorphic ŸÀÔ
¿©·¯ ÀǹÌoverloaded ŸÀÔ
±âº» Ŭ·¡½º
[»ìÆìº¸±â]
[¿¬½À¹®Á¦]

4 ÇÔ¼ö Á¤ÀÇ
»õ°ÍÀ» ¿¾°ÍÀ¸·ÎºÎÅÍ
Á¶°Ç½Äconditional expression
º¸Ãʼ± µî½Äguarded equation
ÆÐÅÏ ¸ÅĪpattern matching
¶÷´Ù½Älambda expression
À߸°½Äsection
[»ìÆìº¸±â]
[¿¬½À¹®Á¦]

5 ¸®½ºÆ® Á¶°ÇÁ¦½Ã½Äcomprehension
»ý¼º¿øgenerator
º¸ÃÊguard
Zip ÇÔ¼ö
±ÛÁÙstring Á¶°ÇÁ¦½Ã½Äcomprehension
Ä«À̻縣 ¾ÏÈ£Caesar cipher
[»ìÆìº¸±â]
[¿¬½À¹®Á¦]

6 µÇµµ´Â ÇÔ¼örecursive function
±âº» °³³ä
¸®½ºÆ®·Î µÇµ¹±â
ÀÎÀÚ°¡ ¿©·µÀÏ ¶§
¿©·¯ °¥·¡·Î µÇµ¹±â
¼­·Î ºÎ¸£¸ç µÇµ¹±âmutual recursion
µÇµµ´Â
... Æî󺸱â

ÃâÆÇ»ç ¸®ºä

ÇÁ·Î±×·¡¹Ö ÀÛ¾÷Àº ¸íÈ®ÇϰÔ, ÄÚµù ¼öÁ¤Àº °£´ÜÇÏ°Ô ¸¸µå´Â Haskell!
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¿¬±¸ÀÚµéÀÌ ¼±È£ÇÏ´Â ¼¼·ÃµÈ ŸÀÔÀÇ ½Ã½ºÅÛ!
ÇÁ·Î±×·¥ ¼ºÁú Áõ¸í¹ýÀ» ÀÍÈ÷±â ÁÁÀº ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö!
±º´õ´õ±â ¾ø´Â °£°áÇÑ ¹®¹ýÀ¸·Î ±ò²ûÇÑ ÄÚµå ÀÛ¼º!
¿ÀǼҽº·Î Á¦°øµÇ´Â Æí¸®ÇÑ ´ëÈ­½Ä REPL °³¹ß ȯ°æ ¹× ÄÄÆÄÀÏ·¯!

ÀÌ ÀÔ¹®¼­´Â óÀ½ ÇÁ·Î±×·¡¹ÖÀ» ¹è¿ì´Â »ç¶÷¿¡°Ô °¡Àå ÀûÇÕÇÑ Ã¥ÀÌ´Ù. ÇÁ·Î±×·¡¹Ö °æÇèÀÌ ÀüÇô ¾ø´Â »ç¶÷µµ ÀÌÇØÇÒ ¼ö ÀÖµµ·Ï ¸ðµç °³³äÀ» ±âÃʺÎÅÍ Â÷±ÙÂ÷±Ù ¾ö¼±µÈ ¿¹Á¦¸¦ °çµé¿© ¼³¸íÇÑ´Ù. °¢ Àå¿¡´Â ¾ÆÁÖ °£´ÜÇÑ ¹®Á¦ºÎÅÍ Ã¥¿¡¼­ ´Ù·ç´Â ÇÁ·ÎÁ§Æ®¸¦ È®ÀåÇÏ´Â µ¥ À̸£±â±îÁö ´Ù¾çÇÑ ³­À̵µÀÇ ¿¬½À¹®Á¦¸¦ Á¦°øÇÒ »Ó ¾Æ´Ï¶ó, °í±Þ ÁÖÁ¦¿¡ ´ëÇÑ ´õ ÀÐÀ»°Å¸®µµ ÃßõÇϰí ÀÖ´Ù. ÀúÀÚ´Â ¿©·¯ ÇØ µ¿¾È °­ÀÇÇÑ °æÇèÀ» ¹ÙÅÁÀ¸·Î ºÐ¸íÇÏ°í °£°áÇÏ°Ô ³»¿ëÀ» Ç¥ÇöÇϰí ÀÖ´Ù.ÀÌ Ã¥ÀÇ Æ¯Â¡Àº ´ÙÀ½°ú °°´Ù.NO1. °­»ç¿Í ÇлýµéÀ» À§ÇØ PPT ½½¶óÀÌµå ¹× ¿¬½À¹®Á¦ ¸ð¹ü´ä¾ÈÀ» ÇϽºÄÌ È¨ÆäÀÌÁö¿¡¼­ Á¦°øÇÑ´Ù.NO2. °­»çµéÀº ÀÌ Ã¥À¸·Î ÁøÇàÇÏ´Â ¼ö¾÷ÀÇ ½ÃÇè¹®Á¦ »ùÇÃÀ» (¸ð¹ü´ä¾È°ú ÇÔ²²) ¿äûÇÒ ¼ö ÀÖ´Ù.NO3. Ã¥¿¡¼­ ´Ù·ç´Â ÄÚµå´Â ¸ðµÎ ÃÖ±Ù ÇϽºÄÌ ±¸Çö¿¡¼­ Àß µ¿ÀÛÇϸç ȨÆäÀÌÁö¿¡¼­ ¹ÞÀ» ¼ö ÀÖ´Ù.NO4. °­ÀÇ ´É·ÂÀÌ °ËÁõµÈ Àú¸íÇÑ ÇϽºÄÌ ¿¬±¸ÀÚÀÌÀÚ °­»çÀÎ ±×¶óÇÔ ÇãÆ° ±³¼ö°¡ Á÷Á¢ ÁýÇÊÇÏ¿´´Ù.

ÀÌ Ã¥Àº HaskellÀ̶õ ¾ð¾î·Î ÇÁ·Î±×·¥ Â¥´Â ¹ýÀ» ÀÏ·¯Áִ åÀÌ´Ù. HaskellÀº ±× ³»¿ëÀÌ ºñ±³Àû ÀûÁö¸¸ Àǹ̰¡ ¸í·áÇϸ鼭µµ ºñÇÒ µ¥ µå¹® Ç¥Çö·ÂÀ» °®Ãá µ¸º¸ÀÌ´Â ¾ð¾îÀÌ´Ù. ¿Ü¼­¸¦ ¹ø¿ªÇÑ Ã¥ÀÌÁö¸¸ ´Ù¾çÇÑ ½Ç¹«¿¹Á¦¸¦ Ãß°¡·Î ÀÛ¼ºÇØ ³Ö¾úÀ¸¸ç, ¹®Á¦¿¡ ´ëÇÑ ÇØ´ä ¹× ÇØ¼³ ¶ÇÇÑ Ã¥¿¡¼­ ¼³¸íÇϰí ÀÖ´Â ÇϽºÄÌ È¨ÆäÀÌÁö¿¡¼­ ¹«·á·Î »ç¿ëÀÌ °¡´ÉÇÏ´Ù. ¶ÇÇÑ ÀÌ ÇÁ·Î±×·¡¹Ö ¹æ¹ýÀº °£°áÇÑ ÇÔ¼öÇü ÇÁ·Î±×·¥À» ±âÃÊ·Î Çϱ⠶§¹®¿¡ ÀüüÀûÀÎ ¸ÞÄ¿´ÏÁòÀ» ÇÑ´«¿¡ ÆÄ¾ÇÇϸ鼭 Äڵ带 ÀÛ¼ºÇÏ°í ¼öÁ¤Çϱ⿡ Æí¸®ÇÏ´Ù. ÀÌ·± °­Á¡ ¶§¹®¿¡ ÇØ¿ÜÀÇ ´ëÇп¡¼­´Â ±âº» ¼ö¾÷ °úÁ¤À¸·Î ±³À°µÇ°í ÀÖ´Ù. µû¶ó¼­ ¾îÁö·¯¿î ÇÁ·Î±×·¡¹Ö ÀÛ¾÷¿¡ °í´ÜÇÔÀ» ´À³¢°Å³ª, Á» ´õ ½±°í °£°áÇÑ ÇÁ·Î±×·¡¹Ö ÀÛ¾÷À» ¼±È£ÇÏ´Â °³¹ßÀÚ¶ó¸é Àû±Ø ÃßõÇÏ´Â ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÌ´Ù.

LEON2