计划写成一个关于依值类型、函数式编程、人工智能、量子芯片和脑机接口的不软不硬的科幻。
不软在于我希望不引入太过离谱的特性，希望整体给人一种未来真的可能实现的感觉。
不硬在于我计科功底不扎实，没有能力呈现较为严谨的内容，因此也可能有很多设想一眼不能实现。
- Watch and Star me!
- 点开 PDF 即可阅读
$\LaTeX$
目前只有中文版，
English version is current not avaliable.
您可以帮我
- 在 Issues 中提供意见
- 通过 Pull Request 修复设定 Bug
- 人名地名尽量使用变量形式，便于修改