型システムをå¦ã¼ã†ï¼ã“れ㯠Haskell Advent Calendar 2017 (ãã®ï¼‘) 15日目ã®è¨˜äº‹ã§ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ãªæ§‹æˆã§ Hindley/Milner ã®åž‹æŽ¨è«–ã«ã¤ã„ã¦è¿°ã¹ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 最åˆã®ç¯€ã§ã¯ã€ã¨ã¦ã‚‚å°ã•ãªè¨€èªžã‚’é¡Œæã«ã—ã¦åž‹ã‚·ã‚¹ãƒ†ãƒ ã‚’å½¢å¼çš„ã«å®šç¾©ã—ã¦ã¿ã¾ã™ã€‚ ã“ã“ã§ã¯ã€åž‹ã¨ã¯ãªã«ã‹ã€ã¾ãŸã€ãã®å½¹å‰²ã‚„能力ã«ã¤ã„ã¦ç¢ºèªã—ã¾ã™ã€‚ ã“ã®ç¯€ã®ã‚‚ã†ã²ã¨ã¤ã®ç›®çš„ã¯ã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã‚’å½¢å¼çš„ã«è¨˜è¿°ã™ã‚‹ã‚„ã‚Šã‹ãŸã«æ…£ã‚Œã‚‹ã“ã¨ã§ã™ã€‚ ãã—ã¦æ¬¡ã«ã€Hindley/Milner ã®åž‹æŽ¨è«–ã«ã¤ã„ã¦è¿°ã¹ã€æœ€å¾Œã« Haskell ã«ã‚ˆã‚‹å®Ÿè£…を示ã—ã¾ã™ã€‚
ï¼ï¼¬åž‹æŽ¨è«–ã®å…‰ã¨å½±å½± @@å¹³æˆå»¿ä¸€å¹´æ±éƒ½å¤§é§±é§ä¼šå¹³æˆå»¿ä¸€å¹´æ±éƒ½å¤§é§±é§ä¼š äº¬éƒ½å¤§å¦ äº”ååµ æ·³ 自己紹介 æƒ…å ±ç§‘å¦ã®ç ”究をã—ã¦ã„ã¾ã™ å°‚é–€ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨ã‹åž‹ç†è«–ã¨ã‹ ç ”ç©¶ã®ã²ã¨ï¿½
JavaScript ã«ã‚ˆã‚‹åž‹æŽ¨è«–器ã®å®Ÿè£… - takuto_hã®æ—¥è¨˜
{{#tags}}- {{label}}
{{/tags}}