如何确定 opa 中变量的类型？答案

【问题标题】：How can one determine the type of a variable in opa?如何确定 opa 中变量的类型？
【发布时间】：2012-08-31 16:23:57
【问题描述】：

我正在学习 Opa (opalang.org)。我试图找出如何确定变量的类型。这可能是例如一个函数

typeof a // in javascript, this returns the type of a

API 文档包含 OpaValue.typeof(a) 的 description，但我不知道如何使用它。

【问题讨论】：

【解决方案1】：

这是一个简短的例子：

int hello = 42
hello_type = OpaValue.typeof(hello)
Log.info("Hello type:", "{hello_type}")

但是我很惊讶你想要操纵 Opa 类型。你的用途是什么？

【讨论】：

我习惯于摆弄一种对我来说是新的语言，有时了解某些事物的类型很有用。在这种情况下，我有行匹配 (HttpRequest.get_method()) { case {some: method}: etc (来自doc.opalang.org/manual/Hello--web-services) 并想找出 some: method 的含义。（尤其是一些：）
@JanD, {some: method} 是 Opa 的模式语法，它将记录与名为 some 的字段匹配，并将与该字段关联的值绑定到名为 method 的变量。例如：match ({some: 1}) { case {some: x}: x } 应该评估为 1。希望该示例在语法上是可以的。