Haskell - Назначить переменные с `case` в` do` block

Question

У меня есть небольшая программа Haskell, поведение которой должно немного меняться в зависимости от количества предоставленных аргументов. Я не могу решить, как назначить три переменные аккуратным способом, основанным на количестве предоставленных аргументов.

Я хочу использовать что-то вроде выражения case или эквивалента switch на других языках программирования, но не может решить, как это сделать.

Вот мой текущий (неисправный) код, который опирается на Dice.Base модуль для генерации случайных чисел:

{-# LANGUAGE ScopedTypeVariables #-} 
import Dice.Base 
import System.Environment 
import Data.List 

main :: IO() 

--Expected argument formats: 
--(number of dice, number of faces on each die, number to add to total) 
--(number of dice, number of faces on each die) 
--(number of faces on a single die) 
main = do 
     args <- getArgs 

     --Set the number of dice, number of faces on each die, 
      --and number to add to sum of rolls. 
     case (length args) of 
      3 -> let (numDice ::NaturalP) = toNaturalP $ read $ args!!0; 
       let (numFaces::NaturalP) = toNaturalP $ read $ args!!1; 
       let (offset ::Integer) = read $ args!!2; 
      2 -> let (numDice ::NaturalP) = toNaturalP $ read $ args!!0; 
       let (numFaces::NaturalP) = toNaturalP $ read $ args!!1; 
       let (offset ::Integer) = 0; 
      1 -> let (numDice ::NaturalP) = 1; 
       let (numFaces::NaturalP) = toNaturalP $ read $ args!!0; 
       let (offset ::Integer) = 0; 

     -- 'dc' is a structure capturing the Dice Configuration. 
     let dc = NumSidesPlus numDice numFaces offset 
     outcomeInteger <- roll dc 

     putStrLn("Dice configuration:  " ++ (show dc)) 
     putStrLn("Outcome:    " ++ (show outcomeInteger)) 

Это не работает, конечно, потому что case производит выражение; он не предназначен для работы в блоке do.

Я знаю, что можно сделать let (a,b,c) = case ... и назначить три значения в качестве кортежа, но я считаю это обходным путем, потому что это действительно не помогает мне для более сложных проектов. Каковы методы управления потоком в блоке do? Есть ли что-то аналогичное switch как на императивном языке?

Как выполнить эту зависимую переменную?

Answer 1

Вы должны позволить связать переменные для выражения и имеют выражение определяет значение, не предполагают, что вы можете сделать некоторое pathalogical объявления переменного:

let (numDice,numFaces,offset) = 
    case (length args) of 
     3 -> (toNaturalP $ read $ args!!0 
      ,toNaturalP $ read $ args!!1 
      ,read $ args!!2) 
     2 -> (toNaturalP $ read $ args!!0 
      ,toNaturalP $ read $ args!!1 
      ,0) 
     1 -> (1 
      ,toNaturalP $ read $ args!!0 
      ,0) 

Answer 2

Вместо переключения длины списка, а затем индексация, я предпочел бы шаблон матча непосредственно в списке, а также с помощью ViewPatterns:

main :: IO() 
main = do 
    args <- getArgs 
    let (arg1,arg2) = case args of 
         [] -> (1::Int,"default") 
         [read -> arg1, read -> arg2] -> (arg1,arg2) 
    print (arg1,arg2)  

Если кортеж не достаточно, потому что логика извлечения сложна, я бы определить пользовательский тип данных, проведение возможного Alterna ставители.

Вы также можете использовать guards и расширение PatternGuards, чтобы наложить сложные условия в каждом матче.