我是把梯度看作牛顿法的导数理解的

直接导出 csv 文件, 能提出导出 1000 万行 excel 数据的客户估计也分不清这两种数据的区别

Java 程序在启动时加上这个参数 -agentlib:jdwt=transport=dt_socket,address=127.0.0.1:55955,suspend=y,server=n 代表可以向这个端口发送 debug 命令. 如果客户的手机可以这样用新进程 debug 启动应用的话, 那就可以调试.其它语言也类似.

但感觉这是个 XY 问题, 也许远程调试并不是你原始问题的最佳解决方案.

如果子数组的长度非固定或者非常长, 可以用 Java9 的 Arrays#compare(int[], int[]) , 它是根据 ArraysSupport#mismatch 实现的, 底层是 Unsafe 方法. 比自己写的 compare 好一些.

Arrays.sort(array, Comparator.<int[]>comparingInt(arr -> arr[0])
.thenComparingInt(arr -> arr[1]));

3 个细节.
原地排序不需要使用 stream.
使用 comparingInt 而不是 comparing.
为 comparingInt 显示声明泛型参数<int[]> 而不是在 lambda 中 cast

据说 Markdown 导出这个版本实装, 希望能解决 ubuntu 下的中文输入法问题.

当然要, 后者是前者的超集, 第一种方案能实现的第二种都能实现. 第一种情况需要维护一个超级大的枚举, 非常反设计.

据我所知没有支持依赖类型的工业语言

IMessage 你要的就是是经典的 Dependent pair types (Sigma-type), 它是 dependent type, 中文依值类型, 可以将第一个项作为第二个项的类型 (allow the type of the second component of a pair
to vary depending on the choice of the first component.)

学成文武艺, 货于帝王家

使用到 jdbc 的场景, 请求的绝大部分的性能开销是在数据库, 也就没有必要通过异步来优化性能. 反之使用异步中间件的场景都是 eventloop + epoll, 性能绝不会比等价的 c 语言低太多

我知道你问的啥了, 我把"右边分支是 A>60，或者是 B>80" 理解成"右边分支是 (A>60，或者是 B>80)" 而你的意思是 "右边分支是 A>60，或者右边分支是 B>80 ".

如果是数字的话就把判断的区间按照区间的下限排序, 然后判断这个数组是不是连续的, 并覆盖了所有数.

例如: 1.A>50 2.30<=A<=50 3.A<10. 转换成区间 (50, null), [30, 50], (null, 10) 然后按下限排序, 刚好反过来 (null, 10), [30, 50] ,(50, null) 第一个区间的上限是 10, 第二个区间的下限是 30, 所以不连续.

一样的
比如 1. (A > 50 | B > 50) 2. (B <= 50 & A > 50) 3. (A <= 50) 等价于

A > 50 -> B <= 50 -> A > 50 -> A <= 50
B > 50-> B <= 50 -> A > 50 -> A <= 50

可以看见两种情况下 A 都完整覆盖了, 但第一种情况下 B 没有完整覆盖

假设流程是没有环的, 而且分支和流程之间没有依赖关系.

有规则:
大写字母记作断言, 小写字母记作流程.

1. A -> a -> B -> b 记作 "如果 A 为真, 那么执行 a, 然后如果 B 为真, 那么执行 b".
这个流程可以简化成两个等价的流程 A -> a; A -> B -> b (有序). 也就是"如果 A 成立, 那么执行 a, 然后 如果 A 且 B, 那么执行 b"
2. A -> (B -> b Else C -> c) 记作 "如果 A 为真, 那么如果 B 那么 b, 如果非 B 且 C 那么 c", 等价于 A -> B -> b; A -> !B -> C -> c
3. A & B -> c 记作 "如果 A 为真且 B 为真, 那么执行 c" , 等价于 A -> B -> c.
4. A | B -> c 记作 "如果 A 为真或 B 为真, 那么执行 c " 等价于 A -> c; B ->c.

根据以上规则, 如果流程没有环, 那么可以将流程的有向无环图化简成它的所有可达路径. 这样只须实现可达路径上的冲突判断即可. 例如问题主干就对应规则 4.

假如流程之间有依赖关系, 规则比这里的复杂, 但也类似. 而流程是有环的情况, 直觉上应该是不可判定问题, 除非加上一些限制.

https://docs.oracle.com/cd/E11882_01/server.112/e41084/expressions013.htm#SQLRF52093
Scalar Subquery Expressions

这是为什么 SQL 没有静态安全的万恶之源之一

必须使用 eclipse 开发 Equinox 项目的受害者路过

芒果 tv 能把剩下的一起 a 了. 有些是外包, 乙方和制造业上来充数的, 比如威胜是个电表厂, 拓维是外包. 长沙用的技术大概落后业界 5-10 年, 代码写起来很难受, 不过暂时比较适合养老.

用 Clion, JetBrains 家的产品可以试用, 如果不想付钱的话 EAP 版本是免费的