Final tagless And Object Algebras

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

最近看到有意思的东西

最近在为了避免毕不了业写论文, 所以很长时间没有更新博客了,又不想让博客像死了一样,冒个泡,回顾最近看到有意思的东西。

Akka Custom stream processing

有一些时候内置的akka的Graph不能满足我们的需求,需要自己订制Graph,最近写socks5的时候发现要自己搞,就学习一下。

写点代码相关的

気分次第です僕は 敵を選んで戦う少年

叶えたい未来も無くて 夢に描かれるのを待ってた

KMeans初始化

Kmeans是种相当简单优雅的聚类算法,被用在各种地方,而是各种聚类算法的baseline,也有很多算法用它当做后处理的手段。

trait mixin in scala

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