Structural Subtyping ã¨ã¯: ã„ã’太ã®ãƒ–ãƒã‚°subtyping （部分型）ã®è©±ã€‚僕ãŒçŸ¥ã‚‹é™ã‚Šã®ã”ãç‹ã„範囲ã§ã¯ã€ãƒ¡ã‚¤ãƒ³ã‚¹ãƒˆãƒªãƒ¼ãƒ ã®é™çš„型付ã‘言語ã§ã¯ nominal subtyping ã«ã‚ˆã£ã¦ã€å‹•çš„型付ã‘言語ã§ã¯ duck typing ã«ã‚ˆã£ã¦ã€ãã‚Œã¯æˆã•ã‚Œã‚‹ã‚ˆã†ã 。ãれらã«ã¯ä¸€é•·ä¸€çŸãŒã‚る。間をå–ã‚ŠãŸããªã£ãŸã‚‰ structural subtyping ã®å‡ºç•ªã 。é™çš„型付ã‘ã®å …ã•ã‚’ç¶æŒã—ãªãŒã‚‰ã€ãã‚Œã§ã„ã¦å‹•çš„型付ã‘言語ã®æŸ”軟性ã«ã‚‚触手を伸ã°ã™ã€‚structural subtyping ã¯ã€ãƒã‚¤ãƒ–リッド㪠subtyping ãªã®ã 。 ã¡ãªã¿ã«å…ˆã«å‘Šç™½ã—ã¦ãŠãã‘ã©ã€æœ¬ã‚¨ãƒ³ãƒˆãƒªã§ã¯ OCamlã€C++ã€Scala ã‚’é¡Œæã¨ã™ã‚‹ãŒã€åƒ•ã¯ã€ã„ãšã‚Œã®è¨€èªžã‚’も使ã£ãŸã“ã¨ãŒãªãã€ä¸€è¡ŒãŸã‚Šã¨ã‚‚コードを書ã„ãŸã“ã¨ã¯ãªã„。ãã‚“ãªäººé–“㌠Web ã§æ‹¾ã£ãŸæƒ…å ±ã ã‘ã‚’é ¼ã‚Šã«æ›¸ã„ã¦ã„ã‚‹ä¸ç”²æ–ãªã„æ–‡ç« ã ã¨ã„ã†ã“ã¨ã‚’割り引ã„ãŸä¸Šã§ã€ã“ã®å…ˆã‚’èªã¿é€²ã‚ã¦ã„ãŸã ã‘
(çš¿ã†ã©ã‚“)Structural Subtyping(æ§‹é€ çš„éƒ¨åˆ†åž‹)アレコレ - ( ꒪⌓꒪) ゆるよã‚日記
{{#tags}}- {{label}}
{{/tags}}