レッドループ構造はいつ解釈する必要があります

Question

どのような状況では、ループ構造がインタープリタによるレッドの評価を必要としますか？どちらのループ構造でないのですか？

アップデート（2015年4月20日）：以下

私はいくつかの学生に言語をデモするために書いた小さなプログラムです。 2つの関数 'listと' findにforeachループがあります。しかし、foreachループはdoブロックにラップされていなければ実行されません。 foreachループの本体が間接的に指定されていないため、このシナリオは特に元の質問を促したものです。

Model.red

Red [ 
    Title: "Model" 
    Author: "Thomas Royko" 
    Version: 0.0.1 
] 

entry!: make object! [ 
    name: "" 
    quantity: 0 
    notes: "" 
    display: does [ 
     print ["-- " name] 
     print ["-- " quantity] 
     print ["-- " notes newline] 
    ] 
] 

enter: func [ 
    entries value 
    /local quantity notes 
] [ 
    qt: load ask "Enter quantity: " 
    nt: ask "Enter notes: " 
    append entries make entry! copy [ 
     name: value 
     quantity: qt 
     notes: nt 
    ] 
    print "" 
] 

find: func [ 
    entries value 
    /local found entry 
] [ 
    found: false 
    do [ 
     foreach entry entries [ 
      if entry/name = value [ 
       entry/display 
       found: true 
       break 
      ] 
     ] 
    ] 
    if not found [ 
     print ["** No entry with code" value newline] 
    ] 
] 

list: func [ 
    entries 
] [ 
    do [ 
     foreach entry entries [ 
      entry/display 
     ] 
    ] 
] 

finish: func [ 
    entries 
] [ 
    save %inventory.db entries 
    quit 
] 

Console.red

Red [ 
    Title: "Console" 
    Author: "Thomas Royko" 
    Version: 0.0.1 
] 

#include %Bindings.red 
#include %Model.red 

entries: either exists? %inventory.db [ 
    reduce load %inventory.db 
] [ 
    copy [] 
] 

rule: [ 
    (value: "") 
    1 [ 
     ["e" space copy value to end (enter entries value)] | 
     ["f" space copy value to end (find entries value)] | 
     ["l" to end (list entries)] | 
     ["q" to end (finish entries)] | 
     [(print ["** Code not recognized" newline])] 
    ] 
] 

forever [ 
    parse ask "Command: " rule 
] 

Answer 1

それはループ構造に依存せず、途中であなたはループ本体ブロックとを指定します（それが適用されます）、条件ブロック。それらのブロックが文字通りに指定されていないが、間接的に単語を使用している場合、コンパイラはそれらを静的に決定できないため、解釈されます。たとえば：

n: 3 until [print n n = 0] 

は一方で、コンパイル可能です：

body: [print n n = 0] 
n: 3 until body 

ではありません。