Anillc's Blog

expand_more
rss_feed

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

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

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

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

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

已经1202年啦www,新年快乐!

知识共享署名-相同方式共享 4.0 国际许可协议
© 2020 Anillc - Powered By Hexo And Merry