pl-theorist - 为设计、编码和审查提供编程语言理论指导

将编程语言理论应用于领域建模、代码设计、重构、审查、审计、测试、讲解以及 CI 或 Shell 加固。