型システムã®ç†è«–ã®å½± - プãƒã‚°ãƒ©ãƒžãƒ¼ã®è„³ã¿ãプãƒã‚°ãƒ©ãƒ ã«ãŠã‘る型システムã£ã¦ã®ã¯æ•°å¦ãƒ»è«–ç†å¦ã®åž‹ç†è«–を基盤ã«ã—ã¦ã„ã¦ã€æŠ½è±¡çš„ãªã‚‚ã‚„ã‚‚ã‚„ã¨ã—ãŸä»£ç‰©ã€‚ã“ã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã®ç†è«–ã‚’ç¾å®Ÿã«å®Ÿè£…ã—ãŸã‚‚ã®ã¨ã—ã¦ã€å¤šæ§˜ãªãƒ—ãƒã‚°ãƒ©ãƒ 言語ãŒå˜åœ¨ã™ã‚‹ã‚ã‘ã 。 é¶ã¨åµã¨ã„ã†è©±ã ã¨ã©ã£ã¡ãªã‚“ã ã‚ã†ã€‚実装ãŒå…ˆã§ãれをç†è«–ã¨ã—ã¦ã¾ã¨ã‚ãŸã£ã¦æ„Ÿã˜ãªã®ã‹ã€ç†è«–ãŒã¾ãšè€ƒãˆã‚‰ã‚Œã¦ãƒ—ãƒã‚°ãƒ©ãƒ 言語ãŒå®Ÿè£…ã•ã‚ŒãŸã®ã‹â€¦ã€‚最åˆã®ãƒ—ãƒã‚°ãƒ©ãƒ 言語ã¨ã„ã†ã¨1954å¹´ã«ç™»å ´ã—ãŸFORTRANã§ã€IBMã®ã‚¸ãƒ§ãƒ³ãƒ»ãƒãƒƒã‚«ã‚¹æ°*1ã«ã‚ˆã£ã¦è€ƒæ¡ˆã•ã‚ŒãŸã€‚FORTRANã«ã¯ã„ãã¤ã‹ã®æ•°å€¤åž‹ãŒã‚る。ã“ã®é ƒã«åž‹ã‚·ã‚¹ãƒ†ãƒ ã®ä½“系的ãªç†è«–ãŒã§ãã¦ã„ãŸã¨ã¯æ€ãˆãªã„ã‹ã‚‰å¤šåˆ†ã€å®Ÿè£…ãŒå…ˆè¡Œãªã‚“ã ã‚ã†ãªã€‚ ç†è«–ã¨ã—ã¦ã®åž‹ã€ãã®Java実装ã®ã‚¯ãƒ©ã‚¹ 型システム(type system)ã§ã„ã†åž‹(type)ã¯åž‹ç†è«–ã«åŸºã¥ãã‚ã‘ã§ã€æ•°å¦çš„ãªæŠ½è±¡æ¦‚念ã«è¿‘ã„。例ãˆã°åƒ•ã‚‰ãŒæ—¥å¸¸ç”Ÿæ´»ã§æ•°å¦çš„概念ã§ã‚ã‚‹1/3ã¨ã„ã†å€¤ã‚’厳密ã«ä½¿ã†ã“ã¨ã¯ãªã„
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
http://www.machu.jp/posts/20090309/p01/
æ€è€ƒå®Ÿé¨“: returnを関数ã¨æ€ã£ã¦ã¿ã‚‹è©± - d.y.d.
{{#tags}}- {{label}}
{{/tags}}