Vx：一门语言适配所有芯片，把异构计算写进类型系统

Vx 是一门面向异构计算的系统编程语言，将 CPU、GPU、NPU 与加速器内存纳入类型系统，主机线程解引用设备指针会直接编译报错。它要求跨内存空间的数据移动显式调用 transfer()，并在编译期检查地址空间、容量、拓扑可达性等问题。