@aababc 主要还是类型前置还是后置的问题，在初期设计的时候进行了长时间的考虑，最终选择了类型前置。我认为类型前置的可读性更好，并且类型推断时可以直接将类型转换为推断语法 var 。

函数声明时由于类型必须明确声明(无论时类型前置还是类型后置)，常见的类型后置声明在函数声明时并不简洁（你说的这种省略声明方式除外），比如 (a: int, b: int)， 和 (int a, int b) 相比，后者更加简洁可读。

@cndev233 是的，我真的很喜欢 golang ，但我觉得 golang 可以更好,。

@xingcy 我 28 左右，马上有孩子 😄。我运气很好，上家公司双休还不需要加班。其实不是两年，写这个项目已经 4 年了，主要是下班写，偶尔摸鱼的时候也会写一点。因为我之前月薪够我家庭使用了，所以就狗住了，一家公司一呆就呆了 5 年。身边的朋友跳槽涨薪虽然让我有些嫉妒，但也仅此而已了。

@Binwalker 不要自己写，找几个伙伴一起写。最好直接入 llvm 快速验证想法，最好规划好开发周期，不要投入过度的时间。不要用 C 语言实现。推广是一个持续的过程，要不时和用户进行分享。

@Binwalker 主要是这些资料，我也看了 crafting interpreters ，还不错。

1. sicp (有 python 和 js 版本)，推荐和视频一起观看。
2. 编译器设计(第二版)，部分章节，推荐看英文版，中文版实在是看不懂。
3. 现代编译原理 —— C 语言描述，部分章节，主要是 ssa 部分。
4. [crafting interpreters]( https://craftinginterpreters.com/) 非常推荐
5. 自己动手构造编译系统 —— 编译、汇编、与连接，主要看了汇编部分
6. Linear Scan Register Allocation for the Java HotSpotTM Client Compiler ，线性扫描寄存器分配基于该论文编写
7. Linear Scan Register Allocation on SSA Form ，ssa 形式线性扫描寄存器分配
8. [Writing a Memory Allocator]( http://dmitrysoshnikov.com/compilers/writing-a-memory-allocator/) 内存分配与垃圾回收课程
9. golang/tcmalloc ，内存分配和垃圾回收实现上参考，不过我源码阅读能力有限，所以看的都是文章解析。
10. [bspaans/jit-compiler]( https://github.com/bspaans/jit-compiler) 汇编器部分参考实现，具体指令编码参考 intel 手册第二卷
11. 程序员的自我修养——链接装载与库，学习连接器与 ELF 文件构成
12. [Tiny C Compiler]( https://bellard.org/tcc/) 连接器部分参考实现

@closedevice 之前做 CDN 和边缘计算。编程语言主要是兴趣推动和工作关系不大。

@bv 和 rust 关系基本不大，我也不太熟悉 rust 编程语言。仅仅是类型声明上参考了 rust 实现。

@lisxour 主要是兴趣，我们都是 hacker

@v2orz 我也很感觉 V2EX 的用户们，给了我很多的支持和帮助

@bruce0 一个协程实现+抢占式调度直接把我干懵逼了，耗费了我差不多半年时间也无法妥善处理, 有点难以继续的感觉。然后其他事情也比较多导致开发上一直断断续续，所以在这期间只是默默开发，没有发过任何版本和推广，打算直接写到可用版本，一眨眼就过了两年。

@ccpp132 哈哈，其实支持 win 只有一步之遥，我在等一个交叉链接器，能够在 macos 上直接连接成 windows 程序。自己写还是有些困难和繁琐。目前只找到 zig ld 实现了，可惜没有独立过来，但恰好我使用了 c 语言实现源码，我在考虑要不要拥抱 zig 生态。

@cenbiq 嗯，我会考虑。实现上我进行了优先匹配，| 会被识别成分隔符，如果需要逻辑或需要 (1|2) 这样写。

@lifespy 一开始的考虑是完全和 c 一样 int sum(int a, int b), 但是这样在编写匿名函数时可读性很差。call(int sum(int a, int b)) 类似这样难以读，所以添加了 fn 引导函数。此时面临的选择就是 fn int sum(int a, int b), 一个叫 c3lang 的编程语言的选择就是这样。而我最终的选择就是将返回类型放在后面。

@encro 我也很关注 moonbit ，感觉 moonbit 有点骑虎难下的感觉，在 AI 时代正在发展中的语言可能难以有很好的突破。moonbit 一开始是基于 wasm 的语言，后续增加了 c 后端等宣传是通用编程语言和工具链。

虽然现在是大模型的时代，但我觉得 moonbit 还是应该将核心放在 wasm 生态，并进行推动与发展，张老师肯定也有这个实力。wasm 可能是比 ai 更早实现编程语言环境统一的工具。

@pursuer 无论是 ai 写还是人写，代码都只是载体，总归是要写。只要你开始一个项目，总是要选择一种合适或者自己熟悉的编程语言，进行代码编写，不存在造轮子的说法。

@mightybruce 我对 n8n 类似的低代码流程编排很感兴趣，我有关于 vibe coding 的 idea ，后续会逐步完善。但可能独立于 nature 项目。

@Lighfer 没有经过中大型项目验证，还有较多的 bug 。

作为早期的编程语言，目前适合以下类型的开发人员
- 技术探索者 —— 愿意尝试新事物，并能够承受早期版本存在的各种 bug 、有兴趣参与语言设计和改进的讨论
- 语言开发者和研究者—— 对编程语言设计和实现感兴趣的开发者、学习编译原理、学习如何实现一门编程语言
- 反馈贡献者 —— 愿意提供使用反馈的开发者、能够提交 bug 报告和改进建议、有兴趣参与项目建设及标准库完善

不适用于以下类型的开发人员
- 需要在生产环境使用的企业用户
- 对稳定性要求较高的项目开发者
- 想要寻找一份编程相关工作的初学者
- 需要大量第三方库支持的开发者

@rozbo 谢谢你的鼓励 🥹

@lifespy 如果你写过 golang, 其实 golang 的返回值可以声明变量载体，大概是像这样

`func sum(a int, b int):(total int) {}` 我想表达的就是，其实依旧是类型前置，只是函数的返回值的类型放在了参数的后面，函数 body 的前面。