caseステートメントが評価されない

Question

m2とmが等しい場合、何も返さず地図を更新するIO操作（ネットワーク経由でいくつかのものを送り出す）を行いたいと思います。私は以下のコードを作って、これが何か不潔なものにリファクタリングできるかどうか（1）メッセージを送信すべきケース表現が評価されないか、少なくともメッセージが送信されないのはなぜですか？

コードの下にコメントを付けると、私が望むように送信されますが、m2の値が何であるかを無視して送信されます。

main = withSocketsDo $ do 
    s <- socket AF_INET Datagram defaultProtocol 
    (q, m) <- newRq 
    let m2 = appendMsg "first" key m 
     _ = case m2 of   
        val | m2 == m -> do let Just messages = Map.lookup ("192.168.1.1", 4711) m in sendq s (B.pack $ unwords messages) "192.168.1.1" 4711 
     (q4, m4) = case m2 of 
        val | m2 == m -> deleteRec key q m2 
         | otherwise -> (q, m2) 
    --let Just messages = Map.lookup ("192.168.1.1", 4711) m 
    --sendq s (B.pack $ unwords messages) "192.168.1.1" 4711 

私は_平方メートルとmが等しくないすべてのケースのために定義されていないことを知っているが、SENDQ IO()返し、私は同じ型を返します| otherwise ->のためにここに追加する賢明な何かを考えることができませんでした。

Answer 1

_ = case m2 ofで始まる2行のコードは、まったく何もしません！これは、束縛値_が他の場所では使用されていない（または言及されていない）ため、決して評価されないためです。

あなたが探しているのは、おそらく、関数whenからControl.Monadまでです。タイプはMonad m => Bool -> m() -> m()です。次のようにあなたはそれを使用することができます。

when (m == m2) (send the messages ...) 

をしかし、あなたはすなわち、メインdo式の一部として、letブロックの外にそれを使用する必要があります。

もう一つは、あなたのコード：

 (q4, m4) = case m2 of 
       val | m2 == m -> deleteRec key q m2 
        | otherwise -> (q, m2) 

は次のように単純化することができます。

 (q4, m4) = if (m2 == m) then deleteRec key q m2 else (q, m2)