duangsuse::Echo

MultiMap 呢？ 🤔 比如说，很多时候，我们可能想写一些类似『CodeStyle』这样的程序，更近一步，我们（可能）希望 IDE 有这样的功能：实时检查 CodeStyle，一个空格都不放过，并且能自动修复我们可能希望，解析器能做最少的工作（比如，如果程序结构实际上没有被修改，修改的只是空格或者说字面量）在不需要的时候，尽可能只做增量解析我们可能希望，能知道程序代码在哪里有一些注释，有些内联文档我们可能希望，能够通过某一个位置的 '{' 字符找到对应的 '}' 字符位置（比如，代码高亮的时候就用的到）…

解决小明可怜同事的问题，首先我们必须得解析这段代码，但是解析的时候还不能忽略空格！

用伪代码，我们这么设计解析器（输入就是字符流，Scanner less parsing）：

terms :: Parser [Definition]
terms = many term

wsP = satisfy $ `elem` " \n\r\t"
nameP = satisfy $ \x -> x == '_' || x `elem` 'A'..'a'
valueP
  = keywordP "nil"
++ booleanP
++ numberP
++ stringP

term :: Parser Definition
term = do
  keywordP "def"
    wsDefName <- wsP
  name <- nameP
    wsNameEq <- wsP
  keywordP "="
    wsEqValue <- wsP
  value = valueP
    wsValueEnd <- wsP
  newlineP
  return $ Definition name value

这... 我不是来教大家写 Parser Combinator 的，也不是来传道 Haskell 的（我连 Monad 的什么 MZero 啊 MPlus 啊都不知道，感觉就是顺序 Application 的一种方式，勉强一知半解范畴论）

所以我们来看看小明同事的机制解决方案：

小明的同事解析出了可怜小明编写的可怜代码，下面是一部分：

definitions !! 0 == Definition "num" (Number 1)
definitions !! 1 == Definition "str" (String "Hello, world")

可是，机制的同事注意到了，这里没有给出任何的空格信息？那怎么判断呢？

于是还记得上面的 wsXxx = wsP 吗？

wsP :: Parser String

它会返回记录空格的，于是机制的同事利用了多年的 Haskell Monad 经验，单子化了生成算法，引入了优美的线性... 反向索引，这里实现大概就是『把所有的 Value 拿去 collect 对应的 key，然后再 put 回来』
或者直接『对每一个 key，都 putAll(values, key)』

于是就有了
getAll spaces $ definitions !! 0 == [wsDefName "\n", wsNameEq " ", wsEqValue " ", wsValueEnd ""]

小明同事检查了一下空格：
filter (not . (flip elem) " ") [wsDefName "\n", wsNameEq " ", wsEqValue " ", wsValueEnd ""]
=> [wsDefName "\n", wsEqValue " "]

0 不是空格，应该删除！
1 比预期的 1 空格多了 2-1=1 空格！

在两个 ws 的起始位置删除 1 个字符就万事大吉了，今晚吃鸡（喷

这下小明同事解决问题了，只要我们使用 MultiMap 存储空格、文档之类的信息，就可以做到检查代码风格这种小事情

23 viewsduangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论], edited 03:02