kadai1課題４ 線形型ã«é–¢ã™ã‚‹è«–文をèªã‚“ã§ãã‚Œã«åŸºã¥ã型推論プãƒã‚°ãƒ©ãƒ を書ã 線形型システムã¨ã¯ï¼Ÿ 線形型システムã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ 実行ä¸ã«ä½œã‚‰ã‚ŒãŸå€¤ãŒä½•åº¦ä½¿ã‚ã‚Œã†ã‚‹ã‹ã«ã‚ˆã£ã¦ 型を区別ã™ã‚‹ã‚ˆã†ãªåž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã™ã€‚例ãˆã°ã€æ•´æ•°ã®åž‹ã¯MLã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã§ã¯å˜ã«"int" ã§ã™ãŒã€ 線形型システムã§ã¯ã€é«˜ã€…一回ã—ã‹ä½¿ã‚ã‚Œãªã„æ•´æ•°ã®åž‹ã¯"int<１>", 何回ã§ã‚‚使ã‚ã‚Œã†ã‚‹ æ•´æ•°ã®åž‹ã¯"int<ω>" ã®ã‚ˆã†ã«åŒºåˆ¥ã•ã‚Œã¾ã™ã€‚ã“ã®ã‚ˆã†ã«åž‹ã®æ¦‚念を拡張ã—ã¦ã‚‚ MLã¨å…¨ãåŒã˜ã‚ˆã†ã«è‡ªå‹•çš„ã«åž‹æŽ¨è«–ãŒè¡Œãªãˆã‚‹ （ã“ã“ã§ã¯åž‹ã®æ¦‚念ãŒæ‹¡å¼µã•ã‚Œã¦ã„ã¾ã™ã‹ã‚‰ã€ å„データãŒä½•å›žä½¿ã‚れるã‹ã‚‚自動的ã«æŽ¨è«–ã•ã‚Œã‚‹ã“ã¨ã«ãªã‚Šã¾ã™ï¼‰ã“ã¨ãŒæœ€è¿‘ã«ãªã£ã¦çŸ¥ã‚‰ã‚Œã¦ãŠã‚Šã€ 例ãˆã°ã€fn x=>x+1 ã®åž‹ã¯ã€âˆ€ï½‰>=1, ｊ.(int<ｉ> -> int<ｊ>) ã®ã‚ˆã†ã«æŽ¨è«–ã§ãã¾ã™ã€‚ 線形型ã£ã¦ä½•ã®å½¹ã«ç«‹ã¤ã®ï¼Ÿ プãƒã‚°ãƒ©ãƒ 実行ä¸ã«é«˜ã€…一度ã—ã‹ä½¿
{{#tags}}- {{label}}
{{/tags}}