1 ã¤ã®å¼æ°ãåãé¢æ°ãåæ ä¸ã¤ã®å¼æ°ãåãé¢æ°ãåæããå ´åãä¾ãã°ã *Main> (2*).(3+) $ 4 14 é¢æ°åæã®å®ç¾© ã¯ã (.) f g x = f (g x) ãã£ã¦ãé¢æ°åæã®é¨åãå®ç¾©ã§ç½®ãæããã¨ã (2*).(3+) => \x -> 2 * (3 + x) ããã 4 ã«é©ç¨ããã¨ã (\x -> 2 * (3 + x)) 4 => 2 * (3 + 4) => 14 2 ã¤ã®å¼æ°ãåãé¢æ°ã¨ã1 ã¤ã®å¼æ°ãåãé¢æ°ãåæ ä¸è¨ã®é¢æ°åæ (.) ã®ç¬¬ 1 å¼æ°ãã2 ã¤ã®å¼æ°ãåãé¢æ° (*) ã«å¤æ´ãã¦ã¿ããé¢æ°ã®åã調ã¹ãã¨ã *Main> :t (*).(3+) (*).(3+) :: (Num a) => a -> a -> a åæãããé¢æ°ãã2 ã¤ã®å¼æ°ãåãé¢æ°ã«ãªã£ããã¨ããããã ãã®åæãããé¢æ°ãé©å½ãªå¤ã«é©ç¨ãã¦ã¿ãã *Ma
{{#tags}}- {{label}}
{{/tags}}