原文地址: https://arxiv.org/pdf/2111.03354.pdf作者：Giuseppe Castagna，巴黎大学 因为这是论文导读啦，所以顺序和原文无关，如果出现了任何错误请第一…

我是可爱的占位符 问问神奇包子~

点一下按钮看看? 生成一点哲学废话吧~

欢迎任何困惑网上论战strong type和weak type语言是什么东西的萌新以及正在学习类型理论的人前来观看~ 我只想说网络上大部分关于这部分的争吵都是错的! 而且出错的方向都太离谱了. 首先非…

随着近年来的开源运动, 越来越多的大软件选择使用更加开放的工具链去构建, 这也给了Linux翻身的可能, 随着软件越来越多, 越来越多人把Linux当成了他们的首要的操作系统, 以至于到今天Linux…

这篇文章受密码保护，输入密码才能阅读

(整活儿系列) 推荐一本书 <<Introduction to That Thing>> 第二版! 这本书是数学没毕业丛书的重要组成部分! 这本书会像知道的人介绍已经知道了的知…

这个语言我再在上次的Sap语言和什么之前想搞的CN语言的失败教训中中吸取了大量的教训, 同时获得了N个群友以及业界工程师的思路, 最终汇总并尝试弄出来这么一门语言. 希望能帮到下一个想造编程语言的人 …