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}}