我不一样，如果你有不懂的随时找我
只要我明白你就可以随便请教喽（虽然我懂得不多呃）

unify 就是像 ES6 的 let [a, b] = [1, 2] 一样，利用相等关系解出实际值
相等关系具有传递性(transitvity) 和对称性(symmetric) （貌似是这么拼？）

那个 SSA:Static Single Assignment 也很有意思

其实你学的越多，越发现关系式和很多技术，包括函数式编程的许多理念都有很大关系

比如说范畴论，举出一个最简单的例子就是七大姑八大姨…… 一个家庭的范畴
然后换到关系式里，你可以问 『侄女之父 = A之兄』里的 A 和你是什么关系，而求解的过程必须得有 P=A之兄 的解构过程吧？
unify 就可以利用这个等号从 P 里面提出 A （A = P之弟）
一个不是很准确的例子。

你去看那个 Hello, declarative world，很好看

Ruby 写的，强烈建议读三遍

#Haha #life #China

（剧透警告）

《平凡的世界》 虽然讲的人都不太平凡，但居然末尾是个悲剧，死了癌症了很多人，我真的不再觉得看那个电视剧有啥意思了

剧透一点意思都没有，被人强行剧透了很无聊

是我爸剧透的。开始他说是悲剧，后来又说谁谁谁死了。
我讨厌看那种情况，所以以后干脆就别看算了，我还以为只是风波迭起，没想到真能全写死

不过《平凡的世界》是部好剧，向大家推荐。 #recomended #media
同样，《庆余年》和十台、十二台的科普也是极好的
中央一台 12:30 起有看

#疫情动态

【特别报道 | 假如武汉的警铃有机会被拉响，可以是哪天？】
这条时间线将表明，疫情在早期是如何被发现却又最终被轻视。（第一财经YiMagazine）(Telegraph 备份)

https://github.com/duangsuse-valid-projects/Share/blob/master/Others/kt_misc/pkt_9/Parser.kt
分享一个在写的 Kotlin 库，是关于文本解析器的

比如正则的 /(.)(\1)/
val aa = Contextual(anyChar) { item(it) }
aa.read("!!") //Tuple2(first=!, second=!)
aa.rebuild("!!") //!!
还有 /(.)(.)(.)/

val three = Seq(::CharTuple, anyChar, anyChar, anyChar)
three.read("sda") //(s, d, a)
three.rebuild("sda") { this[2] = 'c' } //sdc

比如无数个奇数
val odd = satisfy<Int>("odd") { it % 2 != 0 }
val odds = Repeat(asList(), odd)
odds.read(1, 2, 3) //[1]
odds.rebuild(1, 3) //[1, 3]
比如 JSON 字符串（不完整）

val escapedChar = anyChar and !item('\\')
val s = Seq(::StringTuple, item('"').asStringPat(), *escapedChar until item('"'))
s.read("\"321\t31\"") //(", 32131, ")

有没有大佬想试试 🌝

……自从我引入了 Preety 这个 supertype，对 ParserKt Kotlin 的类型推导就不准确了

grammar hosts;

hostfile: line* EOF;
line : item
| comment
;
item: IPADDRESS HOSTNAME ;
comment: COMMENT;
HOSTNAME: [A-z0-9.]+;
IPADDRESS: NUM '.' NUM '.' NUM '.' NUM;
NUM: [0-9] +;
COMMENT: '#' .*? '\r'? '\n';
NL: ('\r\n'|'\n\r'|'\r'|'\n') ->skip;
BLANK: (' '|'\t') ->skip;
https://blog.iseki.space/2018/09/07/antlr-first/

#PTL latte-lang.org/ 草现在 layout 已经这么普及了么
我点下了第 100 个 star……

🌚 🙈 #Haha #life #school #China #nsfw 这就尴尬了

附湖北仙桃一中女教师，网课结束忘记关直播，附音频