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

明天回学校了,僵硬。

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

Typelevel.scala手上主要有cats、shapeless以及spire。前两者主要是函数式编程的库，最后一个spire主要是个数值计算上抽象的库，其中有很多提高效率的技巧可以学习，Breeze就是用了spire，先看一个Ops macros的例子。

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

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

这个又是apocalisp上的一个短系列。正好最近看到有人讨论IO monad，我在看FP in scala中也到这部分了。顺便看一下，老规矩还是带私活的翻译。

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

Heterogeneous List简单来说就是即能像tuple一样包含不同类型的元素，又能像List一样提供append等操作。

这一节主要是关于free monad。

这一部分主要是Monad Transformers。