治标不治本，未来的期望是不要写 boilerplate，Adapt RESTful 并且使用 GeekApk API 目前文档使用的语言编写 API 接口和逻辑，能不修改的默认行为就只需要写数据检验就可以了，DSL 层面可以做支持

好气哟，妈耶，花了至少一个下午的时间解决集成测试 CDI 注入的问题... 最后才发现是自己没看文档，DDG 上找了半天脑子都快被灌满 Bean 和 Context 了... 还有各种 XML... Componenet... ComponentScan,,, Configuration... Mock... Repository... 啥 Jpa 的 entityManager 还找不到... 气死了，如果还解决不了我就不要拿 Java 写的 Mock 测试了

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

顺便又看了不少名词，其中一个 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 接口规范语言... 😐