标题长难句，， 原谅我取了个引流标题，本来是半成品中的半成品，但最近继自制游戏之后自制编程又火起来了，看完部分引流视频后不管是语法还是实现上都一言难尽跟小孩玩过家家似的，故在xd怂恿下发了这视频展示已有的内容和自身想法 灵感源自 Idris2 语言，项目起步于今年年初，原则上是想做到易上手偏轻量小巧，目的在于推广一等类型和依赖类型到工业界（Idris2 对小白来说可太难了） 省流地讲，已支持基本编程元素、ADT、模式匹配、一等类型、自定义中缀运算符、模块系统、VSC高亮扩展 不过类型系统和类型检查器是大坑，所以暂时又跑去啃理论去了（ 神秘链接：https://github.com/BIYUEHU/mihama （跟那些目标和设想比起来，语言还处于非常早期阶段，所以看的价值其实不高（（ 交流群：317691609
-
X链接：https://x.com/peng_hellen 视频时间轴： 00:00-intro 01:27 解释橙色舰体与不明爆炸 04:28 升空与助推器返回 07:22 星舰二级
ADNV先进数字微光 G18四目全景夜视仪前瞻
Exceedingly beautiful
有的，兄弟，有的。 手机是自己买的，不是媒体机，所以评论区有愿意接盘这台我冒着台风首发线下提货的16+1T自定义98新非凡大师的朋友，欢迎私信联系。 本视频不含商业推广（因为没接到，可恶）
A18芯片使用UTM with JIT 转译windows7体验
【开学季鼠标推荐】模具+手感配置性能全讲解！买前必看！闭眼入不踩雷都的点击游戏鼠标测评推荐
【建议收藏】只要19块！给我冲！8月流量卡现状大盘点！2025流量卡推荐|电信流量卡|联通流量卡|移动流量卡|广电流量卡|19元长期流量卡
新店入驻，前8000名粉丝赠予26双知更鸟水月雨联名耳机，包邮！感谢大家支持！
《弓VS弩2》武器不是武侠小说里的武功秘籍，不是远古来越好的………
综合 0
0