関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®šç¾©ï¼†å®Ÿè£…ã®ä»•æ–¹ã®ä¾‹ - Qiitaå‰ç½®ã：何ã¨ãªãæˆã‚Šè¡Œãã§ä½•ã‹æ›¸ã‹ãªã„ã¨å¿ƒè‹¦ã—ã„ã®ã§ã€æ®´ã‚Šæ›¸ãレベル ＆ æ–‡æ‰ãŒãªãã¦ã¤ã¾ã‚‰ãªã„ ＆ 関数型言語ã®æŽˆæ¥ç‰ã‚’å—ã‘ãŸã“ã¨ãŒã‚ã‚‹æ–¹ã«ã¯ã‚‚ã®ã™ã”ã当ãŸã‚Šå‰ã®æ•™ç§‘書的内容ã§ã™ã¿ã¾ã›ã‚“ãŒã€å–り急ãŽè‡ªåˆ†ãŒå®¹æ˜“ã«æ›¸ã‘ã‚‹ã“ã¨ã‚’書ãã¾ã™ã€‚（ã“ã®è¨˜äº‹ã«ç›´æŽ¥ã®é–¢ä¿‚ãŒã‚る）質å•ãŒã‚ã‚Œã°ã€ï¼ˆã™ãã«åå¿œã§ããªã„å ´åˆã‚‚ã‚ã‚‹ã¨æ€ã„ã¾ã™ãŒï¼‰ãªã‚‹ã¹ãç”ãˆã¾ã™ã€‚誤æ¤ãªã©ã®æŒ‡æ‘˜ã‚‚助ã‹ã‚Šã¾ã™ã€‚ ã•ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒžãªã‚‰ã°èª°ã—も一度ã¯ã€Œã‚ªãƒ¬ã‚ªãƒ¬ãƒ»ã‚ªãƒªã‚¸ãƒŠãƒ«ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’作りãŸã„ã€ã¨ã„ã†æ¬²æ±‚を抱ãã¾ã™ã‚ˆã。（抱ãã¾ã™ã‚ˆã？） ãã®ã¨ãã€æ–‡å—列レベルã®æ–‡æ³•ï¼ˆå…·è±¡æ§‹æ–‡(concrete syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã¯ã‚ã‚Šã¨èª°ã§ã‚‚(?)考ãˆã‚‰ã‚Œã¾ã™ãŒã€ãã‚ŒãŒæœ¨æ§‹é€ レベルã§ã©ã†ã„ã†é¢¨ã«è¡¨ã•ã‚Œã¦ï¼ˆæŠ½è±¡æ§‹æ–‡(abstract syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã€ã©ã†å‹•ä½œã™ã‚‹ã®ã‹ï¼ˆæ“作的æ„味論(operational semantics)ã¨
ã©ã®ã‚ˆã†ã«ã—ã¦åƒ•ã¯ãƒ—ãƒã‚°ãƒ©ãƒžã«ãªã£ãŸã®ã‹æ€ã„出ã—ã¦ã¿ãŸ
ä¼æ¥ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžãŒæ–°ãŸãªå›²ã„è¾¼ã¿ãƒ„ール㫠| readwrite.jp
{{#tags}}- {{label}}
{{/tags}}