io.put_string_32 ("[
 Hello!
 ¡Hola!
 Bonjour!
 こんにちは!
 Здравствуйте!
 Γειά σου!
 ]")

Unicode output in console

feature -- Access
 ...
invariant
 all_items_valid: ∀ x: items ¦ x.is_valid
 at_least_one_marked: ∃ x: items ¦ x.is_marked
end

Assertions: class invariants with symbolic notation

values := << 1, 2, 4, 8>>
 -- Sum of (index * values [index]).
across
 values as i 
from 
 sum := 0 
loop
 sum := sum + i.cursor_index * i.item
end

Sum using across loop

rating := locale.plural_translation_in_context
 ("1ドル star", "1ドル stars", "example.context", n)
...
rating: READABLE_STRING_32
 -- Translated message.
locale: I18N_LOCALE
 -- Currently selected locale with translations.
 do ... end

Internationalization

class DINING_PHILOSOPHER
...
feature -- Basic operations
 eat (left, right: separate FORK)
 -- Race-free access to the forks `left` and `right`.
 do
 left.use
 right.use
 end
end

Concurrency with SCOOP

feature -- Access
 balance: INTEGER -- Current balance in dollars.
feature -- Element change
 withdraw (amount: INTEGER) -- Remove `amount` dollars.
 require
 positive: amount> 0
 not_too_big: amount <= balance do balance := balance - amount ensure increased: balance = old balance - amount end

Bank account example

run
 -- Execute tasks from `pool`.
 do
 from until
 not attached retrieved_task (pool) as task
 loop
 separate task as t do
 t.call
 end
 end
 end

Running a pool of tasks

class REFEREE:
 race_start.publish (create {DATE_TIME}.make_now_utc)
class RACE_CONTROL:
 race_start: EVENT_TYPE [DATE_TIME]
class SPRINTER:
 race_start.subscribe (agent run_from_now)
 run_from_now (t: DATE_TIME)
 -- Record `t` as starting time and get running.
 do
 start_time := t
 run
 end

Event-based programming with agents