SPF: невозврат. Ссылка вперёд. Бесконечный словестный цикл.

dvuugl

Невозврат, по сути GOTO в ранее определённое слово. Получилось так:

Код:

: A R> DROP ." slovo A" ;
: B  A ." slovo B" ;
B
результат:
> slovo A

Может быть есть примитив заменяющий R> DROP, типа DROPR ? Конечно можно написать, но вдруг есть уже стандарт?

Cсылка вперёд. Классика рекомендует:

Код:

VARIABLE *B
: A   *B @ EXECUTE  ;
: B ." slovo B" ;  ' B *B !
A
результат:
> slovo B

Как-то неуклюже. Может есть спецсредства?

Всё вместе, бесконечный цикл без переполнения стеков вроде бы получился (A вызывает B, B вызывает A):

Код:

0 VALUE *B
: A R> DROP ." A" *B EXECUTE ;
: B R> DROP ." B"  A ; ' B TO *B
A (или B)
результат:
печатает AB (или ВА) бесконечно.

В общем, как бы всё это более изящно..
Для чего нужно: соответствие блок-схемам типа "ДРАКОН". Здесь слово из которого не возвращаются есть "ветвь". Ссылка вперёд - переход на другую ветвь. Всё вместе - "веточный цикл".

Mihail

dvuugl писал(а):

Может быть есть примитив заменяющий R> DROP, типа DROPR ?

Есть RDROP смотри src\compiler\spf_inline.f

Цитата:

Cсылка вперёд. Классика рекомендует:

Код:

VARIABLE *B
: A   *B @ EXECUTE  ;
: B ." slovo B" ;  ' B *B !
A
результат:
> slovo B

Как-то неуклюже. Может есть спецсредства?

Код:

 VECT A

: B ." slovo B" ;
' B TO A
A

Цитата:

Всё вместе, бесконечный цикл без переполнения стеков вроде бы получился (A вызывает B, B вызывает A):

Код:

0 VALUE *B
: A R> DROP ." A" *B EXECUTE ;
: B R> DROP ." B"  A ; ' B TO *B
A (или B)

Код:

0 VALUE *B
: A ." A" *B >R ;
: B ." B" ['] A >R ; ' B TO *B
B

ygrek

Цитата:

Cсылка вперёд. [...]
Как-то неуклюже. Может есть спецсредства?

Код:

VECT B
: A  B  ; 
: (B) ." slovo B" ;  
' (B) TO B
A

R> DROP эквивалентно RDROP

Гость

Mihail писал(а):

Код:

 VECT A

: B ." slovo B" ;
' B TO A
A

или так

Код:

DEFER A

: B ." slovo B" ;
' B IS A
A

P.S. через DEFER и IS работает в Win32Forth

Гость

А как можно в коде spf
ввести условный переход на метку

Пример

Код:

 : name ( flag -- )
  LABEL @0
             IFBRANCH @1
             ...
             BRANCH @2
  LABEL @1
             ...
  LABEL @2
             ...
            BRANCH @0
 ;
 

P.S. Мне именно так и нужно:)

profiT

Можно. Реализаций можно предъявить десятки только с ходу.

Но зачем?.. Можно обосновать необходимость применения именно такого способа?..

Гость

profiT писал(а):

Можно. Реализаций можно предъявить десятки только с ходу.

Но зачем?.. Можно обосновать необходимость применения именно такого способа?..

Это нужно для выполнения промежуточного кода прошедшего через LCC + front-end
(от MPE ) в spf. Углублятся в LCC как использовал Mihail нет еще необходимости
или править front-end для приведения к структурному коду.

P.S. Реализацию условного и неусловного GOTO можно сделать свою,
но хочется иметь наиболее адекватную для spf. Промежуточный код будет
оптимизироваться по заданным критериям ( подобие ручного распределения
ресурсов проца в его модели по словам и выбора нужной модели рантайма)
Промежуточный код - это в той или иной степени почти Фортовский код.
В оптимизаторе планирую задействовать распределенный парсер.

SPF: невозврат. Ссылка вперёд. Бесконечный словестный цикл.

Кто сейчас на конференции