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

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)。

and .