typed-racket
-
当在类型化 Racket 中预先不知道元数时,实例化可变多态过程的 "rest" 参数的类型
-
如何在类型球拍中指定 void 函数?
-
在类型球拍中应用构建结构
-
使用合约定义 Typed Racket 结构
-
类型球拍中的贪婪模式匹配
-
Typed Racket 将 Any 转换为 All (a)
-
如何将 Any 类型的值转换为 Real?
-
为什么在无类型模块中使用来自 typed/racket 模块的 class 会产生糟糕的性能?
-
我如何在 Typed Racket 中使用 define/contract (或类似的东西)?
-
如何将 `VectorTop` 的出现类型与向量的元素类型结合起来?
-
带有剩余参数的类型化球拍中的 Zip 函数
-
如何在 Typed Racket 中连接数据库?
-
如何 "promise" 一个值将是某种类型
-
case 语句中缺少标识符类型
-
for/list 中的球拍类型注释使用查询中(数据库调用)
-
在 Typed Racket 中柯里化
-
类型球拍优化器
-
向量叉积中的类型不匹配
-
将节点插入树中 - Racket
-
检查整数列表是否升序