标题长难句,, 原谅我取了个引流标题,本来是半成品中的半成品,但最近继自制游戏之后自制编程又火起来了,看完部分引流视频后不管是语法还是实现上都一言难尽跟小孩玩过家家似的,故在xd怂恿下发了这视频展示已有的内容和自身想法 灵感源自 Idris2 语言,项目起步于今年年初,原则上是想做到易上手偏轻量小巧,目的在于推广一等类型和依赖类型到工业界(Idris2 对小白来说可太难了) 省流地讲,已支持基本编程元素、ADT、模式匹配、一等类型、自定义中缀运算符、模块系统、VSC高亮扩展 不过类型系统和类型检查器是大坑,所以暂时又跑去啃理论去了( 神秘链接:https://github.com/BIYUEHU/mihama (跟那些目标和设想比起来,语言还处于非常早期阶段,所以看的价值其实不高(( 交流群:317691609
第一次用Pr和Ae,不是那么熟悉,做的有点一般般请理解一下 不是打广告,是真心觉得还不错,没有商业用途哈
AAA军迷批发商
这个人没救了,
-
“这是一支 适合在夜深人静时使用的 和谐家庭关系的 游戏品类通吃的 全能盘体……”
市面上这么多待机王到底那个是真的?今天来一起暴力测试,看看谁才是真正的待机王 #S10ultra待机王 #暴力测试 #手表测评
星舰的意义与未来展望(注:视频内容若有错误之处,请在评论区补充,感谢纠正)
【真实测评】一加13到底贴什么膜好,全胶钢化膜?软膜?UV膜?边胶钢化膜?通通贴上去测试一下
英特尔最逆天的一集,“高性能”企业级QLC?—— Solidigm D5-P5430 3.84T E3.S简评
通过对电蚊拍线路板抄板画了一个原理图对电蚊拍的充电原理工作原理差不多搞清楚了
综合 0