如何解决“n”在Typed Racket中是什么意思?
示例:
(: 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,但它说找不到符号。
解决方法
不是n
,而是∩
(intersection)。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。