ãããHaskellãã®ããå¦ã¼ãï¼ï¼ç¥ãã¦ãããHæ¬ï¼ã§ãããé£ããã£ããã©ãªãã¨ãèªäºã§ãã¾ããã ããããã®æ¬ãå
¨ä½çã«è§£èª¬ãä¸å¯§ãªã®ã§ãããéè¦ãããªãã¨ã¿ãªãããé¨åã®èª¬æã¯ãæå¤ã¨ã¶ãã¯ãªãã¦ãå°è±¡ã§ãã ã¨ããããã§ãã¡ãã£ã¨ç解ã«æéãããã£ãç®æãèªåãªãã«ã¾ã¨ãã¦ãããï¼ ã¨ããè¨äºã§ãã æåã«èºããç®æã¯ã第11ç« ã®249Pãé¢æ°ãã¢ããªã«ãã£ãã ããã¨ããã¨ããã§ããã çµè«ã¯ :: f g = \r -> (f r) (g r) ãªã®ã§ãããæåã«è¦ãã¨ãã¯ãµãããªã ã£ãã®ã§ãããã«ã¤ãã¦ã¡ã¢ãã¾ãã ã¢ããªã«ãã£ããã¡ã³ã¯ã¿ã¼ã®ã®å®ç¾©ã¯ :: f (a -> b) -> f a -> f b ã ããããã® f ãé¢æ°ã®åã¯ã©ã¹ ((->) r)ã«ç½®ãæã㦠:: ((r -> a) -> b) -> (r -> a) -> (r -> b) ã§ãã£ã¦ã((r
{{#tags}}- {{label}}
{{/tags}}