Haskell/å˜åœ¨é‡åŒ–ã•ã‚ŒãŸåž‹ - Wikibookså˜åœ¨åž‹ (Existential types ã‚‚ã—ãã¯çŸã existentials) ã¯åž‹ã®é›†åˆã‚’ã²ã¨ã¤ã®åž‹ã¸ã¨åœ§ç¸®ã™ã‚‹æ–¹æ³•ã§ã‚る。 最åˆã«æ³¨æ„ã—ã¦ãã“ã¨ãŒã‚る。 å˜åœ¨åž‹ã¯ GHC 㮠型システム拡張 ã®ä¸€éƒ¨ã§ã‚る。ã“れら㯠Haskell98 ã®ä¸€éƒ¨ã§ã¯ãªãã€-XExistentialQuantification ã¨ã„ã†è¿½åŠ ã®ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°ã‚’ã¤ã‘ã‚‹ã‹ã€{-# LANGUAGE ExistentialQuantification #-} をソースコードã®å…ˆé ã«ç½®ãã‹ã—ã¦ã€ã‚³ãƒ³ãƒ‘イルã—ãªã‘ã‚Œã°ãªã‚‰ãªã„ã ã‚ã†ã€‚
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
å˜åœ¨åž‹ã‚’全称é™é‡åã¨ä»£æ•°çš„データ型ã§ã‚¨ãƒ³ã‚³ãƒ¼ãƒ‰ã™ã‚‹ - maoeã®ãƒ–ãƒã‚°
å˜åœ¨åž‹ (Existentially quantified data constructors) | tnomuraã®ãƒ–ãƒã‚°
{{#tags}}- {{label}}
{{/tags}}