配图来自于硬哥和pop哥面基时的纽约时间方块，本肥宅一天到晚就是起床上班下班上山健身然后回家吃草 工作 这周由于上周Rust写吐了，再写Starcoin的nameservice的TS，有一说一还是写前…
所以这个是一个半个月的周报~ 上个月月底到这个月月初我到了美利坚合众国去参观人类的灯塔，我唯一觉得就是美利坚在很多的方面真的赶不上欧洲，如医疗制度，如政府，如公共设施，如法律。 除了自然风光挺好看的，…
欢迎任何困惑网上论战strong type和weak type语言是什么东西的萌新以及正在学习类型理论的人前来观看~ 我只想说网络上大部分关于这部分的争吵都是错的! 而且出错的方向都太离谱了. 首先非…
这个语言我再在上次的Sap语言和什么之前想搞的CN语言的失败教训中中吸取了大量的教训, 同时获得了N个群友以及业界工程师的思路, 最终汇总并尝试弄出来这么一门语言. 希望能帮到下一个想造编程语言的人 …
今天在推特碰巧看到张汉东老师在看本书, 于是我也跟风看了一眼. 这本书虽然对于类型系统和数学定义解释的没有诸如 TAPL 之类的详细, 但是确实书中的一些模型和观点都非常符合近几年编程语言普遍的演化方…
缘起 我在写LemonVM的时候, 第一版采取的Rust语言, 当时想着使用Rust语言至少能够保证在写VM的时候至少是内存安全的,但是事实告诉我, 在写这种层面的底层大项目的时候, 想要使用静态检查…