假设还有其他几个用户也增加了积分：
看看现在有序集合 rank:20150401 中的数据（withscores 参数可以附带获取元素的 score）：
按照分数从高到低，获取 top10：
因为只有三个元素，所以就查询出了这些数据。
如果每天记录当天的积分排行榜，那么其他花样百出的榜单也就简单了。 比如“昨日积分榜”：
利用并集实现多天的积分总和，实现“上周积分榜”：
这样就将 7 天的积分记录合并到有序集合 rank:last_week 中了。权重因子 WEIGHTS 如果不给，默认就是 1。为了不隐藏细节，特意写出。 那么查询上周积分榜 Top10 的信息就是：
“月度榜”、“季度榜”、“年度榜”等等就以此类推。
下面给出一个 PHP 版的简单实现。使用 Redis 依赖于 PHP 扩展 PhpRedis，代码还依赖于 Carbon 库，用于处理时间。代码量很少，所以就不敲注释了。
