-
0 votesanswersviews
矢量叉积中的类型不匹配
我需要在打字/球拍中做矢量交叉产品 . 以下代码在没有类型注释的 #lang racket 中正常工作 . reference #lang typed/racket (: cross-product (-> VectorTop VectorTop VectorTop)) (define (cross-product X Y) (: len Integer) (define l... -
1 votesanswersviews
具有休息参数的类型球拍中的Zip函数
我正在努力解决一个将任意数量的列表压缩在一起的函数的语法 . 我目前有: (define (zip . [lsts : (Listof Any) *]) (apply map (inst list Any) lsts)) 评估时会导致以下错误: 错误:struct:exn:fail:syntax / Applications / Racket v6.6 / collectcts / racket...