Haskell Prelude中'const'的重点是什么？

Question

通过Haskell Prelude,我看到了一个函数 const:

const x _ = x

我似乎无法找到有关此功能的任何相关内容.

重点是什么？任何人都可以举例说明这个函数的用途吗？

Answer 1

当您不需要所有灵活性时,它可用于传递到高阶函数.例如,monadic序列运算符>>可以根据monadic绑定运算符来定义

x >> y = x >>= const y

它比使用lambda有点整洁

x >> y = x >>= \_ -> y

你甚至可以无点使用它

(>>) = (. const) . (>>=)

虽然在这种情况下我并不特别推荐.

Answer 2

要添加到哈马尔的优良直接的答案:像卑微的功能const和id如出于同样的原因,他们是一个高阶函数真正有用的根本在SKI组合子演算.

并不是说我认为haskell的前奏函数是在正式系统之后有意识地建模的.只是在haskell中创建丰富的抽象非常容易,所以你经常会看到这些类型的理论事物在实际上很有用.

无耻的插头,但我的博客上讲述了应用型实例如何(->)实际上是S和K组合子在这里,如果这是你到之类的话.

Answer 3

一个简单的使用示例const是Data.Functor.(<$).有了这个功能,你可以说:我这里有一个带有无聊内容的仿函数,但我希望在其中有其他有趣的东西,而不改变仿函数的形状.例如

import Data.Functor

42 <$ Just "boring"
--> Just 42

42 <$ Nothing
--> Nothing

"cool" <$ ["nonsense","stupid","uninteresting"]
--> ["cool","cool","cool"]

定义是:

(<$) :: a -> f b -> f a
(<$) =  fmap . const

或者写得没有意义:

cool <$ uncool =  fmap (const cool) uncool

你看到const这里如何用来"忘记"输入.

Answer 4

我似乎无法找到有关此功能的任何相关内容.

许多其他答案讨论相对深奥(至少对新人)的应用const.这是一个简单的问题:你可以const用来摆脱一个带有两个参数的lambda,扔掉第一个参数,但用第二个抛出一些有趣的东西.

例如,以下(效率低下!)的实现length,

length' = foldr (\_ acc -> 1 + acc) 0

可以改写为

length' = foldr (const (1+)) 0

这可能更优雅.

表达式const (1+)确实在语义上等同于\_ acc -> 1 + acc,因为它接受一个参数,将其抛弃,并返回该部分(1+).

Answer 5

另一个用途是实现具有伪参数的类成员函数,该伪参数不应被评估(用于解析模糊类型).可以在Data.bits中的示例:

instance Bits Int where
  isSigned = const True
  bitSize  = const wordSize
  ...

通过使用const,我们明确地说我们正在定义常量值.

我个人不喜欢使用伪参数,但如果在类中使用它们,那么这是一种编写实例的相当不错的方法.