monadik değerde kasa

Question

Bir mona içinde saklanan değere, bir adaya isim vermek zorunda kalmadan, bir dava gerçekleştirmenin bir yolu var mı? case ifadesi kısmen bu yüzden uygulanabilir Alternatif

mcase getChar of 
    ... 

çok güzel olurdu,: yerine bunu yapmanın

yani:

c <- getChar 
case c of 
    ... 

bunu yapmanın bir yolu var mı

:

case of 
    ... 

için şekeri alınmış olacaktır

\a -> case a of 
    ... 

Yani yapabilirsiniz:

getChar >>= case of 
       ... 

Answer 1

cevap hayır. Haskell 98'de, içinde bir isim kullanmadan bir durum ifadesi kullanamazsınız. Ancak, kasa-lambdalar için destek eklemek için proposal var. Önerdikleri sözdizimi de teklif ettiğinizle aynı.

Answer 2

Hayır, pek değil, ancak başka bir fonksiyonun içine davayı taşımak ve Birli eylemin sonucu uygulayabilirsiniz.

f x = case x of ... 

main = do 
    f <$> getChar 

Alternativly aşağıdaki mümkündür:

getChar >>= \x -> case x of ... 

Answer 3

FUZxxl tarafından belirtilen teklif, 7.6.1'den beri GHC'de uygulandı, buna LambdaCase deniyor.

Şimdi yapabilirsiniz:

{-# LANGUAGE LambdaCase #-} 
getChar >>= \case 
    ... 

Not case anahtar kelime ve bu durumda hiçbir of olmadığı gerçeğini önce \.