关于(&&&) ?

Question

data XPState =
    XPS { dpy                :: Display
        , rootw              :: !Window
        , win                :: !Window
        , screen             :: !Rectangle
....}

runXP :: XP ()
runXP = do
  st <- get
  let (d,w) = (dpy &&& win) st
.....

Prelude Control.Arrow Control.Category> :i (&&&)
class (Category a) => Arrow a where
  ...
  (&&&) :: a b c -> a b c' -> a b (c, c')
          -- Defined in Control.Arrow
infixr 3 &&&

那么如何理解let (d,w) = (dpy &&& win) st 呢?

Answer 1

原帖由 sw2wolf 于 2009-6-25 18:56 发表

所以，
(dpy &&& win) :: XPState -> (Display, Window)
这样就清楚了， 我是因为喜欢XMONAD而开始学习haskell， 基础太差， selector function我还是第一次听说， 谢谢！

如果是这样的话，最好把 Haskell 98 report 看一遍，这样可以对 Haskell 有个系统的了解，然后再把 GHC 的手册看一遍，XMonad 里面用了很多 GHC 的扩展。

BTW,  从哪里看出此处用的是 (->) 的 Arrow instance ？

http://bbs3.chinaunix.net/viewth ... ;page=1#pid10714175

Answer 2

原帖由 MMMIX 于 2009-6-25 15:21 发表

dpy 和 win 是 XPState 的 selector function, 类型分别为
dpy :: XPState -> Display
win :: XPState -> Window

所以，
(dpy &&& win) :: XPState -> (Display, Window)
这样就清楚了， 我是因为喜欢XMONAD而开始学习haskell， 基础太差， selector function我还是第一次听说， 谢谢！

BTW,  从哪里看出此处用的是 (->) 的 Arrow instance ？

[ 本帖最后由 sw2wolf 于 2009-6-25 19:03 编辑 ]

Answer 3

原帖由 sw2wolf 于 2009-6-25 09:56 发表
>>这个 (&&&) 和那个 (***) 的用法是完全类似的。
是比较相似, 但:

在let (d,w) = (dpy &&& win) st中,  
st 应该是一个XPState, 而dpy 和win应该是XPState的成员 ?

dpy 和 win 是 XPState 的 selector function, 类型分别为
dpy :: XPState -> Display
win :: XPState -> Window

Answer 4

>>这个 (&&&) 和那个 (***) 的用法是完全类似的。
是比较相似, 但:

在let (d,w) = (dpy &&& win) st中,  
st 应该是一个XPState, 而dpy 和win应该是XPState的成员 ? 如果是的话, 那(dpy &&& win)类型如何与
(&&&) :: a b c -> a b c' -> a b (c, c') 匹配呢?

[ 本帖最后由 sw2wolf 于 2009-6-25 11:36 编辑 ]

Answer 5

原帖由 sw2wolf 于 2009-6-25 09:21 发表
那么如何理解let (d,w) = (dpy &&& win) st 呢?

我前次给你讲过 XMonad/Layout.hs 中 (***) 的用法，你真的理解了么？这个 (&&&) 和那个 (***) 的用法是完全类似的。