codeworm❄️

PGP: A8C2 E390 DE57 AB1C | SW-1488-3590-3413

[codeworm❄️ @codeworm96]

@HTwood96 成功

[codeworm❄️ @codeworm96]

@ant_sz @IIInoki AI, 蹭蹭（

[codeworm❄️ @codeworm96]

@OwoTizusa 我好喜欢这个功能

[codeworm❄️ @codeworm96]

https://t.co/ojqxZh9D5l 试着精简了一下 opensource moonbit, 去掉了没有用的遗留代码（但是看项目这个状态不打算继续整理了

[codeworm❄️ @codeworm96]

我大概知道这是怎么造出来的了，就是把 dune 预处理完的代码开源出来，Menhir 和 PPX 都代码生成过了，不太能读但是拿来做实验还可以

[codeworm❄️ @codeworm96]

@object_nullll 这个明显是为了开源从内部切出来的镜像，https://t.co/RkyZ8SoF7u OCamllex 生成的 lexer 还是暴露了原文件是有好好组织的

[codeworm❄️ @codeworm96]

@tison1096 但是没想到有继承代码

[codeworm❄️ @codeworm96]

Is #MoonBit evolved from #ReScript?

[codeworm❄️ @codeworm96]

@ChShersh @james_droog And more specifically, in wasm-gc, a native array type is added. This is what they used in the wasm-gc backend, while Lists are implemented from scratch.

[codeworm❄️ @codeworm96]

@object_nullll 至少确实能 build, build 出来的东西还能跑...

[codeworm❄️ @codeworm96]

Based on the error message on ICE, the native backend is Clam -> C, then use your favorite C compiler.

[codeworm❄️ @codeworm96]

IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc

[codeworm❄️ @codeworm96]

强行拍平的另一个问题是 aaa/xxx.ml 和 bbb/xxx.ml 会变成 https://t.co/0VOpEtqKuo 和 https://t.co/ZUPJnGifWT 就非常 emmm

[codeworm❄️ @codeworm96]

这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去（虽然也不是太好读...

[codeworm❄️ @codeworm96]

IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc

[codeworm❄️ @codeworm96]

这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去（虽然也不是太好读...

[codeworm❄️ @codeworm96]

@object_nullll 这个明显是为了开源从内部切出来的镜像，https://t.co/RkyZ8SoF7u OCamllex 生成的 lexer 还是暴露了原文件是有好好组织的

[codeworm❄️ @codeworm96]

@object_nullll 这个明显是为了开源从内部切出来的镜像，https://t.co/RkyZ8SoF7u OCamllex 生成的 lexer 还是暴露了原文件是有好好组织的

[codeworm❄️ @codeworm96]

比 411 卷多了...现在国内学生还是太厉害了（也有可能是老了

[codeworm❄️ @codeworm96]

看到函数式语言的编译技术以为是比 15-417 结果是比 15-411 (所以国内各种比赛(db/编译器)最后的模式都是卷性能吗...

[codeworm❄️ @codeworm96]

看到函数式语言的编译技术以为是比 15-417 结果是比 15-411 (所以国内各种比赛(db/编译器)最后的模式都是卷性能吗...

[codeworm❄️ @codeworm96]

AI 可能是直觉主义者

[codeworm❄️ @codeworm96]

AI 真的能理解无穷吗

[codeworm❄️ @codeworm96]

AI 真的能理解无穷吗

[codeworm❄️ @codeworm96]

n = 0 : map succ n 学数学的应该会很喜欢

[codeworm❄️ @codeworm96]

n = 0 : map succ n 学数学的应该会很喜欢

[codeworm❄️ @codeworm96]

https://t.co/unLH2EUB6e 学习了