小学生自制编程语言之基于Rust的实验性支持一等类型多后端现代函数式语言
标题长难句,,
原谅我取了个引流标题,本来是半成品中的半成品,但最近继自制游戏之后自制编程又火起来了,看完部分引流视频后不管是语法还是实现上都一言难尽跟小孩玩过家家似的,故在xd怂恿下发了这视频展示已有的内容和自身想法
灵感源自 Idris2 语言,项目起步于今年年初,原则上是想做到易上手偏轻量小巧,目的在于推广一等类型和依赖类型到工业界(Idris2 对小白来说可太难了)
省流地讲,已支持基本编程元素、ADT、模式匹配、一等类型、自定义中缀运算符、模块系统、VSC高亮扩展
不过类型系统和类型检查器是大坑,所以暂时又跑去啃理论去了(
神秘链接:https://github.com/BIYUEHU/mihama (跟那些目标和设想比起来,语言还处于非常早期阶段,所以看的价值其实不高((
交流群:317691609
立即观看