一点尾巴以及-Cats和Cats

差点3月份就没有产出了,毕业论文算是刚刚编出来,虽然不知道能不能顺利毕业。这次内容有很水,最近又搞起来炼丹,烂七八糟什么事情都有。开始实习,马上又要放清明了。

Functor-Cats和Cats

明天回学校了,僵硬。

接着之前的内容,之前我们总结了一部分Cats中的内容,接下里就会见识到更多炫酷的词了。

预备知识-Cats和Cats

事实证明,非洲人在任何地方都非。搞不定论文的我只能接着写一些没用的。预定的计划是结合Cats以及常见的猫论的内容。自己也是个半吊子,写出来总结一下。

Final tagless And Object Algebras

这篇也算是抄的OLEKSANDR MANZYUK的博客,最近写个玩具的时候,发现在实现tagless-final的时候,Scala的一些不太方便的地方(existential types?),这些问题感觉DOT之前是很难解决了,不过索性还有其他的解决方案。

trait mixin in scala

今天有人吐槽scala里面的traitabstrct class不是一样的嘛。当着这么多人的面又不能吐槽,只能自己私底下抱怨了。