Haskell gardes sur les lambda fonctions?

Est-il possible d'avoir des gardes sur les lambda fonctions?

Par exemple:

\k
    | k < 0     -> "negative"
    | k == 0    -> "zero"
    | otherwise -> "positive"
InformationsquelleAutor qrest | 2010-08-05
  1. 51

    Nope. Le plus proche de la traduction directe est quelque chose un peu comme

    \k -> case () of
       _ | k < 0     -> "negative"
         | k == 0    -> "zero"
         | otherwise -> "positive"
    • Jamais pensé à utiliser _ sur () 😀
    • Vous pouvez l'utiliser sur n'importe quoi, bien sûr, mais () est court et probablement le moins déroutant.
    • Vous pourriez aussi envisager la select la fonction haskell.org/haskellwiki/Case#Using_functions
    InformationsquelleAutor Ganesh Sittampalam
  2. 46

    De GHC 7.6.1 il y a une extension appelée MultiWayIf qui vous permet d'écrire le suivant:

    \k -> if
  | k < 0     -> "negative"
  | k == 0    -> "zero"
  | otherwise -> "positive"

    Qui, à tout le moins est plus agréable à regarder que l'alternative à l'aide de case.

    Pour "pattern-matching", il y a une relative extension appelée LambdaCase:

    \case
  "negative" -> -1
  "zero"     -> 0
  "positive" -> 1
  _          -> error "invalid sign"

    Ces extensions ne font pas partie de la norme Haskell, cependant, et doit être activée explicitement par l'intermédiaire d'un { -# LANGUAGE LambdaCase #- } ou { -# LANGUAGE MultiWayIf #- } pragma en haut du fichier, ou par compilation avec le drapeau -XLambdaCase ou -XMultiWayIf.

    InformationsquelleAutor Jon Purdy
  3. 27

    Je tiens à garder les lambdas court et doux afin de ne pas rompre le lecteur de flux visuel. Pour une fonction dont la définition est syntaxiquement encombrants assez pour justifier de gardes, pourquoi ne pas le coller dans un where clause?

    showSign k = mysign ++ " (" ++ show k ++ ")"
  where
  mysign
    | k < 0     = "negative"
    | k == 0    = "zero"
    | otherwise = "positive"
    InformationsquelleAutor Greg Bacon
  4. 7

    Un élégant et concis façon de le faire avec LambdaCase:

    { -# LANGUAGE LambdaCase #- }

    \case k | k < 0     -> "negative"
        | k == 0    -> "zero"
        | otherwise -> "positive"

    ou 

    \case
  k | k < 0     -> "negative"
    | k == 0    -> "zero"
    | otherwise -> "positive"

    Cas lorsque je l'ai utilisé, pour attraper un EOF erreur:

    { -# LANGUAGE ScopedTypeVariables #- }

    o <- hGetContents e `catch` (\case (e :: IOException) | isEOFError e -> return "")
    InformationsquelleAutor Wizek
  5. 0

    Encore une autre façon consiste à utiliser une combinaison de la LambdaCase et ViewPatterns GHC extensions:

    { -# LANGUAGE LambdaCase, ViewPatterns #- }

    \case
    ((< 0) -> True) -> "negative"
    ((==0) -> True) -> "zero"
    _               -> "positive"

    Ceci vous évite d'avoir à indiquer le nom d'une variable intermédiaire.

    InformationsquelleAutor hololeap