是否可以区分类型化和非类型化的嵌套引用？

发布于 2024-11-18 05:21:22 字数 228 浏览 4 评论 0原文

例如，给定 <@ let x = <@ 1 @>;在 x @> 和 <@ let x = <@@ 1 @@>;在 x @> 中，我可以将两者与 Patterns.Let(_, (Patterns.Quote(_) as q), _) -> 相匹配q 但我无法区分类型化和非类型化 q。

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

羁绊已千年 2024-11-25 05:21:22

有趣的。似乎引文总是以键入的形式存储。

引号内的 <@@ 1 @@> 子表达式的类型始终为 Expr。但是，变量 x 的类型在您的两个引用中有所不同：

match q1 with
| Patterns.Let(v, (Patterns.Quote(_) as q), _) when v.Type = typeof<Expr> -> "untyped"
| Patterns.Let(_, (Patterns.Quote(_) as q), _) -> "typed"
| _ -> "other"

但我不确定如何使用它来区分一般情况下的两种情况。似乎只有查看上下文才能做到这一点（而且可能的上下文太多了......）

Interesting. It seems that quotations are always stored in the typed form.

The type of the <@@ 1 @@> sub-expression inside the quotation is always Expr<int>. However, the type of the variable x differs in your two quotations:

match q1 with
| Patterns.Let(v, (Patterns.Quote(_) as q), _) when v.Type = typeof<Expr> -> "untyped"
| Patterns.Let(_, (Patterns.Quote(_) as q), _) -> "typed"
| _ -> "other"

But I'm not sure how to use this to differentiate between the two cases in general. It seems that you can only do that if you look at the context (and there are just too many possible context...)

回复收藏 0 原文

~没有更多了~