错觉：每次升级Archlinux之后都要改设置
今天无聊滚到最新，发现Opera的标题字体变大了，菜单的字体也变大了，好难看。去看看gtk更新了什么，只发现这一条： Add proper default theme settings，默认字体被改了，而且这居然还叫“proper”，都没装那个字体呢，你就不把依赖也补上？
我应该到Arch的论坛吐槽的。
总要改回去吧，现在只好再污染一下家目录，建个 ~/.gtkrc-2.0，写上：
gtk-font-name = "DejaVu Sans 10"另外最进systemd也升到了208，日志文件的权限也要改。不看Changelog，死了都不知道是怎么回事啊。
为什么total function是partial function的特例？ 以前我是从指称语义来理解的：Partial function可能返回⊥（\(A\to B\cup \{\bot\}\)），而total function不会（\(A\to B\)），所以total是partial的特例。不过我也不知道这种理解方法是否正确。