热乎哉, 不热也

你说的这些功能都可以在 JB 里用插件实现

过去时 -- 现代编程语言的最基本的要求
* nullsafe
* 第一公民函数
* 作用域安全
* 泛型
* 类型推导
* 元编程或者说自省能力
* 去分号
* 包, 模块, 可见修饰符

进行时
* 天然的异步
* 类型后置
* 模式匹配
* immutable 的支持
* 使用处理异常 monad
* 限制 override 和 overload

未来
* Structural type 代替大部分 Nominal type
* 变量所有权
* Strictly positive 的代数数据类型(ADT)
* 更严格的子类型, 比如说我们可能不需要 top type, 也就是所有类型的父类型
* 安全的元编程


太长不看: 现代编程语言就是在保证工程性的前提下, 尽量减少 runtime error, 并保持简洁的语法.

```太阳常数是太阳电磁辐射的通量，也就是距离太阳一天文单位处（约为地球离日平均距离），单位面积受到垂直入射的平均太阳辐射强度。太阳常数包括所有形式的太阳辐射，不是只有可见光。由人造卫星测出的最小值约 1.361 kW/m²，最大值约为 1.362 kW/m².```

出于感动自己的目的, 只需要在自家楼顶摆上角隅反射器, 把太阳光原路返回去, 考虑到阳光吸收以及镜子的反射能力, 保守估计 0.5 kW/m² 的热量可以返回到宇宙. 1 千瓦 = 360 万焦耳, 所以一个平方米的镜子光是每天中午两个小时相当于 300 次电梯, 相当于 60km 的车. 真实功德无量啊.

复活节岛的资源越来越少了, 大家在讨论怎么办
现实主义者: 我们应该多种树
理想主义者: 我们应该加大力度探索海洋
碳排放主义者: 我们应该少吃鱼

@documentzhangx66 正是因为不敢打仗, 所以更要装腔弄势, 很科学

Java 垃圾, 模式匹配不支持泛型就是个残疾

首先你的代码应该是这样, 也就是先把重复的代码抽离成方法.

public void test() {
String time2 = "2022-08-31";
for (int i = 0; i < times.size(); i++) {
String time = times.get(i);
var monthsBetween = betweenMonth(time, time2);
findTimeList(monthsBetween).add(time);
}
}

List<String> findTimeList(long monthsBetween){
// TODO
}

@SafeVarargs
public static <T> Collector<T, ?, Map<String, List<T>>> groupByProperties(Function<? super T, String>... properties) {
return Collectors.groupingBy(t -> Arrays.stream(properties)
.map(getter -> getter.apply(t))
.collect(Collectors.joining(/*FIXME*/)));
}

users.stream().collect(groupByProperties(User::getEdu, User::getCity, User::getCountry))

不就是背板吗, 说得那么清新脱俗, 不玩日本游戏人生会变得更美好(东方除外)

https://www.bilibili.com/video/BV1134y1D7ag
https://www.bilibili.com/video/BV1t3411v7rS

招自己买许可的人比招用 vscode 的人容易多了

初级开发工资低, 中级开发工资中, 高级开发工资

孙子兵法这么牛逼 鸦片战争打到哪了

@cpalead 用 benchmark, 至于为什么可以谷歌一下

方法总比问题多, 辱个包被封号了也不会社死

与其说是 idea 没有, 不如说是 javac 没有, 但是 eclipse 的 jdt 不兼容 javac, 我认为不是一个解决方案

对于类型系统来说, 图灵完备不是好事, 代表 undecidable, unsound, inconsistent, uncanonical. 当然工业上我们根本不在乎这些东西, 反正有 runtime 和程序员帮忙兜底. 比如类型系统图灵不完备的 Java 同样也是 unsound 的.

https://www.google.com/search?q=Java+is+Unsound