绳子到整数解析，并在Haskell中进行例外处理

Question

尝试制作类型nat哪个返回[（int，string）];将零作为字符串

和类型 int 处理，它也可以处理负整数。

import Data.Char ( isDigit )    

type Parser tok a = [tok] -> [(a, [tok])] 
    
return :: a -> Parser tok a 
return v = \ts -> [(v, ts)]

failure :: Parser tok a 
failure = \_ -> [] 

item :: Parser tok tok 
item []     = []
item (t:ts) = [(t, ts)] 

sat :: (tok -> Bool) -> Parser tok tok 
sat test = item >>= \t -> 
           if test t then return t 
                     else failure 

(<|>) :: Parser tok a -> Parser tok a -> Parser tok a 
p1 <|> p2 = \ts -> case p1 ts of 
                     [] -> p2 ts
                    rs1 -> rs1

many1 :: Parser tok a -> Parser tok [a] 
many  p = many1 p <|> return []
many1 p = p      >>= \v  -> 
          many p >>= \vs -> 
          return (v:vs)

digit = sat isDigit 

首先，我制作nat并使用〜然后使用〜然后〜else〜其他例外。

nat :: Parser Char Int 
nat = many1 digit >>= \s -> 
      if (s == "0") then failure 
                    else return (read s) 

它是能够处理一个零。

nat "0"
> [] 

nat "0def" 
> [] 

但是当连续数字从0开始时无法处理。

nat "012def" 
> [(12, "def")] -- probably my code only handle 1 Zero
-- expect return [] 

nat "000def" 
> [(0, "def")]  -- but i really don't know why this output is coming 
-- expect return [] 

我试图将有关NAT的问题放在一边，然后先制作INT。

首先，我尝试使用NAT定义INT。

int :: Parser Char Int 
int = nat >>= \s -> 
      if (s < 0) then return (-s) 
                 else return s 

而且我意识到我无法使编译器认识到S是负面的。

因此，我试图使其像Nat一样。我想添加char' - '？

int :: Parser Char Int 
int = many1 digit >>= \s -> 
      if (s == "-") then return (read s) ++ "-"  
                    else return (read s) 

我有两个问题

1. 为什么nat只处理1个零？我以为Muran1是递归解析字符串。

2. 如何在int中添加“ - ”？它与诸如合成功能之类的细胞有关吗？

我在使用Haskell方面很虚弱。我缺少什么吗？

Answer 1

不要恐慌。这不是那么困难。

1. 为什么Nat只处理1个零？我认为许多人是递归解析
   字符串逐步。

您是正确的MOUS1 DIGIT将在可能的较长链上应用解析器数字。这意味着，当您解析012DEF解析部分为“ 012”，其余部分为“ DEF”。但是您缺少错误的位置。在以下内容中

\s -> if (s == "0") then failure 
                    else return (read s)

，mus1 digit完成它通过bind（＆gt;＆gt; =）向您的函数提供了“ 012”，并且是过程。但是“ 012”不是“ 0”。因此，应用了else零件：return（读取“ 012”）。上下文“ def”未修改。因此，这将导致答案[12，“ def”]。如您所见，问题不是绑定的第一部分，而是第二部分。既然您知道您只会获得数字（因为Moan1 Digit只能分析数字），我建议您使用

let n = read s 
in if n == 0 then failure 
             else n

更优雅的（monadic）解决方案更改活页夹，但这可能是可以读取的。并明确针对新的Haskeller。

1. 如何在int中添加“ - ”？它是否与诸如合成功能之类的细胞有关？

你不能。您想读取无法将其翻译成数字的char。因此，您无法将其视为数字。这是一个简单的解析问题。您必须单独处理' - ' - ' - '。您可以在两个解析器之间使用选择。第一个解析char ' - '，其次是自然。第二次解析自然。然后将结果转换为int。注意不要忘记0。它可以在第一，第二或两者中进行处理。这意味着您不能在两者中使用nat ...或者您必须制作第三个解析器，仅解析0。因此请记住，该顺序很重要。

我很确定，考虑到以前的工作，可以写这篇文章。您已经拥有数字和选择组合。 char解析器很明显。您只需要考虑一下即可。

希望这会有所帮助。