Parser<String> stringP() {
return () -> { charP('"'); manyConcat(jsonCharP()); charP('"'); }
}

Parser<Character> jsonCharP() {
return () -> {
return maybe(sequence(charP('\\'), jsonEscapeP()),
all(notElement("\"\\"), element(range(0x0020, 0x10ffff))));
};
}

Parser<Character> jsonEscapeP() {
return () -> {
return maybe(element("\"/\\bnrt"), sequence(charP("u"), repeats(4, hexCharP())));
};
}

Parser<Character> hexCharP() {
return () -> {
return maybe(digitP(), element(range("a", "f")), element(range("A", "F")));
};
}

Parser<Character> digitP() {
return () -> {
return maybe(charP('0'), element(range('1', '9')));
};
}

我得再去考虑一下 Parser 应该怎么抽象，然后 DJson 就可以使用这种 combinator 风格的 parser 库了

@FunctionalInterface
interface Parser<? extends R> {
@Nullable R match(TextReadStream reader);
}

🤔 charP 是什么呢？ 一个 Parser<Character>, 就是说它的匹配结果是 Character

.... 不应该接受任何的额外参数，所以不如这么说：

@FunctionalInterface
interface Parser<? extends R> {
@Nullable R match();
}



class MyParser extemds TextCombinator {
  Parser<Character> charP(char x) {
    return () -> { return getChar() == x ? getChar() : null; }
  }

  Parser<Void> helloP() {
    return () -> {
      sequence(charP("h"), charP("e"), charP("l"), charP("l"), charP("o"));
      return null;
    };
  }

  Parser<Integer> manyHelloP() {
    return () -> {
      ManyMatch hellos = many(helloP());
      return hellos.length
    };
  }
}

这样就可以了

MyParser parser = new MyParser(System.in);
System.out.println(parser.manyHelloP());

hellohellohellohello...

处理 EOF：

sequence 里默认一个一个 match，EOF 则直接不 match，使用 eofP 来匹配结束吧...（说说而已，我觉得应该专门使用一种方式）
mustSequence 里可以提供一个函数来指示错误信息，Unexpected EOF

比如一个简单的语法结构:

<def> <name> <(> { arg } <)> <=> <value>

就是：

mustSequence(
  keywordP(DEF), ws(),
  nameP(), ws(),
  parenLP(),
  many(argP()),
  parenRP(), ws(),
  eqP(),
  valueP()
).except((n) -> switch (n) {
  case 0: return expect("def keyword");
  case 2: return expect("variable name");
  case 4: return expect("(");
  case 6: return expect(")");
  case 8: return expect("=");
  case 9: return expect("variable value");
})

假设用户只输入了

def a

就 EOF 了，实际上最后一个状态是 ws(), 倒数第二个是 definitionP
这样，mustSequence 就可以给出错误信息：

@FunctionalInterface
interface Parser<R> {
  @Nullable <? extends R> match();
}

@FunctionalInterface
interface Matcher<R> {
  @Nullable boolean matches(<? super R> value);
}

所以提供的 parser combinator 方法都有

Parser<R> satisfy(Matcher<Character> predicate);
charP

SequenceParser<R> maySequence(Parser<R> parsers...);
SequenceParser<R> sequence(Parser<R> parsers...);

all
maybe
sequenceFilterConcat
exclusiveOr
not

repeats

some
many
manyConcat

element
notElement
range

看看这道题

Regex 子集的

data RegExp
= Normal Char
-- ^ A character that is not in "()*|."
| Any
-- ^ Any character
| ZeroOrMore RegExp
-- ^ Zero or more occurances of the same regexp
| Or RegExp RegExp
-- ^ A choice between 2 regexps
| Str [RegExp]
-- ^ A sequence of regexps.

Normal 就是 charP
Any 没有默认定义，但是可以这么写
Parser<Character> any() { return satisfy((x) -> true); }

ZeroOrMore 就是 many
Or 就是 maybe
Str 就是 sequence

这个 Parser 也可以用来解析 Regex 所能解析的东西：

"ab*" -> sequence(charP("a"), many(charP("b")))
"(ab)+" -> some(sequence(charP("a"), charP("b")))
"(a.*)|(bb)" ->
maybe(
sequence(charP('a'), many(any())),
sequence(charP('b'), charP('b'))))

草，没时间写了

https://github.com/duangsuse/DJson 准备下周写

#backend #java 🤔 异步拖长了，用消息队列（
... 那客户端一定要同步查询也得 keep 一大堆 alive 的 HTTP connection...

说到底是 GitHub 连接慢了？emmm

仔细观察了日志，发现日志从 28% 到结尾均有各种 Vertx Thread Blocked 异常，从 5s ~ 12s 不等。同时在 Arrays#copyOf、vertx-blocked-thread-checker 线程、OkHttp ConnectionPool 线程、vert.x-eventloop-thread-0 等地方均发生 OOM 异常。

其实只需要做前端的工作的.. #Android #net

理解 SS 源码困难（

其实可以把 Native 堆给开大点？-Xmn500M
这样说不定不会 OOM 了，如果只是因为 native memory 限制太大

辣鸡。 #security #web 连 XXS 都不防

我们这里也搞过，后来我强行卸了硬盘保护系统... 结果辣鸡 BIOS 只能从 PCI 启动，电脑坏了... 后来老师拆了还原卡又重装了保护系统... 所以我只能 VM #School

雾草 学校电脑 🐮🍺，从 U 盘启动需要管理员密码 🌚

#freedom 总算能用了.... 蓐羊毛翻墙日益艰难？🌚🐕

https://github.com/RikkaApps/Riru/tree/master/riru-core/jni/main
#C 欸我真想写一篇分析的... 可惜自己事情又多
很想学学写 C++，虽然我不是真正意义上不会 C++... 只是 C++ 模板和 constexpr 函数式编程比其他不常用一些而已了。

那个，突然想到如果能拿到 instance 的话是可以使用 Object#getClass() 拿到 Class 的，而 T.getClass() 就不存在，Java 里类就是类对象就是对象，要不然就是静态方法了，不过那就不能编译期检查的（其实可能希望能利用泛型检查）。
上面的是说错了（

顺便说说 #fix #Java

  @Nullable boolean matches(<? super R> value);

这一句是错的，应该改成，属于我不熟悉泛型语法...

@Nullable <T super R> boolean matches(T value);

再 #fix...

这个实际上是错的，因为我把 Main class 直接放在 source dir 下了... 本来应该放在

package org.duangsuse.djson; 的

这是属于不熟练...