Racket 关于打字球拍的一些方案

Racket 关于打字球拍的一些方案,racket,project,typed-racket,Racket,Project,Typed Racket,我正在学习打字球拍。为了更好地理解打字球拍,我需要一些打字球拍项目。任何人都可以给我一些链接,在那里我可以找到一些键入的球拍源代码。谢谢Leif可能是对的,因为这样做不合适。但作为一个快速的回答,有很多类型的racket代码随racket本身一起提供。例如,在Ubuntu上,您可以在/usr/share/racket/pkgs中搜索行#lang typed/racket。或者你可以在GitHub上找到它们。math或images库可能是一个很好的起点 这个问题实在太宽泛了。如果您通过电子邮件发送

我正在学习打字球拍。为了更好地理解打字球拍,我需要一些打字球拍项目。任何人都可以给我一些链接,在那里我可以找到一些键入的球拍源代码。谢谢

Leif可能是对的,因为这样做不合适。但作为一个快速的回答,有很多类型的racket代码随racket本身一起提供。例如,在Ubuntu上,您可以在
/usr/share/racket/pkgs
中搜索行
#lang typed/racket
。或者你可以在GitHub上找到它们。
math
images
库可能是一个很好的起点

这个问题实在太宽泛了。如果您通过电子邮件发送邮件列表,您可能会得到良好的反馈: