Что значит REF в языках программирования?

Question

[koi com]

К такому вопросу меня привело правило из грамматики одного языка, а именно:

<вид>::=BOOL|INT|REF<вид>

Выходит что возможны как просто BOOL, INT но и записи вида REF BOOL/REF INT. Это меня смущает. Может REF говорит о том, что идет описание переменной. Но тогда, по логике правило должно выглядеть так:

<вид>::= REF BOOL | REF INT

Переменная типа BOOL или переменная типа INT.
Жду ваших версий по поводу этого правила.

Answer 1

[Sergey Lerg]

REF - reference, ссылка, указатель.

Comments

[koi com]

Отлично! Как на счет прочитать описание к вопросу?

[Sergey Lerg]

@Koi_jp: сразу прочитал, что не так?

[koi com]

Из правила выходит что верно выражение BOOL и выражение REF BOOL. Вас это не смущает? Причем возможно даже {REF+} BOOL.

[koi com]

или {REF+} INT

[Sergey Lerg]

<вид> может быть BOOL, INT или ссылка на другой <вид>.

Answer 2

[jcmvbkbc]

<вид>::=BOOL|INT|REF<вид>

Выходит что возможны как просто BOOL, INT но и записи вида REF BOOL/REF INT.

Из процитированного вами фрагмента это никак не следует.

Comments

[koi com]

Допустим есть цепочка REF BOOL, выводим
<ВИД> --> REF <ВИД> --> REF BOOL.
Допустим есть BOOL. выводим
<ВИД> --> BOOL.
Вот мои доводы. В ваших же доводах кроме утверждений ничего нет.

[jcmvbkbc]

а, ок, я пропустил <вид> в конце.
Ну что, возможно это как указатели в С -- могут быть переменные типа INT, указатель на INT, указатель на указатель на INT...

[koi com]

Спасибо за наводку. Это я и искал.