Как можно определить тип переменной в opa?

Я изучаю Opa (opalang.org). Я пытаюсь выяснить, как можно определить тип переменной. Это может быть, например. функция

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

Документация по API содержит описание OpaValue.typeof(a), но Я не могу понять, как его использовать.


types functional-programming opa
person JanD    schedule 31.08.2012    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Вот краткий пример:

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

Однако я удивлен, что вы хотите манипулировать типами Opa. Каково ваше использование?

person Fred    schedule 31.08.2012
comment
Я привык возиться с новым для меня языком, и иногда полезно знать тип чего-то. В этом случае у меня было соответствие строки (HttpRequest.get_method()) { case {some: method}: etc (from doc.opalang.org/manual/Hello--web-services) и хотел узнать, что означает метод some:. (особенно некоторые :) - person JanD; 31.08.2012
comment
@JanD, {some: method} - это синтаксис Opa для шаблона, который сопоставляет запись с одним полем с именем some и связывает значение, связанное с этим полем, с переменной с именем method. Например: match ({some: 1}) { case {some: x}: x } должно оцениваться как 1. Надеюсь, пример синтаксически в порядке. - person Artyom Shalkhakov; 05.09.2012