Haskellã®Rank2TypesãŒã ã„ã¶ã‚ã‹ã‚‹ã‚„㤠- Qiitaå˜åœ¨åž‹ã¯heterogeneousリストãªã©ã®ä¾‹ãŒã‚ã‹ã‚Šã‚„ã™ã„ã§ã™ã‘ã©ã€Rank2Types (or RankNTypes) ã¯ãªã‹ãªã‹ã‚ã‹ã‚Šã‚„ã™ã„例ãŒãªã„æ°—ãŒã—ã¾ã™ãƒ¼ã€‚ 今回ã€å˜åœ¨åž‹ã¨Rank2Typesを使ã£ã¦ã€ã„ã„æ„Ÿã˜ãªã‚³ãƒ¼ãƒ‰ä¾‹ã‚’作ã£ãŸã®ã§å ±å‘Šã„ãŸã—ã¾ã™ :) What is Rank2Types ? ã©ã®ã‚ˆã†ãªã‚‚ã®ã§ã‚ã‚‹ã‹ã¯ã€ã“ã¡ã‚‰ã§ç¤ºã•ã‚Œã¦ã„ã¾ã™ haskell.org - Rank-2 Types 仮定ã™ã‚‹çŸ¥è˜ å˜åœ¨åž‹ (ExistentialQuantification) ã“ã“ã§ã‚ã‹ã‚‹ -> Haskell/å˜åœ¨é‡åŒ–ã•ã‚ŒãŸåž‹ - Wikibooks IsString (OverloadedStrings) æ–‡å—列リテラルをTextåž‹ã‚„ByteStringåž‹ã¨ã—㦠(IsString a => aåž‹ã¨ã—ã¦) 扱ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ã‚„㤠具体的ã«ã¯s = "ahoge" :: IsSt
Haskellã¨Scalaã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¨forall
Google Code Archive - Long-term storage for Google Code Project Hosting.
How wonderful to be (statically) typed 〜型ãŒä»˜ãã£ã¦ã‚¹ãƒãƒ©ã‚·ã‚¤ã€œ
{{#tags}}- {{label}}
{{/tags}}