花了几个小时把 Blog 平台引擎从 Jekyll 迁移到了 Hexo 上，换成 Hexo 的主要原因是 Jekyll 用起来总是出问题，比如提交到 GitHub 上生成的静态页速度很慢，以及一些莫名其妙的错误，和对 MarkDown 支持的比较差等等。
找了一圈综合对比，最终发现 Hexo 能完全满足我的需求，功能强大，插件和主题比较丰富，支持多种平台一键部署，比如 GitHub Pages, Heroku, AS3, 甚至直接 rsync, 有了之前的教训，我果断选择了通过 rsync 放在了自己闲置的一台 Digital Ocean 的 VPS 上。更吸引我的是 Hexo 是基于 NodeJS 的，我对 Node 和 EJS 模版引擎比较熟悉，有无法满足的需求时，就直接顺手添加上了，比如这次分页的方式，对友言的评论的支持，以及 UI 上的一些改动等等。
今天科比正式退役，在未来的日子里，也许还会有像科比一样有天赋又努力的球员出现，但我们却不再有青春去追随了。
— 沃茨・其索特
刚开始看到协变 (Covariance) 和逆变 (Contravariance) 的时候，差点晕菜，反复查了一些资料，才稍有些自己的体会，难免有理解不对的地方，欢迎指出 :]
在计算机科学和类型的领域内来看，变化 (variance) 这个词指的是两个类型之间的关系是如何影响从它们衍生出的两种复杂类型之间的关系的。相对于原始类型，这两种复杂类型之间的关系只能是不变 (invariance)，协变 (covariance) 和逆变 (contravariance) 之中的某一种。
这段比较拗口，我们一步一步拆解，既然上面提到了两个类型之间的关系，在主流的编程观念里，类型之间的关系中通常会包含子类型 (subtype) 和 父类型 (supertype)。
首先假设 Cat 是 Animal 的子类，就是说 Cat 是 Animal 的 subtype，可以看作上面的 “原始类型”，然后有两个衍生出来的 List<Cat>和 List<Animal>类型，就是从 Cat 和 Animal 衍生出来的两种复杂类型。
那么我们就可以这么来解释协变和逆变了：
List<Cat> 也是 List<Animal>的 subtype，也就是衍生类型的关系和原来类型（ Cat 与 Animal）的关系是一致的，那我们就说 List 是和它的原来类型协变（共同变化）的。 List<Cat> 是 List<Animal>的supertype，也就是衍生类型的关系和原来类型（ Cat 与 Animal）的关系是相反的，那我们就说 List 是和它的原来类型逆变（反变）的。List<Cat> 既不是 List<Animal>的 subtype，也不是 supertype，也就是说没有关系，则说是不变的。FLEXLoader 是一个我在上周末写的一个可以动态加载 FLEX 的开源越狱插件，它以加载动态库的方式注入到系统 App 和用户的 App 中 (欢迎使用 star, fork, clone 等一切方法蹂躏我~~)。FLEX 全称是” Flipboard Explorer”，是 Flipboard 团队开发一组调试和探测 App 的开源工具，功能非常强大，比如查看和修改 View 的层级结构，查看和修改堆内存中的对象信息等等，更多 FLEX 介绍和使用信息参考这里。
FLEXLoader 参考了RevealLoader，顾名思义，它是一个加载 Reveal 动态库的越狱插件，是一款非常方便的插件，如果你经常用 Reveal 来查看和调试，一定不要错过。我把它的源码做了一些修改，把 Reveal 的动态库改成了 FLEX 的动态库，因为 FLEX 官方只提供了源代码，所以我参考了 Tony 的这篇文章编译了一个动态库，如有有兴趣，也可以直接用我已经构建好的 Xcode 工程 FLEXDynamicLibProject来编译。
有下面两种安装方式：
Flipboard FLEX loader并安装 (BigBoss 源) make package install一下 (也可以自己编译 FLEX 的动态库替换掉工程中的FLEXDylib.dylib).