class HELLO_WORLD
   -- Se tutuin ohjelma... Näin merkitään kommentit Eiffelissä!
   -- Usein Eiffelillä ohjelmoidessa laitetaan vain yksi luokka
   -- yhteen tiedostoon ja kerrotaan kääntäjälle, mikä on juuriluokka,
   -- josta suoritus alkaa.
creation make -- Millä rutiinilla olio luodaan, jos ei spesifisesti määrätä
              -- jotakin toista luontioperaatiota.

feature  -- Mitä ominaisuuksia luokalla on. Sekä rutiinit että tietoalkiot.

     make is
          do
             io.put_string("Hello World.") -- io-luokka hoitaa io-toiminnot.
          end

end -- HELLO_WORLD  Ohjelman suoritus päättyy juuriluokan luontioperaation
    -- suorituksen päättymiseen.

nimi(argumentit): TYYPPI is -- otsikko ja palautettavan arvon tyyppi
require                     -- (valinnainen) ehtolauseke argumentin arvon
                            -- sopivuuden testaamiseksi, esim. arg >= 0
local                       -- esitellään muuttujat
     luku: INTEGER
do
                           -- itse rutiini
     Result := mikäliearvo -- funktion palauttama arvo
end                        -- rutiini loppuu ja arvo palautetaan kutsujalle
                           -- vasta end-sanaan tultaessa. rutiinia ei voi
                           -- keskeyttää.

from       -- from-sanan alle laitetaan toistolauseen alustukseen
           -- tarvittava koodi, esim. muuttujien alkuarvot.
invariant  -- (valinnainen) Ehtolauseke, jonka on oltava voimassa jokaisen
           -- kierroksen alussa, jotta silmukka toimisi oikein (erityisen
           -- tärkeä ensimmäisellä ja viimeisellä kierroksella)
variant    -- (valinnainen) on päinvastainen laskutoimitus kuin se mikä
           -- suoritetaan jokaisella kierroksella; kokonaislukuarvoinen
           -- laskutoimitus, jonka tuloksen täytyy olla positiivinen.
           -- Varmistaa, että suorituskertoja on äärellinen määrä.
until      -- lopetusehto
loop
           -- Tähän väliin itse silmukka.
end