這個簡單的Haskell函數是否已經有一個衆所周知的名字？

Question

我剛剛寫了這個功能，只是需要一對，其第二個值是在一些單子，和「拉單子去」覆蓋整個對。

unSndM :: Monad m => (a, m c) -> m (a, c) 
unSndM (x, y) = do y' <- y 
        return (x, y') 

是否有更好和/或更短或無點或甚至標準的方式來表達？

我得儘可能下文中，-XTupleSections開啓...

unSndM' :: Monad m => (a, m c) -> m (a, c) 
unSndM' (x, y) = y >>= return . (x,) 

謝謝！

Answer 1

一個次要的一點：有可能這個只用fmap（無>>=）寫的，所以你真的只需要一個Functor實例：

unSndM :: (Functor f) => (a, f c) -> f (a, c) 
unSndM (x, y) = fmap ((,) x) y 

這個版本是一個比較普遍。爲了回答你有關pointfree版本的問題，我們就可以問pointfree：

travis@sidmouth% pointfree "unSndM (x, y) = fmap ((,) x) y" 
unSndM = uncurry (fmap . (,)) 

所以，是的，甚至更短的版本是可能的，但我個人覺得uncurry有點難以閱讀和避免它在大多數情況下。

如果我是在寫我自己的代碼此功能，我可能會使用<$>從Control.Applicative，這並剃去一個字：

unSndM :: (Functor f) => (a, f c) -> f (a, c) 
unSndM (x, y) = ((,) x) <$> y 

<$>僅僅是fmap的代名詞，而我喜歡它使事實上這是一種功能應用程序更清晰一點。

Answer 2

Hoogle是你的朋友。如果標準庫的一個有它那麼hoogle爲「Monad m => (a, m b) -> m (a,b)」將找到它。注意函數仍然處於hackage包，但它往往是不值得額外的集結DEP只是這樣的小功能。

Answer 3

我還沒有看到它在任何哈斯克爾庫編寫的（雖然它可能是在類別的臨時演員），但它通常被稱爲一個單子的「張量強度」。請參閱：

http://en.wikipedia.org/wiki/Strong_monad

http://comonad.com/reader/2008/deriving-strength-from-laziness/

Answer 4

如果(,) x)的Traversable和Foldable實例是在圖書館（我想我必須爲自己的缺席有些責備的）...

instance Traversable ((,) x) where 
    traverse f (x, y) = (,) x <$> f y 

instance Foldable ((,) x) where 
    foldMap = foldMapDefault 

...那麼這個（有時被稱爲「強度」）將是Data.Traversable.sequence專業化。

sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) 

所以

sequence :: (Monad m) => ((,) x) (m a) -> m (((,) x) a) 

即

sequence :: (Monad m) => (x, m a) -> m (x, a) 

事實上，順序並沒有真正使用的Monad全功率：Applicative會做。此外，在這種情況下，與x的配對是線性的，所以traverse只做<$>而不是pure和<*>的其他隨機組合，並且（如其他地方已經指出的），您只需要m具有函數結構。