Eliksir (programski jezik)

Eliksir (engl. Elixir, izgovor : Eliksir) je funkcionalan jezik. Njegovim tvorcem smatra se Jose Valim, koji je ovaj jezik dizajnirao 2011. godine. Ovaj jezik je nedavno postao izuzetno interesantan, naročito Rubi i Erlang programerima. Joe Armstrong, jedan od pronalazača Erlanga, podržao je i pohvalio ovaj novonastali jezik. Pri kreiranja programskog jezika Eliksir veliki uticaj u smislu sintakse imao je jezik Rubi. U Eliksiru ne postoje objekti i klase, već se sve zasniva na funkcijama i rekurziji. Takođe, Eliksir preuzima mnoge koncepte iz programskih jezika kao što su Clojure, Haskell, i Python. Ovaj programski jezik dizajniran je za izgradnju skalabilnih i lako održivih aplikacija, jednostavne je i moderne sintakse. Mnogo zanimljivih projekata u vezi sa robotikom je rađeno u Elixiru zbog njegove funkcionalne prirode, izuzetnog rada u distrubiranim sistemima i tolerancije na greške, koja je na jako visokom nivou. Takođe se uspešno koristi u razvoju veba i u domenu ugradnog softvera. Jezik Eliksir radi uz podršku Erlang virtualne mašine koja je karakteristična po minimalnom kašnjenju i zavidnoj toleranciji na greške.

Kompatibilnost sa Erlang-om

uredi

Eliksir radi na Erlangovoj virtualnoj mašini. Erlang je jezik koji se koristi na Eriksonovim telekomunikaconim sistemima i jako je skalabilan i siguran. Jezik Erlang i Eliksir dele iste bajt kodove, što omogućava Eliksiru da pozove bilo koju Erlang funkciju.

iex> :erlang.localtime
{{2013, 10, 22}, {0, 14, 29}}

Poziv erlang.localtime je poziv Erlang funkcije. U Erlangu, funkcija će biti pokrenuta

 erlang: localtime ()

.

Eliksir programer može takođe da koristi bilo koju Erlangovu biblioteku.[1][2]

Eliksir interaktivna konzola iex (engl. Elixir's interactive shell) je glavni modul za interakciju sa programskim jezikom Eliksir. Ono što je komanda irb u programskom jeziku Rubi to je iex u Eliksiru. Iex podržava komandu h() koja pruža pomoć programeru i daje pristup dokumentaciji. Da bismo pristupili Enum modulu ukucaćemo h(Enum) i dobiti potrebne informacije, a ukoliko želimo da pristupimo funkciji Enum modula potrebno je ukucati h(Enum.nazivfunkcije).[2] [3]

Karakteristike jezika

uredi

Skalabilnost

uredi

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 contents
end

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]

Tipovi u programskom jeziku Eliksir

uredi

Osnovni tipovi u programskom jeziku Eliksir su :

  • celobrojni tip
  • realni tip
  • logički tip
  • atomi
  • niske
  • liste
  • torke
iex> 1 # celobrojni tip
iex> 0x1F # celobrojni tip
iex> 1.0 # realni tip
iex> true # logički tip
iex> :atom # atom 
iex> "elixir" # niska
iex> [1, 2, 3] # lista
iex> {1, 2, 3} # torka

Posmatrajmo sledeći kod :

iex> 1 + 2
3
iex> 5 * 5
25
iex> 10 / 2
5.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:

s
iex> div(10, 2)
5
iex> div 10, 2
5
iex> rem 10, 3
1

Primetimo da zagrade nisu potrebne da bi se pozvala funkcija.

Realan tip

uredi

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.0
1.0
iex> 1.0e-10
1.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)
4
iex> trunc(3.58)
3

Logički tipovi

uredi

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

iex> true
true
iex> true == false
false

Atomi

uredi

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

iex> :pas
:pas
iex> :pas == :mačka
false

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

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

Niske(Stringovi)

uredi

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"
pepa
prase
:ok

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

iex> String.length("zdravo")
5

Povezane liste

uredi

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

uredi

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

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

Osnovni operatori

uredi

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 true
true
iex> 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 :

# or
iex> 1 || true
1
iex> false || 11
11

# and
iex> nil && 13
nil
iex> true && 17
17

# !
iex> !true
false
iex> !1
false
iex> !nil
true

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

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

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

iex> 1 == 1.0
true
iex> 1 === 1.0
false

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

iex> 1 < :atom
true

Operator jednakosti

uredi

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

iex> x = 1
1
iex> x
1
iex> 1 = x
1
iex> 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
:student
iex> 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]

Reference

uredi
  1. ^ Elixir school https://elixirschool.com/. Приступљено 05. 12. 2016.  Недостаје или је празан параметар |title= (помоћ)
  2. ^ а б https://www.sitepoint.com/elixir-love-child-ruby-erlang/.  |first1= захтева |last1= у Authors list (помоћ); Недостаје или је празан параметар |title= (помоћ); Спољашња веза у |work= (помоћ); Недостаје или је празан параметар |url= (помоћ);
  3. ^ „Архивирана копија”. Elixir-lang. Архивирано из оригинала 01. 12. 2016. г. Приступљено 05. 12. 2016. 
  4. ^ „Архивирана копија”. Elixir-lang. Архивирано из оригинала 18. 04. 2012. г. Приступљено 05. 12. 2016. 
  5. ^ Elixir-lang http://elixir-lang.org/getting-started/basic-types.html. Приступљено 05. 12. 2016.  Недостаје или је празан параметар |title= (помоћ)
  6. ^ Elixir-lang http://elixir-lang.org/getting-started/basic-operators.html. Приступљено 05. 12. 2016.  Недостаје или је празан параметар |title= (помоћ)
  7. ^ Elixir-lang http://elixir-lang.org/getting-started/pattern-matching.html. Приступљено 05. 12. 2016.  Недостаје или је празан параметар |title= (помоћ)