研究

人造语言综合教程

近日,人造语言吧又遭遇了一次爆吧。中文互联网内人造语言资料依然匮乏,爆吧后前辈留下的旧教程大多已经佚失。同时,圈内又不断有新人涌入,生涩而朴素的造语填充了人造语言吧的首页。这样的情形下,急需一部完整的人造语言教程来为新人们提供指导。

因此,一直以来便有编写造语教程想法的我,终于决定正式开启这个大坑。尽管讽刺的是,教程作者自己却没能完成过一门完整的造语,但既然当下没有更合适的人能承担这个任务,那不如由至少在造语圈内活动了有一段时间的我来承担。

继续阅读»

2021 年的 Arch 安装完全笔记:从选择镜像到个性化

时隔多年终于回到技术栏目,第一篇博客竟然又是环境配置(笑)。

这次我们要在实机上安装 Arch Linux 了。实际上这也不是我第一次在实机上装 Arch,但标题中强调的“2021 年”,意味着这次肯定要有与之前不一样的东西。这次安装的目标是:在 Wayland 下基于平铺式窗口管理器 Sway 构建一个基本可用的桌面环境。

继续阅读»

在 Typescript 中模拟高阶类型

高阶类型Higher Kinded Types)对我这个 PL 爱好者来说,几乎是必备的语言特性了。Typescript 是我主要使用的语言之一,它虽然不直接支持高阶类型,但利用它本身已经比较强大的类型系统,是可以模拟出高阶类型的。

继续阅读»

Idris 中类型安全的 printf

从寒假开始,断断续续地玩了两个月 Idris。最开始让我决定开 Idris 这个坑的还是 这篇文章 中的这句话:

Idris 是极少几种可以实现强类型 printf 的语言。

那么下面就开始利用依赖类型构造一个强类型的 printf 函数吧!

继续阅读»

用 LxRunOffline 安装 Arch Linux

前段时间重装系统之后我就一直在 WSL 内开发。Ubuntu 因为我不喜欢所以直接放弃(???),所以就一直在用 openSUSE。然而现在越用越感觉 zypper 的下载源坑爹……于是在 GitHub 上一阵搜索之后,我终于找到了这个神器:LxRunOffline。于是我毅然卸载了 openSUSE,开始尝试安装 Arch Linux……

2018-07-25 修改,原文见 GitHub

继续阅读»