Scalaã§åž‹ãƒ¬ãƒ™ãƒ«ã®ãƒ©ãƒ ダ計算 - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜æ–°ã—ã„言語をã•ã‚ã£ãŸã‚‰ã¨ã‚Šã‚ãˆãšãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタを実装ã™ã‚‹ã‚ˆã! Scalaã§ãµã¤ã†ã«ãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタを実装ã™ã‚‹ã®ã¯ã‚ã¾ã‚Šã«ç°¡å˜*1ãªã®ã§, 型レベルã§ã‚„ã£ã¦ã¿ãŸ. ã¾ã˜ã‚ãªè©±ã‚’ã—ã¦ãŠãã¨, C++ã®ãƒ†ãƒ³ãƒ—レートãŒãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ãªã®ã¯æœ‰åãªè©±ã ã‘ã©, Scalaã§ã¯ã©ã†ãªã®ã‹æ°—ã«ãªã£ãŸ. 以å‰C++ã®ãƒ†ãƒ³ãƒ—レートã§ãƒ©ãƒ ダ計算ã®ã‚¤ãƒ³ã‚¿ãƒ—リタを実装ã—ãŸã®ã¨åŒæ§˜ã®ã“ã¨ãŒã§ãã‚‹ã‹æ€è€ƒå®Ÿé¨“ã—ã¦ã¿ã‚‹ã¨, ã ã„ãŸã„ã§ããã†ã«æ€ãˆãŸã®ã§ã‚„ã£ã¦ã¿ãŸ. ã§ããŸã‚‚㮠例 import lambda._ case class Equals[A >: B <: B, B]() // 型レベルã®åŒå€¤æ€§ãƒã‚§ãƒƒã‚¯ç”¨ type S = x ->: y ->: z ->: ( x @@ z @@ (y @@ z) ) type K = x ->: y ->: x type result = ( S @@ K
{{#tags}}- {{label}}
{{/tags}}