昔ã®ä»•äº‹ã‚’引ã£å¼µã‚Šå‡ºã—ã¦ã¿ã‚‹ã€‚ - camlspotter’s blogid:ytqwerty ã•ã‚“㌠GCaml ã§ã® type level programming ã®å¯èƒ½æ€§ã«ãƒãƒ£ãƒ¬ãƒ³ã‚¸ã•ã‚Œã¦ã„ãŸã€‚æ£ç›´å…å¹´å‰ã®äº‹ãªã®ã§è¦šãˆã¦ã„ãªã„事ãŒå¤šã„ã—ã€ãã‚‚ãã‚‚ type level programming ã‚’ã™ã‚‹ã¤ã‚‚ã‚Šã®æ‹¡å¼µã˜ã‚ƒãªã„ã®ã§ã„ã‚ã„ã‚アレã ãŒå‹˜å¼ã—ã¦ã»ã—ã„。全ソースã¯æœ€å¾Œã«ã¾ã¨ã‚ã¦ã‚ã‚Šã¾ã™ã€‚ åž‹ã§è¨ˆç®—ã™ã‚‹å ´åˆã€ãã®åž‹ã«å¯¾å¿œã™ã‚‹å€¤ã‚’ã„ã¡ã„ã¡ä½œã‚‰ãªãゃã„ã‘ãªã„ã®ãŒé¢å€’ã よã。assert false ã‚„ Obj.magic ã¯åž‹ '_a ã ãŒã€å®Ÿè¡Œã™ã‚‹ã¨å•é¡ŒãŒç”Ÿãšã‚‹ã€‚型レã§ã‚³ãƒ¡ãƒ³ãƒˆã—ãŸã‚ˆã†ã«ã€åž‹Ï„ ã‚’ãã®ã¾ã¾æ‰±ã†ã®ã§ã¯ãªãã¦ã€'a t ã®ãƒ‘ラメータã«Ï„を入れã¦ã‚ã’ã‚‹ (Ï„ t) ã¨ã„ã†å½¢ã«ã™ã‚‹ã¨å°‘ã—見通ã—ãŒã‚ˆã‚ã—ã„。'a t 㯠'a option ã§ã‚‚ 'a list ã§ã‚‚ã§ã‚‚よã„ã‘ã©ã€ã©ã†ã› 'a t ã®å€¤è‡ªä½“ã¯ä½¿ã‚ãªã„ã‚“ã ã‹ã‚‰ã€'a t ã‚’ phantom
{{#tags}}- {{label}}
{{/tags}}