
ÀúÀÚ: ±×¶óÇÔ ÇãÆ°(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)¿´À¸¸ç, ÇöÀç´Â ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÄÄÆÄÀÏ·¯ ±¸Çö, ¼ÒÇÁÆ®¿þ¾î °øÇÐ, ÇÁ·Î±×·¥ ºÐ¼® ¹× ½Ã°¢È, ·Îº¿ ÇÁ·Î±×·¡¹Ö µîÀ» ¿¬±¸ÇÏ´Â ÇÁ·Î±×·¡¹Ö ¾ð¾î ¿¬±¸½ÇÀ» À̲ø°í ÀÖ´Ù.

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