依赖类型介绍

在函数式语言中,不存在没有参数的方法,不存在没有返回值的方法。如果方法签名用箭头(->)表示,箭头两边都必须有类型。

string getStr()
{
  return "hello";
}

C#方法getStr()在函数式语言中不存在,它会被表示成一个值,无法调用。

泛型

[……]

继续阅读

全面战争战锤1混沌勇士永世神选阿克汉指南

开局送的神选者维护费太高,可在军队满编后删除这些高维护费单位。一开始招募掠夺者为主。

LegendofTotalWar在第一回合就删除神选者[1],是有其特定的背景。那时候混沌勇士可以反复劫掠城镇而不摧毁它,而且掠夺者自动战斗(auto resolve)能力强。

混沌勇士[……]

继续阅读

项目管理工具测评

Trello

老牌的项目管理工具。我早至2012年就用过。现在去用,发现其界面是中文(一开始进去是英文,但打开新窗口就变中文),尽管我的language setting is English,我的IP也是美国,我的浏览器prefered language is English。Trello c[……]

继续阅读

评:LINUX磁盘使用命令du的改进

一开始说要改进du,我还以为要在du里加进排序的功能。你拿源代码自嗨就算了,还好没去给du作者提pull request,被喷死。

后面用sort加perl。perl已经是图灵完整了,干嘛还要sort?另外sort -n是什么意思,难道sort不能处理human-readable number[……]

继续阅读

How to say a big number?

1,200,000

one million (and) two hundred thousand. British English requires the “and” while it’s optional in American English.[1]
one mill[……]

继续阅读