Có thể xác định khai báo tính cố định trong REPL không?

Question

Tôi thích chơi trong REPL vì đây là một cách thực sự nhanh chóng và đơn giản để thử những điều mới. Một số khía cạnh của ngôn ngữ, như bạn đã biết, được thực hiện khác nhau trong REPL như trái ngược với các mô-đun, định nghĩa nhiều dòng là một trong số chúng.

Bây giờ, tôi tự hỏi, và trong trường hợp đó, tôi có thể khai báo toán tử cố định trong REPL như thế nào. Nỗ lực ngây thơ ... bất ngờ ... không hoạt động.

Prelude> let (f · g) x = f(g(x)) 
Prelude> infixl 7 · 

Answer 1

Bạn có thể tuyên bố tính cố định sử dụng định nghĩa đa dòng như

>>> :{ 
>>> let infixl 7 *** 
>>>  (f *** g) (a,b) = (f a, g b) 
>>> :} 
>>> (negate *** show) (1,2) 
(-1,"2") 

Sửa đây: Mặc dù, thú vị, tính cố định không được hiển thị khi bạn hỏi GHCI về chức năng

>>> :i *** 
(***) :: (a -> a') -> (b -> b') -> (a, b) -> (a', b') 
     -- Defined at <interactive>:10:8 

so với

>>> :i && 
(&&) :: Bool -> Bool -> Bool  -- Defined in `GHC.Classes' 
infixr 3 &&