编程

• V language：基于 C 的注重性能的静态类型编译语言。语法比较像 go?
• Mun：基于 Rust 的静态类型语言，注重热重载 (hot reloading)。
• Mojo：python 的超集，注重性能，类型，兼容性，目标是 AI 领域。
• koka：以 effect 为核心的函数式语言。有 full UFCS 特性。给一堆东西分类的感觉我比较喜欢。
• moonbit：国人开发，面向 WebAssembly，从 rust 中学了很多的语言
  • 貌似很火很有潜力，也有 Telegram 认识的 PL 大佬在里面工作过
• odin：追求简单的、像 Go 的语言
• C3：C 的改进，解决 C 痛点
• flix：JVM 上的、拥有许多函数式风格的语言。
• borgo：点进去就知道了
• dada：类 rust 的实验性语言，观点比较模糊（至少我没看出有哪些 feature）
• Vale：类 rust 的语言（所有权和泛型），但是更简单，限制更多（可变结构只能有一个引用）。开发者对内存回收，内存安全和玛雅文化有独特的理解。
• gleam：基于 rust 的，一股 rua 味的语言，BEAM 系竞争者
• cangjie(download)：华为官方出品的编程语言，看起来挺像 ts 的，据说缝了挺多东西。我挺期待它的性能报告的。
• vala：语法与 java/C# 类似，但是无 runtime 而是用 C 原生实现。据称在 GTK 等 GUI 编程方面强悍。
• rune：模仿 rust 的动态类型嵌入语言。看起来还行，解决了一些 rust 的痛点，不过没有静态类型检查也属实烦人。但是说是嵌入，zip 还有 41MB，不算小。
• otterlang：基于 rust、模仿 python 的语言，希望与 rust 语言生态互相调用。感觉一般，许多语法需要额外记忆，是一层负担，而且当前互相调用仍然相当初级。
• rue：又是一个高仿 rust 的语言，但是是 rust 核心贡献者写的。这是真的高仿。
• Lisette：一个学习 rust 改进 go 语言错误处理的小玩具。它是先编译成 go，再借用 go 的工具链。感觉是有点绕而且不好优化。
• cel-rust：不是一个新图灵完备的语言，而只是一个通用表达式解析器。但是它足够新，而且 rust native call。

因为它们的各方面都很烂。

• go
• lua（最后学了，非自愿）

我之前是靠着博客摸索和课设积累了一点微不足道的前端经验。后来舍友成为专业前端后，聊着聊着也种下了学习前端的种子。再后来，因为博客、网站、GUI 的需求，开始学习前端。

我从未觉得写前端开心过。AI 时代大家都在生成代码，后端代码可以通过各种测试确保正确性，但是前端样式不对就是不对；2025 年 vLLM 还不太行，LLM 没法真正解决样式的问题，除了摇人和硬试好像没啥好的解决方法。包括 animation 因为语料少，生成正确率很低，也是一个不容忽视的问题。