所以以后要想不要浪费这种时间，多看看例子...

顺便又看了不少名词，其中一个 DAO 查了下意思居然就是 Data Access Object 的意思... 这不就是 Domain Object 嘛... 还不如叫 Entity 算了，现在看来这种缩写式的名词还真是**...

#Haha #Java #CSharp #recommended #desktop

从石器时代穿越到现代的人

https://www.cnblogs.com/xiyuanMore/p/10347346.html#4175910

这个笑话可以有。

#SCM #Git https://ice1000.org/2017/12/15/RebaseOrMerge/

https://ice1000.org/lagda/PathToHigherInductiveTypes.html

#PLT #Math #FP .... 赶不上，再说人家现在可能已经到国外留学了，不管怎么说肯定都赶不上吧（

#bilibili #Math #DSP #Octave https://www.bilibili.com/video/av2485673

plot, imagesc, surface, figure, subplot, hold on/off

光会说名词不算什么，能列举出这些才算真‘本事啊... 😶

如果学 CS 的不能像 Morisia 学姐一样说点历史记点年份和语言特性，而只是能满嘴蹦名词而已，要学习何用？

不过 @drakeet 可能还是能赶上的，加油（开玩笑

http://agda.github.io/agda-stdlib/Data.Integer.Properties.html#8213 不要以为已经学了很多了... 其实还有很多没学，不看那些还在工程（广度）上的东西吧，这些... 我现在也就是还知道一个 GADT 的 ℕ，而且一些 operator 的 Assoc 都不知道会不会，而且我还不能看透 rewrite 后面那些东西... （就是它是谁的语法糖，因为它这个展开后比较复杂） 再看看效率其实 IJ IDEA 的 Shortcut 和一些基本技巧还会用，也就是比记事本强一点的程度，算了...

我觉得我是不是应该考虑用正则表达式匹配生成这些无聊的东西了...

琢磨了一下工程量，我觉得『工欲善其事，必先利其器』，因为我手写的好像只有整个的 1/3 左右... 临时溜掉写一个 Kotlin 脚本开小差作弊完成余下部分，顺便复习写 Lexer（跑（绝望

🤔首先考虑我们的『GeekSpec DSL』 语言规范

readUserTimeline(uid,type,sliceFrom?,sliceTo?) -> array:timeline
  = timeline/{uid}

readAllTimeline(type,sliceFrom?,sliceTo?) -> array:timeline
  = timeline/all

bulkReadUserTimeline(uids,type,sliceFrom?,sliceTo?) -> array:timeline
  = timeline/bulk/{uids}
getUserTimelineCount(uid) -> number
  = timeline/check/{uid}
getBulkUserTimelineCount(uids) -> number
  = timeline/check/{uid}
PUT@updateApp(aid,attr{package,icon,name,screenshots,readme},val) -> [attr,oldVal]
  = app/{aid}

这是我们『GeekSpec DSL』语言的一些代码范例，都是从我还没有写接口模板的部分复制下来的（逃，因为之前写完的
因为我开始用来制定接口的语言并不规范，我也没有考虑过要拿它生成代码...

算了，那就借此机会，我规范化一下 GeekApk 的 HTTP 接口规范语言... 😐

考虑一下我们的『简单形式』代码：

(httpMethod '@')? interfaceName '(' Args ')' ('->' ReturnType)? '=' UrlPath

而 Args 形似

itself repeatItSelfWithPrefix(','):
  name '?'? OptionVals?  

而 OptionVals 形似

'{' val (',' val)* '}'

而 ReturnType 形似

(arrray|object) ':' AtomicObject

或者

'[' propertyName (',' propertyName)* ']

'
或者

AtomicObject

而 AtomicObject 形似

(ReturnType|number|string|entityName)

而 UrlPath 形似

prim UrlPath

考虑一下我们的 EBNF 范式：

首先是我们的『所有规则们』

AllApiDefs := [ApiDef]

ApiDef :=   

考虑一下我们的词法分析器如何识别『注释』（肯定的）

-- emmm <- 一个不错的单行注释
完美。空格就不用管了。

== EBNF 语法

规定 {} 之中的东西可选，[] 中的东西可以没有或者重复多次（重复 0 次或者多次）

首字母大写的单词表示一个非终结符（non terminal），反之为终结符（terminal）

语法规则中 Terminal 表示在推导匹配过程中不能继续被子表达式替换的符号，而非终结符反之，可以被替换

external 的规则则表示我懒̶得̶写̶的东西，自己猜是匹配什么

总结一个 PEG 文法：

File := Interface*
 

Interface :=
(httpMethod '@')? interfaceName '(' Arg* ')' ('->' ReturnType)?
'=' urlPath

Arg := argName '?'? OptionVals? (',' Args?)

OptionVals := '{' possibleValue (',' possibleValue)* '}'

ReturnType
:= (array|object) ':' Atom
| '[' propertyName (',' propertyName) ']'
| Atom

Atom := (ReturnType|number|string|entityName)


... 等等，我们还没有支持这些语法（其实目标是拿来生成 Boilerplate code 的，不过要这些也有用）

index() -> object<category,object<operation,linkTemplate>>

version() -> plain

====

upTime() -> (string|number):datetime
detailedInfo() -> object:<prop,desc>

上面两个还是不要支持，要支持在 Kotlin 项目上可能也没有多大价值

PUT@transferAppOwner(aid,uid) -> object:[aid,old,new]
DELETE@deleteAppUpdate(aid,rev) -> object:appUpdate

这两个是自己有问题，也不支持

listMetaUser(sort?{created,followers},sliceFrom?,sliceTo?) -> array:object:user

这个也是

好了，那么修改完上面两个，就能拯救 GeekApk 目前 API 文档的烂摊子... 😕

GeekSpec := ApiSpec*

ApiSpec :=
(httpMethod '@')? interfaceName '(' Arg* ')'
('->' (ReturnType|Dict))? '=' urlPath

Arg := argName '?'? OptionVals? (',' Arg?)

OptionVals := '{' possibleValue (',' possibleValue)* '}'

ReturnType
:= (array|object) ':' Atom | Atom

Atom := (boolean|number|string|datetime|plain|entityName|)

Dict := '[' DictItem (',' DictItem)* ']'
DictItem
:= ReturnType
| '$' fieldName ':' ReturnType

https://pegjs.org/online

的编辑器没有自动保存，我写了半天的内容全丢了。
真棒。


一方面有我自己没有理清递归思路，还有莫名其妙使用递归解析规则的原因，我开始根本没想到自己应该在写逻辑的时候好好想想这是递归的解析规则

另一方面，PEG.js 自己就有问题，我绑定给它的参数它有时候都弄不正确，? 语义根本行为莫名其妙，真是令人琢磨不透，害得我查了半天还找不到解决方案，最后自己勉强弄了一个能用的 workaround