一些关于打字球拍的项目

Question

我正在打字型球拍。为了理解打好的球拍，我需要一些打字的球拍项目。任何人都可以给我一些链接，我可以找到一些类型的球拍源代码。谢谢

Answer 1

Leif可能对此不正确。但作为一个快速回答，Racket本身附带了很多类型的球拍代码。例如，在Ubuntu上，您可以在#lang typed/racket中搜索行/usr/share/racket/pkgs。或者你可以在GitHub上找到它们。 math或images库可能是一个很好的起点。