ã„ã‚ã‚“ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ - QiitaTL;DR アドホック多相ã¯åž‹ã‚¯ãƒ©ã‚¹ã˜ã‚ƒãªãã¦ã‚‚実ç¾ã§ãる。 Haskell, Rust, Scalaã§ã¯å¾Œä»˜ã‘ã§æ‹¡å¼µã§ãã‚‹ã‘ã©ã€ãã‚Œã¯ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã®æœ¬è³ªã§ã¯ãªã„。 アドホック多相(Ad hoc polymorphism) ウィã‚ペディアã¯è¾žæ›¸ã§ã¯ãªã„ã®ã¯ã‚ã‹ã£ã¦ã„ã¾ã™ãŒã€ãã‚Œã§ã‚‚ 英語版Wikipediaã®Ad hoc polymorphismã®ãƒšãƒ¼ã‚¸ã‚’å‚考ã«æŒ™ã’ã¦ãŠãã¾ã™ã€‚ ã–ã£ãã‚Šã¾ã¨ã‚る㨠型階層上ã¯é–¢é€£æ€§ã®ãªã„複数ã®åž‹ã®å¼•æ•°ã«é©ç”¨ã§ãã‚‹ã€å¤šç›¸çš„ãªé–¢æ•° 引数ã®åž‹ã«å¿œã˜ã¦ã€å€‹åˆ¥ã®ï¼ˆã‚¢ãƒ‰ãƒ›ãƒƒã‚¯ãªï¼‰å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ ã¨ã€ãã‚Œã ã‘ã®ã“ã¨ã€‚ 「引数ã®åž‹ã«ã‚ˆã£ã¦åˆ¥ã®å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ã£ã¦ã€ãれメソッドã®ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã¨ä½•ãŒé•ã†ã®ã€ã£ã¦ã“ã¨ãªã‚“ã§ã™ã‘ã©ã€ç‰¹ã«é•ã„ã¯ã‚ã‚Šã¾ã›ã‚“。åŒã˜ã§ã™ã€‚ã¨ã¯ã„ãˆã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã‚ˆã£ã¦ã€å®Ÿç¾æ–¹æ³•ã‚„使ã„å‹æ‰‹ã¯é•ã„ã¾ã™ã€‚ãã®ã‚ãŸã‚Šã®ã“ã¨ã‚’ã€ã„ãã¤ã‹
型付ã‘ã¯é›£ã—ã„
F7: Refinement Types for F# - Microsoft Research
{{#tags}}- {{label}}
{{/tags}}