ã¡ãã£ã¨ããé«éé¢æ°ã使ã£ãããºã«ã§ããåã®ä¼ç¤¾ã®é¢æ¥ã§ä½¿ããããªãã¨æã£ã¦ããã®ã§ããã使ãæ©ä¼ããªããªã£ãã®ã§ãå ¨ãå¥ã®æ©ä¼ã«ãé«éé¢æ°ãæããããã®ä¾ãæ¸ãã¦ãã¦ãéãã§ãããé¢ç½ããã®ãè¦ã¤ããã®ã§è¦ãã¦ããã®ã§ãã # let twice f x = f (f x) ãã㯠f ã¨ããé¢æ°ã¨å¤ x ãããã£ã¦ãf ãäºå x ã«é©ç¨ããé¢æ°ã§ãã 次㮠add1 ã¯å¼æ° x ãåãåã£ã¦ãï¼è¶³ãã¦è¿ãé¢æ°ã§ããããã twice ã«ä½¿ãã¨ããããªãã¾ãã # let add1 x = x + 1 # add1 0 1 # twice add1 0 2 é¢æ°åè¨èªã«æ £ãã¦ããæ¹ãªããtwice ((+) 1) 0 ã§ãåãã§ããã(OCaml ã使ã£ã¦ãã¾ãããæ £ãã¦ããªãæ¹ã®çºã«ãåºåãä¸é¨çç¥ãã¦ãã¾ãã# ã¯ããã³ããã§ããã³ã¡ã³ãããããã¾ããããã¨ãå ¥åã®å¾ã«ã¯ ;; ã
{{#tags}}- {{label}}
{{/tags}}