我正在实现一个有依赖类型库的函数式中文编程语言

有本事写编译器，写个解释器算坨屎？

楼主，虽然觉得没多大意义，还是给你推荐一个地方吧：去知乎专栏《中文编程》zhuanlan.zhihu.com/codeInChinese
更有意义的是做注释文档汉化，维护一下Linux内核的TTY中文补丁，使其在非X11下能显示中文。

有志气

加油，鄙人最看不起那些说浏览器内核难做，系统内核难做，说国外做了多少年，，有多少基础，咱们现在做没环境，也没必要，不要重复造轮子的那些垃圾。这些话都说了十多年了，到现在还是没有自己的东西。哪怕别人已经把代码写过了，如果可以，为什么自己不再重写一下?凭什么别人的代码已经最优化了?如果早在十几年前就写自己的东西，我想最差也有完全属于自己的了吧！可是现在大部分傻 币程序员还在说那一套，，哦哦，有开源的，有GPL，别浪费时间，就像360浏览器一样，连个内核都改不了，就跟deepin一样，只能做个UI，只是勉强比做纯UI的强一丝罢了。会写作业的都知道，一般来说，自己写作业，比瞎 几 把抄别人的简单的多，，为这一类中国程序猿是中国人感到可耻，，楼主加油!

楼主应该是有一些想法的，我觉得不应该泼冷水，但希望在拉人入坑之前能先做一点初步的成果出来给大伙看看。

编程不会英文没法玩，等你需求多了，各种文档都是英文的，怎么玩。

为你加油