Turnstile：构建可扩展复用的 racket 类型系统框架

Turnstile：构建可扩展复用的 racket 类型系统框架

项目介绍

Turnstile 是一个基于 Racket 的框架，它使得创建可扩展且可重用的类型化（#lang）领域特定语言（DSL）成为可能，正如纯 #langs 的方式一样。该框架尤其适合于原型设计新型类型系统特性，并以模块化的方式进行。Turnstile 支持利用宏来实现类型系统，从而为 Racket 生态带来了强大的类型化编程能力。

项目快速启动

为了迅速开始使用 Turnstile，确保你的系统已安装 Racket v7.0 或更高版本。以下提供两种安装方法：

安装选项 1：通过 Racket 包管理器

raco pkg install --auto turnstile

安装选项 2：手动克隆及安装

首先，从 GitHub 克隆仓库：

git clone https://github.com/stchang/macrotypes.git
cd macrotypes
raco pkg install --auto macrotypes-lib/ turnstile-lib/

如果你想同时安装例子和测试套件，但不通过包服务器，则执行：

raco pkg install --auto rackunit-macrotypes-lib/ turnstile-example/ turnstile-test/

运行测试套件：

raco test --drdr -p turnstile-test

应用案例和最佳实践

Turnstile 在设计新的类型系统原型时非常有用。比如，你可以通过定义自己的类型检查宏来扩展语言，而不需深入到编译器内部。以下是一个简化的示例，展示如何开始定义一个新的类型检查宏：

(define-syntax-rule (define-type-name type-definer)
  ; 这里是实现细节，例如定义一个新的类型并关联相应的语法构造
)

(define-type-name my-int integer?)

对于更复杂的应用，如创建带有证明助手的可扩展语言，可以参考Turnstile在POPL 2020中发表的论文和相关代码库，特别是在 Cur 上的工作。

典型生态项目

Turnstile 通过其核心API支持多样化的应用场景，比如 macrotypes-example, rackunit-macrotypes-lib, 和 macrotypes-test 提供了额外的例子和测试，展示了不同类型系统的实现与测试方法。这些项目不仅示范了如何使用Turnstile的基础功能，还展示了如何构建健壮和富有表现力的类型系统模块，是学习和实践Turnstile的最佳实例。

---

这个简介为你提供了开始使用Turnstile的基本步骤和一些应用思路，深入探索Turnstile的功能和潜力将让你在构建高度定制化的类型系统方面获得极大的灵活性和控制力。