论文导读:使用并集、交集、否定类型编程

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

我是可爱的占位符 问问神奇包子~
哲学废话生成器

点一下按钮看看? 生成一点哲学废话吧~
漫聊编程语言的易用性与Strong Type和Weak Type

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

随着近年来的开源运动, 越来越多的大软件选择使用更加开放的工具链去构建, 这也给了Linux翻身的可能, 随着软件越来越多, 越来越多人把Linux当成了他们的首要的操作系统, 以至于到今天Linux…
这篇文章受密码保护,输入密码才能阅读
好书推荐: Introduction to That Thing

(整活儿系列) 推荐一本书 <<Introduction to That Thing>> 第二版! 这本书是数学没毕业丛书的重要组成部分! 这本书会像知道的人介绍已经知道了的知…
编程语言设计踩坑实录(大佬们绕道)
这个语言我再在上次的Sap语言和什么之前想搞的CN语言的失败教训中中吸取了大量的教训, 同时获得了N个群友以及业界工程师的思路, 最终汇总并尝试弄出来这么一门语言. 希望能帮到下一个想造编程语言的人 …