#Java https://zhuanlan.zhihu.com/p/45893378

#Math #CS #PL https://zhuanlan.zhihu.com/p/51047940

https://zhuanlan.zhihu.com/p/41953244 #Julia #Math

#Backend #Cplusplus #Jvm https://zhuanlan.zhihu.com/p/39727829

https://zhuanlan.zhihu.com/p/37640811 #async #parallelism

https://zhuanlan.zhihu.com/p/37054540 #Rust

printing these...

I'm sorry for my F**king Englinsh 😢

#book https://leanpub.com/fpmortals/read

https://idris-zh.readthedocs.io/zh_CN/latest/tutorial/index.html #PLT #Idris

#PL #Haha 六小龄童的人设崩了吗？ - 兴趣使然千里冰封的回答 - 知乎
https://www.zhihu.com/question/266634683/answer/581358637

作者：兴趣使然千里冰封
链接：https://www.zhihu.com/question/266634683/answer/581358637
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

一个学科，没有自己的信仰，是可悲的；有自己的信仰，不去传教，是可耻的。 我看过我们现在的一些编程语言，true false不是关键字，是一个代数数据类型的两个数据构造器，是用户定义的。还有什么同伦类型论居然还宣扬相等性证明并不是唯一的，这不是很明显和依赖模式匹配的基本法则都不匹配了，还提出什么hProp所有元素都是相等的，hSet所有相等性证明都是唯一的，还能在语言上定义出isProp、isSet这种函数，这不是自相矛盾、凭空制造麻烦吗？还有的改编啊，函数居然可以处理多种类型的输入，参数可以有默认值，不同的函数只要参数不一样就能用相同的名字，还拿编译器查找重载的顺序来让函数处理不同的输入，甚至为了这种大逆不道的功能，连空指针都有了自己的类型。还有的编程语言，甚至不需要手动管理内存，我就问你内存还能自动管理吗？即使有了G1的HotSpot跑起来的程序也没有手动管理内存来的快，有的语言的GC还在并发情况下会出use after free，这不是很滑稽吗。还有一些漫画作品，C语言是一个姑娘，叫C语言娘，语言不分范式颠倒，有意思吗？甚至把女体化的C语言变成学校里的高中生，今天和Java娘赛跑，遇到了未定义行为，跑到赛道外面去；明天和Lisp娘决斗，还进入C++14模式，还装载boost，这是非常要不得的，不是我们BCPL子孙后代要做的事情。

— origin

为什么Monad可以用来封装IO操作？ - 兴趣使然千里冰封的回答 - 知乎
https://www.zhihu.com/question/305683821/answer/551926481 #FP

恢复了，今天下午的主要任务是解决掉所有比较大块的东西

（剩下的就是最后对 KtLime 一个比较即时的简单重命名

还有最后一些接口的 Spec


完了以后会有一个整体的检查


今天最后要做的是把 Controller 们的 boilerplate 填充好，体力活。

然后就是给 boilerplate 们

后面几天的任务是补充 Model 层和 Controller 层真正的业务逻辑
最后的任务是做一个给 Post/Put/Delete 操作的对应 Get 路径的 View 前端用于 API 的维护者去调试

完成后的任务可能就是 GeekPush，这个其实比较类似于邮件发送服务，依然是消息队列。