LCR>>includes: object
LCR>>    self do: [:element | element = object ifTrue: [^ true]].
LCR>>    ^ false
LCR>>

B>boolean includes(Object goodElement)
B>{
B>    ...
B>}
B>

B>Почему в этом коде нет неструктурированной передачи управления, а в Smalltalk есть?

It is useful to distinguish between two kinds of blocks:
1. Those that end with a return expression. We will call these continuation blocks (there is no standard, concise term). For example: [:x :y| ^x+y]
2. Those not ending in a return expression, which we will call simple blocks.

When a simple block completes evaluation, it returns its value (the result of evaluating the last message expression in the block) to the method that sent it the message (the sender). (это понятно — прим. перев.)

When a continuation block completes evaluation it returns its result to the method that activated its home context.

A simple block can be evaluated many times; a continuation block can be evaluated at most once.

b := [ :x | Transcript show: x. ^x ].
b value: 'a'; value: 'b'              "ERRRROR!!!"

SomeClass>>foo
...
a := [... ^1.]
...
b := ... (a value) ... "выражение, содержащего вызов блока с оператором возврата"
...

Methods with full blocks. Checks for methods that contain full blocks
or create a context with the thisContext
keyword. These methods are a place where
inefficiencies can creep in. For example, a
common reason why a full block is created is
because a block assigns a temporary
variable that is not defined inside the block. If
the temporary variable is only used inside
the block, then the definition of the
temporary should be moved inside the block.
The "move to inner scope" refactoring can be
used to correct this.

Refactory.Browser.BlockLintRule>>fullBlocks
    | detector |
    detector := self new.
    detector name: (#MethodWithFullBlocks << #browser >> 'Method with full blocks') asString.
    detector methodBlock: 
            [:context :result | 
            context compiledMethod withAllBlockMethodsDo: 
                    [:method | 
                    method needsHybridFrame
                        ifTrue: [result addClass: context selectedClass selector: context selector]]].
    ^detector

block_with_nonlocal_return = Proc.new { return }
block_with_local_return = lambda { return }

irb(main):001:0> def sample(&block)
irb(main):002:1> block.call
irb(main):003:1> end
=> nil
irb(main):004:0> sample &Proc.new { return }
LocalJumpError: unexpected return
        from (irb):4
        from (irb):2:in `sample'
        from (irb):4
irb(main):005:0> sample &lambda { return }
=> nil
irb(main):006:0>

_>>имхо тоже хороший ответ. емкий и лаконичный

И ведь ни TeX, ни Metafont не помянули. DEC VMS как будто и не существовало... В общем, аффтар — ламер. Не жжот.

W> И ведь ни TeX, ни Metafont не помянули. DEC VMS как будто и не существовало...

Аналогично

W>> И ведь ни TeX, ни Metafont не помянули. DEC VMS как будто и не существовало...
MY>Аналогично
Вот зачем, зачем так явно расписываться в ламеризме?!?

    if the obj is an object then ...(а с просто "а" - будет ошибка!)
    if the obj is a someOtherObject then ...