#001 多相å†å¸° - λx. x K S K ï¼ ã¯ã¦ãªOCaml ã§ã¯ï¼Œé•ã†åž‹ã§å†å¸°ã™ã‚‹å¤šç›¸é–¢æ•°ã‚’書ãã“ã¨ãŒé›£ã—ã„． 以下ã®ãƒ‡ãƒ¼ã‚¿åž‹ ('a,'b) twist を考ãˆã‚‹ï¼Ž type ('a,'b) twist = Nil | Cons of 'a * 'b * ('b,'a) twist 例ãˆã°ï¼Œæ¬¡ã®å€¤ã¯ãƒ‡ãƒ¼ã‚¿åž‹ (int,bool) twist ã‚’æŒã£ã¦ã„る．let twist_data = Cons(1,true,Cons(false,2,Nil)) ã“ã®ãƒ‡ãƒ¼ã‚¿åž‹ã«å¯¾ã—，長ã•ï¼ˆConsã®å€‹æ•°ï¼‰ã‚’求ã‚る関数を定義ã—ã¦ã¿ã‚ˆã†ï¼Žlet rec length = function Nil -> 0 | Cons(a,b,rest) -> 1 + length rest 関数 length ã®å®šç¾©ã¯è‡ªç„¶ã®ã‚ˆã†ã«æ€ãˆã‚‹ãŒï¼Œå®Ÿéš›ã«ã¯ ('a,'a) twist -> int ã¨ã„ã†åž‹ãŒæŽ¨è«–ã•ã‚Œã¦ã—ã¾ã„，上記㮠twist_data ã«ã¯é©ç”¨ã§ããªã„．
{{#tags}}- {{label}}
{{/tags}}