“n”在Typed Racket中是什么意思？

Question

n 在错误消息的类型级别显示，它是什么？

示例：

(: trick (All (t u) ((U t (Listof u))  -> (Listof u)))) 
(define (trick x)
    (cond
      [(list? x) x]
     )      
)

此 n 类型的错误：

Type Checker: type mismatch
  expected: (Listof u)
  given: (U (Listof u) (∩ (Pairof Any (Listof Any)) t)) in: x

我尝试用 n 编写类型签名，并在 Dr. Racket 中使用 go-to-definition，但它说找不到符号。

Answer 1

不是n，而是∩ (intersection)。

Thanks @willness 和 @molbdnilo。