Java8 stream 中利用 groupingBy 进行多字段分组求和

为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？

康托尔著名的对角线证明？

如果使用 Java8 以上版本可以使用 Arrays.stream 方法来转换，否则可以把 int 数组声明为包装类型 Integer 数组：

以为集合（Set）类型里面的元素总是无序排列的，其实不是的，在特定情况下，它也可以做到有序排列。 在redis里，集合的编码有两种，intset（整数集合）或者hashtable（哈希表）。intset编码的集合里面的元素是有序的（按照整数从小到大排列），hashtable编码的集合是无序的。 当集合同时满足下面两个条件时，会使用intset编码： 保存的所有元素都是整数元素数量不超过512个（这个值可以通过配置文件里的set-max-intset-entries进行调整） 要注意的是，一个使用intset编码的集合，当上述两个条件不能同时满足时，redis就会将集合的编码由intset改为hashtable。