-
【星闻联播24】全球航天周报 八甲擎空再织星网 星舰十飞浴火归来 剪辑：@助推上天 @智周万物道济天下 封面：@DarkOrion_Wxy 视频制作：@bili_1245689
拓竹同名，免费开源很多模型
标题长难句，， 原谅我取了个引流标题，本来是半成品中的半成品，但最近继自制游戏之后自制编程又火起来了，看完部分引流视频后不管是语法还是实现上都一言难尽跟小孩玩过家家似的，故在xd怂恿下发了这视频展示已有的内容和自身想法 灵感源自 Idris2 语言，项目起步于今年年初，原则上是想做到易上手偏轻量小巧，目的在于推广一等类型和依赖类型到工业界（Idris2 对小白来说可太难了） 省流地讲，已支持基本编程元素、ADT、模式匹配、一等类型、自定义中缀运算符、模块系统、VSC高亮扩展 不过类型系统和类型检查器是大坑，所以暂时又跑去啃理论去了（ 神秘链接：https://github.com/BIYUEHU/mihama （跟那些目标和设想比起来，语言还处于非常早期阶段，所以看的价值其实不高（（ 交流群：317691609
修穿越机飞控的小技巧
java学不会？SpringBoot速通邪修之：10分钟入门到精通！程序员邪修之：springboot直通车
每 日 一 测 ！转行拍照看老七，不务正业吹流弊！
【ROLL】119的价格用料十足！音贝奇Real2 Pro全新升级 外观质感拉满
我那来自西域的河南朋友是个演员
综合 0
0