我喜欢在 REPL 中玩耍,因为它是一种非常快速和简单的尝试新事物的方式。如您所知,该语言的某些方面在 REPL 中与在模块中不同,多行定义就是其中之一。
现在,我想知道是否以及在这种情况下如何在 REPL 中声明运算符固定性。天真的尝试......惊喜......不起作用。
Prelude> let (f · g) x = f(g(x))
Prelude> infixl 7 ·
我喜欢在 REPL 中玩耍,因为它是一种非常快速和简单的尝试新事物的方式。如您所知,该语言的某些方面在 REPL 中与在模块中不同,多行定义就是其中之一。
现在,我想知道是否以及在这种情况下如何在 REPL 中声明运算符固定性。天真的尝试......惊喜......不起作用。
Prelude> let (f · g) x = f(g(x))
Prelude> infixl 7 ·
您可以使用这样的多行定义来声明固定性
>>> :{
>>> let infixl 7 ***
>>> (f *** g) (a,b) = (f a, g b)
>>> :}
>>> (negate *** show) (1,2)
(-1,"2")
编辑:尽管有趣的是,当您向 GHCI 询问该功能时,不会显示固定性
>>> :i ***
(***) :: (a -> a') -> (b -> b') -> (a, b) -> (a', b')
-- Defined at <interactive>:10:8
相比
>>> :i &&
(&&) :: Bool -> Bool -> Bool -- Defined in `GHC.Classes'
infixr 3 &&