caso en el valor monádico

Question

¿Hay alguna forma de realizar un caso sobre el valor almacenado dentro de una mónada sin tener que vincular un nombre al mismo?

es decir, en lugar de hacer esto:

c <- getChar 
case c of 
    ... 

¿Hay una manera de hacer esto:

mcase getChar of 
    ... 

Como alternativa, sería bueno si la declaración de caso podría aplicarse de manera parcial:

case of 
    ... 

se desglosará a:

\a -> case a of 
    ... 

Por lo que podría hacer esto:

getChar >>= case of 
       ... 

Answer 1

La respuesta es no. En Haskell 98, no puede usar una declaración de caso sin usar un nombre dentro de ella. Pero hay un proposal para agregar soporte para case-lambdas. La sintaxis que proponen es la misma que tú propones también.

Answer 2

No, no realmente, pero se puede mover el caso a otra función y aplicarlo al resultado de una acción monádico.

f x = case x of ... 

main = do 
    f <$> getChar 

Alternativly, lo siguiente es posible:

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

Answer 3

La propuesta mencionada por FUZxxl ahora se implementó en GHC desde 7.6.1, se llama LambdaCase.

Ahora usted puede hacer:

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

Nota del \ antes de la case palabra clave y el hecho de que no hay of en ese caso.