很久没有更新，Sublime Text的密钥又错了。报错：➜ ~ sudo pacman -U sublime-text 错误：sublime-text: 密钥 "F57D4F59BD3D...

夏天一到，夜里雨下个不停。飘窗里的晚空套着深深的蓝色滤镜，外面已经散去了雨雾。积水沿着屋内的排水管淅淅沥沥潏湟淴泱，不停流淌、下沉。空气冷寂得像是安静的海边。只有水声能不断冲破底下空调机风声的白...

主要用加拿大多语言标准键盘「français (Canada)」。附标 ç 和Ç： ] (右大括号) 和 shift+] (右大括号) 闭音符，字母e上方 é和É：...

楼道当然还是没有什么人。就在前两日的卫生检查中，保洁员终于清理了楼道的水草，是白颜色再次回到视野里来；阵雨才过，空气中还是飘着怪异的粥味。所以除了躯体的感受还剩下什么呢？环绕着空洞的沿伸，就着血...

类与类型自定义类型 用data指定有限的值列表，得到类型构造器 用type组合已有的类型函数与多态 在函数类型声明中用a指代任意类型，从而定义多态的函数。cards.hs 在类型定义中用...

高阶函数 匿名函数：(\param1[.. paramn] -> <function_body>) 映射：map (\param1[.. paramn] -> <...

Analytical mechanicsNewtonian mechanicsA conserved force is the gradient of a scalar function: $\...

Inline math $\frac{\partial\vert\Psi\rang}{\partial t}=-\mathbf{i}\hbar\vert\Psi\rang$ is an equa...

函数式 只有函数没有对象； 通常来说，给定相同输入，这些函数将返回相同的值； 这些函数通常没有副作用，也就是说，它们不改变程序的状态； 任何变量都只能赋值一次。Haskell 上句结果...

新装的plotly使用iplot方法时报错：KeyError: proxy_username来自proxy_auth = basic_auth(creds["proxy_username"], ...

递归与通常的命令式语言相对，Prolog是声明式的。声明式语言处理集合时更多用递归而非迭代。实现递归的方法是，在一个规则中包含若干子目标，其中一个子目标是该规则本身，这个子目标就成为递归子目标。...

清明过后，或有将雨不雨的阴沉日，路上密密层层的新绿堆满了楼前路鬓，都因着连日的黯淡天气，恹恹地透出鹅黄的色彩。引擎耸耸地扑出水汽，地面打湿的一片暗色表明着冰封的冬季的已经远去，而又以厚重棉袄的不...

概况语法结构 句末加点| ?- write('Hello,'), nl, write('world').Hello,worldyes| ?- halt.4 种元素（term）： atom ...

Object原型包含了处理消息传递的一切行为。当你把消息发送给对象的时候，对象将完成下列事情： (1) 计算所有参数，这些参数其实就是消息； (2) 获取消息的名称、目标和发送者； (3) 尝试...

如何用Io的槽和消息构造核心行为。控制流循环 loop(<...>) while(i <= stop, <...>, i += step) for(i, st...