-
标题长难句，， 原谅我取了个引流标题，本来是半成品中的半成品，但最近继自制游戏之后自制编程又火起来了，看完部分引流视频后不管是语法还是实现上都一言难尽跟小孩玩过家家似的，故在xd怂恿下发了这视频展示已有的内容和自身想法 灵感源自 Idris2 语言，项目起步于今年年初，原则上是想做到易上手偏轻量小巧，目的在于推广一等类型和依赖类型到工业界（Idris2 对小白来说可太难了） 省流地讲，已支持基本编程元素、ADT、模式匹配、一等类型、自定义中缀运算符、模块系统、VSC高亮扩展 不过类型系统和类型检查器是大坑，所以暂时又跑去啃理论去了（ 神秘链接：https://github.com/BIYUEHU/mihama （跟那些目标和设想比起来，语言还处于非常早期阶段，所以看的价值其实不高（（ 交流群：317691609
开学了！也该给自己更新一下装备了 本期外设清单真的花了很多心思，大伙可以放心观看
没有用过什么变声器，也不会伪音！主播不是男娘！什么？你说算了我还是不张嘴更好看？
颈膜枪怎么选？极速省流版 上班族，轻度运动爱好者首选小型枪！ 钛钢头+热敷，深层放松，按摩舒适，便携实用 运动员，运动狂热爱好者首选大型枪！ 性能强，大力出奇迹，大块头or运动员首选
开学季平板怎么选？荣耀GT2 Pro：高刷大屏畅快学习游戏，2000档真香！
刀法精准！小米90W小布丁充电器深度评测
【键盘推荐】狼蛛F87 PRO V2三模机械键盘，要功能，要可玩性，要性能，你就选它没错
一期视频带你认识WF中国队伍【2025 ICPC World Finals前瞻】
暴打国外榜单！国内首个《显卡游戏帧率-天梯图》来了！省流避坑！2K选卡 终 极 指南 ~ 更新5090Dv2 RX9060 谁强谁弱？该配啥显示器？一眼秒懂 ！
简陋却强悍，法国凯撒自行火炮在战场上的存活率为何远高于同行？
综合 0
0