之前看到了 TypeScript 类型体操天花板，用类型运算写一个 Lisp 解释器 这篇文章，感到非常震撼。这两天在研究一些文本解析的问题突然想起了这篇文章，然后自己也想糊一个。

众所周知，TypeScript 的类型系统是图灵完备的，于是我们可以用 ts 的类型系统来做到一些奇妙的事情，比如上面那篇用类型系统实现的 lisp 解释器。而我想要做一个更通用的东西。

这是上一篇 Nix, Nixpkgs, NixOS 从入门到入土 的一部分，由于篇幅过长，将此部分单独分出来。

nix 是个非常棒的工具，这篇文章将会讲解如何入门 nix。

抓着 2021 年的尾巴（其实发布的时候已经 2022 了），写下了这篇年末总结。为什么会想写这篇年末总结了呢，因为想写所以学着别人写了（

已经1202年啦www，新年快乐！