よã‚よã‚エンジニアãŒTAPL（型システム入門）をèªã‚“ã らã“ã‚“ã«ã¡ã¯ï¼Œsititou70ã§ã™ï¼Žç§ã¯ç¤¾ä¼šäºº2å¹´ç›®ã®ã‚ˆã‚よã‚Webフãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã§ã‚り，「数å¦ã€ã¨ã‹ã€Œè¨¼æ˜Žã€ã¨ã¯ç„¡ç¸ã®äººç”Ÿã‚’é€ã£ã¦ã„ã¾ã™ï¼Ž ãã‚“ãªç§ã§ã™ãŒï¼ŒãŒã‚“ã°ã£ã¦åž‹ã‚·ã‚¹ãƒ†ãƒ 入門（通称：TAPL）ã¨ã„ã†æœ¬ã‚’èªã¿çµ‚ãˆã¾ã—ãŸï¼Žå…¨32ç« ï¼Œ503ページ，牛乳パック1本分ã®é‡ã•ãŒã‚り， 自立ã—ã¾ã™ï¼Ž 自立ã™ã‚‹æœ¬ã¯å¤§æŠµã‚„ã°ã„ã§ã™ï¼Ž TAPLã®åºæ–‡ã‚’見るã¨ï¼Œæƒ³å®šèªè€…㯠プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åž‹ç†è«–ã‚’å°‚é–€ã¨ã™ã‚‹å¤§å¦é™¢ç”ŸãŠã‚ˆã³ç ”究者 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®éµã¨ãªã‚‹æ¦‚念ã«è§¦ã‚ŒãŸã„，計算機科å¦ã®å…¨åˆ†é‡Žã®å¤§å¦é™¢ç”ŸãŠã‚ˆã³ç¿’熟度ã®é«˜ã„å¦éƒ¨ç”Ÿ1 ã¨ãªã£ã¦ã„ã¾ã™ï¼Žæœ¬è¨˜äº‹ã§ã¯ 「ãã‚“ãªæœ¬ã‚’，å¦ç”Ÿã‚„専門家ã§ãªã„人間（ç§ï¼‰ãŒèªã‚“ã らã©ã†ãªã‚‹ã®ã‹ã€ ã«ã¤ã„ã¦æ›¸ãã¾ã™ï¼Žå°‚門的ãªç”¨èªžã¯é¿ã‘ã¾ã™ã®ã§ï¼ŒTAPLã®é›°å›²æ°—ã ã‘ã§ã‚‚æ„Ÿã˜å–ã£ã¦ã‚‚らãˆãŸã‚‰å¬‰ã—ã„ã§ã™ï¼Ž ã©ã†ãªã£ãŸã®ã‹ 宇宙語ãŒèªã‚るよã†ã«ãªã£ãŸ 「型安全ã€ã‚’説明ã§ãるよ
ã€å…¥é–€ã€‘フãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã®ãƒ†ã‚¹ãƒˆæ‰‹æ³•ã¾ã¨ã‚ - Qiita
{{#tags}}- {{label}}
{{/tags}}