写的时候听的歌: 我很早之前就知道了 Algebraic Effect 这么一个东西，但是长久以来一直都没有了解过他的理论，最近把 …

Deriving equations always have been a fascinating thing, due to c …

En tant qu’un étudiant qui a exposé une fois, au logique, je suis ̷

Bien ça fait longtemps que je n’ai pas mis à jour mon blog.. Et h ̷

Aujourd’hui les systèmes de type fait l’objet de notre discussion

急眼了，写一篇   事情的起因是这样的，我在我的 Windows 平台上写了一个 Rust 项目，然后我需要把 …

套盾：本文用到的英文术语皆是本人实在不知道如何翻译、觉得翻译过来意思实在是不对、或者干脆是觉得翻译过来理解起来比不翻译更麻烦（例如 …

套盾：本文用到的英文术语皆是本人实在不知道如何翻译、觉得翻译过来意思实在是不对、或者干脆是觉得翻译过来理解起来比不翻译更麻烦（例如 …

本文中只包含了最核心的功能代码，一些工具函数等则不会列出，如果想要了解完整的实现，请前往 GitHub   鉴 …

[google-translator]   Il y a beaucoup de livres sur la …