Eliksir (programski jezik)

Eliksir kod izvršava se u nitima koje su izolovane i međusobno razmenjuju informacije putem poruka.

current_process = self()  spawn_link(fn -> send current_process, {:msg, "zdravo svete"}end)receive do  {:msg, contents} -> IO.puts contentsend

Nije neuobičajno da se stotine hiljada procesa obrađuju paralelno u istoj mašini. Dobra izolacija procesa omogućava da ih sakupljač otpadaka lako ukloni, što utiče na efikasnost izvršavanja i omogućava korišćenje svih resursa (vertikalno skaliranje).

Procesi su takođe u stanju da komuniciraju sa drugim procesima koji rade na različitim mašinama u istoj mreži. Ovo omogućava programeru da sprovodi rad na više čvorova istovremeno (horizontalno skaliranje).^[4]

Osnovni tipovi u programskom jeziku Eliksir su :

• celobrojni tip
• realni tip
• logički tip
• atomi
• niske
• liste
• torke

iex> 1 # celobrojni tipiex> 0x1F # celobrojni tipiex> 1.0 # realni tipiex> true # logički tipiex> :atom # atom iex> "elixir" # niskaiex> [1, 2, 3] # listaiex> {1, 2, 3} # torka

Posmatrajmo sledeći kod :

iex> 1 + 23iex> 5 * 525iex> 10 / 25.0

Primetimo da 10/2 vraća realan broj 5,0 umesto celog broja 5. Ovo je očekivano jer u Eliksiru operator / uvek vraća float (realan broj). Ako želimo da dobijemo ceo broj ili ostatak pri deljenju, možemo pozvati funkcije div ili rem:

siex> div(10, 2)5iex> div 10, 25iex> rem 10, 31

Primetimo da zagrade nisu potrebne da bi se pozvala funkcija.

Realan (float) tip zahteva tačku iza koje se navodi najmanje jedna cifra, a takođe podržava i slovo e kao eksponent pomoću kojeg se predstavlja realan broj:

iex> 1.01.0iex> 1.0e-101.0e-10

Realni tip u Eliksiru zauzima 64-bita i dvostruke je tačnosti.Funkcija round() se koristi da bi se dobio najbliži ceo broj u datom floatu, a funkcija trunc() da se dobije celobrojni deo float podatka.

iex> round(3.58)4iex> trunc(3.58)3

Logički tip podataka u Eliksiru moze imati vrednost tačno (True) ili netačno (False)

iex> truetrueiex> true == falsefalse

Atomi su konstante čije je ime ujedno i njihova vrednost :

iex> :pas:pasiex> :pas == :mačkafalse

U logičkom tipu podataka ključne reči true i false su u stvari atomi :

iex> true == :truetrueiex> is_atom(false)trueiex> is_boolean(:false)true

Stringovi u Eliksiru se pišu između dvostrukih navodnika.

iex> "papagaj""papagaj"

Stringovi se mogu štampati pomoću funkcije IO.puts iz IO modula.

iex> IO.puts "pepa\nprase"pepaprase:ok

Dužinu niske određujemo pomoću funkcije String.length().

iex> String.length("zdravo")5

Liste se u programskom jeziku Eliksir predstavljaju uz pomoć zagrada [ ]. Članovi liste mogu biti bilo kog tipa.

iex> [1, 2, true, 3][1, 2, true, 3]

Dve liste mogu da se sabiraju i oduzimaju korišćenjem ++ i -- operatora:

iex> [1, 2, 3] ++ [4, 5, 6][1, 2, 3, 4, 5, 6]iex> [1, true, 2, false, 3, true] -- [true, false][1, 2, 3, true]

Torke se definišu uz pomoć vitičastih zagrada { }.^[5]

iex> {:ok, "Marina"}{:ok, "Marina"}iex> tuple_size {:ok, "Marina"}2

U prethodnom delu, videli smo da Eliksir podržava aritmetičke operatore +, -, *, /, kao i funkcije div i rem koje služe za količnik i ostatak pri deljenju kod celobrojnih tipova.

Stringovi se nadovezuju uz pomoć operatora <>:

iex> "papa" <> "gaj""papagaj"

Eliksir takođe obezbeđuje tri logička operatora : or, and i not.Ovi operatori očekuju logičku vrednost (true ili false) kao njihov prvi argument.

iex> true and truetrueiex> false or is_atom(:primer)true

Zadavanje vrednosti koje nisu logičkog tipa će izbaciti izuzetak.

iex> 1 and true** (ArgumentError) argument error: 1

Pored ovih logičkih operatora, Eliksir koristi i ||, && i ! koji se mogu primeniti na bilo koje tipove. Za ove operatore, sve vrednosti osim false i nil će biti true :

# oriex> 1 || true1iex> false || 1111# andiex> nil && 13niliex> true && 1717# !iex> !truefalseiex> !1falseiex> !niltrue

Eliksir takođe koristi operatore poređenja ==, !=, ===, !==, <=, >=, <, i > koji vraćaju rezultat logičkog tipa (true i false).

iex> 1 == 1trueiex> 1 != 2trueiex> 1 < 2true

Razlika između == i === je u tome što je drugi strožiji pri poređenju celog i realnog tipa.

iex> 1 == 1.0trueiex> 1 === 1.0false

U Eliksiru možemo da poredimo dva različita tipa podataka:^[6]

iex> 1 < :atomtrue

U ovom poglavlju ćemo pokazati da je = operator jednakosti u Eliksiru i kako ga koristimo u strukturi podataka.

iex> x = 11iex> x1iex> 1 = x1iex> 2 = x** (MatchError) no match of right hand side value: 1

Primetimo da je 1 = x validan izraz, a to važi jer su leva i desna strana jednake 1. Promenljiva se može dodeliti samo sa leve strane, a kada se promenljiva nađe sa desne strane, operator = proverava jednakost. Kada jednakost nije ispunjena ispisaće se 'MatchError' .

iex> 1 = unknown** (CompileError) iex:1: undefined function unknown/0

Pošto promenljiva unknown nije prethodno definisana,Eliksir će pokušati da pozove funkciju pod nazivom unknown , ali takva funkcija ne postoji.

Operator jednakosti se ne koristi samo za proveru jednakosti nad jednostavnim promenljivim, nego je koristan i za razlaganje složenijih struktura podataka. Na primer, možemo ga upotrebiti i nad torkama.

iex> {a, b, c} = {:student, "Paja", 42}{:hello, "world", 42}iex> a:studentiex> b"Paja"

Operator jednakosti će izbaciti grešku ako strane nisu uporedive, na primer, ako su torke različite veličine:

iex> {a, b, c} = {:hello, "world"}** (MatchError) no match of right hand side value: {:hello, "world"}

I takođe ako poredimo različite tipove podataka:^[7]

iex> {a, b, c} = [:hello, "world", 42]** (MatchError) no match of right hand side value: [:hello, "world", 42]