Prelude ã«ã¯ï¼const :: a -> b -> a ã¨ãã颿°ãå®ç¾©ããã¦ãã¾ãï¼a -> b -> a ã¨ããå㯠a -> (b -> a) ã®ãã¨ãªã®ã§ï¼ãã®é¢æ°ã弿°ã«é©ç¨ããã¨ï¼b -> a ã¨ããåã®é¢æ°ã«ãªãã¾ãï¼ã§ãããã£ã颿°ã¯ã©ã®ãããªå¤ v :: b ã«é©ç¨ãã¦ãï¼ãã®é¢æ°ãä½ãã¨ãã«é©ç¨ãã弿°ãè¿ãã¾ãï¼ ghci> :type const const :: a -> b -> a ghci> let k1 = const 1 ghci> k1 "Hoge" 1 ghci> k1 False 1 ghci> k1 undefined 1 ghci> let kHuga = const "Huga" ghci> kHuga "Hoge" "Huga" ghci> kHuga 2 "Huga" ghci> kHuga undefined "Huga"ãã¦ã
{{#tags}}- {{label}}
{{/tags}}