Параметры типа печати в Rascal

Question

Мне интересно, можно ли извлечь тип параметра типа. Например, я хочу, чтобы быть в состоянии сделать что-то вроде:

case list[&T] _: println("list of <&T> type"); 

То, что я ищу, чтобы сделать, это соответствовать различным моделям, которые выглядят одинаково, но может иметь различные типы и использовать определенный тип.

Возможно ли это? Или есть другой способ добиться этого?

Answer 1

Вы ищете typeOf, описанный в the Rascal Tutor. Функция, которая печатает тип аргумента может быть определен следующим образом (не забудьте добавить import Type; в исходный файл Rascal):

void printMyType(&T a) { println("<typeOf(a)>"); } 

Примеры:

rascal>printMyType(3) 
int() 
ok 

rascal>printMyType("abc") 
str() 
ok