@sorra 这根本是两个问题好吗，请看我给出的例子，这个问题和 it 变量没有关系，只是类型推断系统过于智能是否合适的问题而已

@twoyuan 很正常, type inference 有时候因为过于智能会显得比较魔幻

执行一下
fun main(args: Array<String>) = run { val run = 1; run { print("run: $run") } }

或者甚至 (后面这个会有个编译警告, 但警告的也仅仅是变量重名而不是 type inference 混淆)
fun main(args: Array<String>) {
val x: (() -> Any) -> Any = ::run;
x { val x = 1; x { print("x: $x") } }
}

i7 i8 我觉得裸奔都问题不大, 尤其是 i8 不能太舒服

至于 SE, 咳咳, 那个金属后背太容易磕碰刮伤了吧, 我以前一直都只是加个后背套套, 只是这个命运也是很难逃避得啦, 一图胜千言
http://wx4.sinaimg.cn/large/5257f553gy1fltl7w7ovxj20zk0zkq6y.jpg

既然没有亲情就讲法律好了
我猜这应该是一笔保险赔偿吧
那要看保险合同有没有写明确的受益人
如果没有的话这就是遗产，没有其它证据的前提下应该是唯二的继承者评分
我觉得你应该是不看重钱了只是咽不下这口气，那么为图省事期间，全部委托给律师打官司好了，大不了所有钱全给律师好了

async block 哪来的输入参数，明明是 ()->?

excited

另外，真心建议考虑一下 #8 的提议，能不能接受（主要是接口的减少，13 标准版是 4 个 USB-C，12 只有唯一一个，性能我觉得不是什么大问题）需要自己去实体店实际感受

学生可以购买教育优惠

@SakuraSa 差不多就是这样。不过我建议你最好做一下 benchmark，像这类的优化通常都是无关紧要的。你可以对比一下 kotlin 版本 https://try.kotlinlang.org/#/UserProjects/pccstv7712df4g3ibqatu457rs/fei6se6j97r7494cjaq5r0jkvh

把 main 函数里面的 altSortedBy 改成 sortedBy 就是标准库实现的版本

一千块卖的都是拷贝吧，不太可能包含服务（我是指开发方面的服务而不是技术支持），软件拷贝的销售没必要走合同吧，难道不都是单方面要求购买者遵守软件开发商的授权协议吗，至于对方需要走对公渠道或者开发票这些都属于付款渠道问题而已。

如果你一千块做的是软件定制服务那当我没说好了

@SakuraSa 这关系到两点:1. 数组不是值类型 List 才是所以 split 的结果不能直接用作 Comparable, 2. 没有 sortby 封装. 后者仅仅是一个库支持的问题写一个 sortby 方法并没有什么困难, 前者就不是这么好解决

把原语组合起来大概就是 arr.sortedWith(compareBy(compareByArray, String::split))
这是常见的做法, 因为基于 compare 而不是 comparable 所以也不可能预求值优化
如果希望能预求值优化那么需要创造另外的原语如 arr.sortBy(x -> ComparableArray(x.split(“.”))

这些类型转换的复杂性本来就是存在的只不过甜度比较高的语法糖可能会让你忽略了其存在而已

你就不能注意一下格式吗，要知道 shell 的方括号可不是你想的那么简单，右方括号前面缺少空格科室会死人的

写程序当然应该用 IDE
但这不等于你就不用学习基础的 java / javac 命令
这两者根本不存在冲突的地方

@SakuraSa 这仅仅是一个空间换时间的问题，n vs n*log(n) 的代价就是你需要缓存每个计算结果, 假如 java 是一门动态语言 (也就是说任意 object 都可以动态的增加一个 attachment 属性) 也一样可以这样干, 现在因为 object 不可以任意添加 attachment 所以类库没有提供这种 sortby map 的封装, 建议你可以尝试一下 kotlin, 不过即使提供了 sortby 封装, 一般也不一定会做这样的预求值优化的

当然具体到本题案例, 因为 map 是可逆的, 可以先 map 成 slpit 排序完了再 map join 回来只是不是很有必要性

@SakuraSa 难道原文中的 python 代码不需要 split ？

相当于给你家的一车道小桥增加两个一公里远的收费站

你难道不知道 10.12 开始 Karabiner 就无法兼容了吗

你司的狗长得真特别