@rbe 我例子没举好，模板字符串类型是一个比较特殊的情况

如果定义一个从下划线转驼峰的类型

type CamelCase<S extends string> = S extends `${infer P1}_${infer P2}${infer P3}`
? `${Lowercase<P1>}${Uppercase<P2>}${CamelCase<P3>}`
: Lowercase<S>

type A = 'aa_bb' | 'bb_cc'
要映射成
type B = 'aaBb' | 'bbCc'

应该是想靠 graal 企业版赚了

@Kamiyu0087
switch 表达式
文本块
record
密封类
看起来有点别扭的 pattern matching

koka lang
实现了副作用类型
作为函数式语言直接编译到 C 并且无需垃圾回收器或者运行时

@vision1900 tsc 或者 tsserver 升个级吧，官网的编辑器我试了下是可以拿到 v 的类型的

发现使用的地方的确实现了某几个属性同时有或者同时没有的检查，但是组件里怎么类型安全的把它们取出来。。

@2i2Re2PLMaDnghL 额，忘了改报错信息
PopUpAd 就是这里的 B 组件
也就是说 A 组件想要持有一个 B 组件中某个 HTMLElement 的 ref
那 A 组件的持有的 ref 就要定义为 HTMLElement | B | null 吗

看到 hibernate 的各种概念就头大，稍微复杂的查询我宁愿 jdbc 拼 sql

@ipwx 我们现在也是，不过是写了个工具方法，底层就是分批后调用 jpa 的 find in，不是裸拼 sql 的话其实还挺方便的

改一下 getTableData，把 value 传进去？

官方说法是小核心主要为了提升多核性能

感觉 17 相比 11 最大的变化也就 zgc 稳定下来了
虚拟线程值类型真泛型之类的大变革都至少得 3 年后的 23

是晚上睡少了

有编译到 js 支持 react 的 kotlin🐶
认真的说对后端语言编译到 js wasm 这套都不看好

感觉没有杀手级应用出来之前都没有学的必要

freemarker 可以删掉
直接 springboot 吧

元编程是吧

感觉 rust 光是允不允许 unsafe 就能辩很久了