Erlang (gjuhë programimi)

Erlang
ParadigmsMulti-paradigm: concurrent, functional
Designed by
  • Joe Armstrong
  • Robert Virding
  • Mike Williams
DeveloperEricsson
First appeared1986 (1986)
Stable release
29.0.3[1] Edit this on Wikidata / 2 korrik 2026 (2 korrik 2026)
Typing disciplineDynamic, strong
LicenseApache License 2.0
Filename extensions.erl, .hrl
Websitewww.erlang.org
Major implementations
Erlang
Influenced by
Lisp, PLEX,[2] Prolog, Smalltalk
Influenced
Akka, Clojure,[3] Dart, Elixir, F#, Opa, Oz, Reia, Rust,[4] Scala, Go
  • Stampa:Wikibooks inline

Erlang është një gjuhë programimi e nivelit të lartë funksionale, me qëllim të përgjithshëm, konkurrente dhe me funksione të nivelit të lartë, si dhe një sistem ekzekutimi i mbledhur nga mbeturinat .Termi Erlang përdoret në mënyrë të ndërsjellë me Erlang/OTP, ose Platforma e Telekomit të Hapur (OTP), e cila përbëhet nga sistemi i ekzekutimit Erlang, disa komponentë të gatshëm për përdorim (OTP) kryesisht të shkruar në Erlang, dhe një sërë parimesh projektimi për programet Erlang.[5]

Sistemi i kohës së ekzekutimit Erlang është projektuar për sisteme me këto karakteristika:

  • Të distribuara
  • Tolerant ndaj gabimeve
  • Në kohë reale të butë
  • Aplikacione shumë të disponibile dhe pa ndërprerje
  • Ndërrim i menjëhershëm, ku kodi mund të ndryshohet pa ndaluar një sistem.[6]

Gjuha programuese Erlang ka përputhje të modeleve të të dhënave dhe programim funksional. Nëngrupi sekuencial i gjuhës Erlang mbështet vlerësimin e menjëhershëm, caktimin e vetëm dhe tipizim dinamike.

Një aplikacion normal Erlang është ndërtuar nga qindra procese të vogla Erlang.

Fillimisht ishte një softuer i patentuar brenda Ericsson, i zhvilluar nga Joe Armstrong, Robert Virding dhe Mike Williams në vitin 1986, por u publikua si softuer i lirë dhe me burim të hapur në vitin 1998.[7][8] Erlang/OTP mbështetet dhe mirëmbahet nga njësia e produkteve Open Telecom Platform (OTP) në Ericsson.

Histori

Emri Erlang,i atribuar Bjarne Däcker, është supozuar nga ata që punojnë në çelsat telefonikë (për të cilët është projektuar gjuha) të jetë një referencë për matematikanin dhe inxhinierin danez Agner Krarup Erlang dhe një shkurtim rrokjesh i "Ericsson Language".[9][10] Erlang u projektua me qëllim përmirësimin e zhvillimit të aplikacioneve telefonike.[11] Versioni fillestar i Erlang u implementua në Prolog dhe u ndikua nga gjuha programuese "PLEX" e përdorur në centralet e mëparshme Ericsson. Deri në vitin 1988, Erlang kishte provuar se ishte i përshtatshëm për prototipizmin e centraleve telefonike, por interpretuesi i Prolog ishte shumë i ngadaltë. Një grup brenda Ericsson vlerësoi se do të duhej të ishte 40 herë më i shpejtë për të qenë i përshtatshëm për përdorim në prodhim. Në vitin 1992, filloi puna në makinën virtuale BEAM (VM), e cila kompilon Erlang në C duke përdorur një përzierje të kodit të kompiluar në mënyrë native dhe kodit të filetuar për të arritur një ekuilibër midis performancës dhe hapësirës së diskut.[12] Sipas bashkë-shpikësit Joe Armstrong, gjuha kaloi nga një produkt laboratorik në zbatime reale pas rënies së centralit telefonik AXE të gjeneratës së ardhshme të quajtur AXE-N në vitin 1995. Si rezultat, Erlang u zgjodh për centralin e ardhshëm të Modalitetit Asinkron të Transferimit (ATM) AXD .[13]

Robert Virding dhe Joe Armstrong, 2013

Në shkurt të vitit 1998, Ericsson Radio Systems ndaloi përdorimin e brendshëm të Erlang për produkte të reja, duke përmendur një preferencë për gjuhët jo pronësore.[14] Ndalimi bëri që Armstrong dhe të tjerët të bënin plane për t'u larguar nga Ericsson.[15] Në mars të vitit 1998, Ericsson njoftoi ndërfaqen AXD301,[16]e cila përmbante mbi një milion rreshta të Erlang dhe raportohej se arrinte një disponueshmëri të lartë prej nëntë “9”-ash.[17] Në dhjetor të vitit 1998, zbatimi i Erlang u bë me burim të hapur dhe shumica e ekipit të Erlang dha dorëheqjen për të formuar një kompani të re, Bluetail AB.[18]Ericsson përfundimisht e zbuti ndalimin dhe e ripunësoi Armstrong-in në vitin 2004.[19]

Në vitin 2006, sistemit të kohës së ekzekutimit dhe VM-së iu shtua mbështetja e multiprocesimit simetrik vendas.

Proceset

Aplikacionet Erlang janë ndërtuar nga procese shumë të lehta Erlang në sistemin e ekzekutimit Erlang. Sistemi i ekzekutimit Erlang siguron izolim të rreptë të proceseve (kjo përfshin mbledhjen e të dhënave dhe mbeturinave, të ndara individualisht për secilin proces Erlang) dhe komunikim transparent midis proceseve (shih transparenca e vendndodhjes) në nyje të ndryshme Erlang (në hostë të ndryshëm).

Joe Armstrong, bashkëshpikësi i Erlang, përmblodhi parimet e proceseve në disertacionin e tij të doktoraturës :[20]

  • Çdo gjë është një proces.
  • Proceset janë të izoluara fort.
  • Krijimi dhe shkatërrimi i proceseve është një operacion i lehtë.
  • Kalimi i mesazheve është e vetmja mënyrë që proceset të bashkëveprojnë.
  • Proceset kanë emra unikë.
  • Nëse e dini emrin e një procesi, mund t'i dërgoni një mesazh.
  • Proceset nuk ndajnë burime.
  • Trajtimi i gabimeve nuk është lokal.
  • Proceset bëjnë atë që duhet të bëjnë ose dështojnë.

Joe Armstrong tha në një intervistë me Rackspace në vitin 2013: "Nëse Java është ' shkruaj një herë, ekzekuto kudo ', atëherë Erlang është 'shkruaj një herë, ekzekuto përgjithmonë'."[21]

Përdorimi

Në vitin 2014, Ericsson raportoi se Erlang po përdorej në nyjet e saj mbështetëse, dhe në rrjetet mobile GPRS, 3G dhe LTE në mbarë botën, si dhe nga Nortel dhe Deutsche Telekom.[22]

Erlang përdoret në RabbitMQ. Siç e shprehu Tim Bray, drejtor i Teknologjive Web në Sun Microsystems, në fjalimin e tij kryesor në Konventën e Burimit të Hapur O'Reilly (OSCON) në korrik 2008:   Nëse dikush do të vinte tek unë dhe do të më ofronte shumë para për të ndërtuar një sistem të madh për menaxhimin e mesazheve që duhet të jetë gjithmonë në funksion dhe nuk guxon të bjerë nga puna për vite me radhë, unë pa hezitim do të zgjidhja Erlang për ta ndërtuar. Erlang është gjuha programuese që përdoret për të koduar WhatsApp[23]

Është gjithashtu gjuha e zgjedhur për Ejabberd - një server mesazhesh XMPP.

Elixir është një gjuhë programuese që kompilohet në kod bajtesh BEAM (nëpërmjet Erlang Abstract Format).[24]

Që kur u publikua si burim i hapur, Erlang është përhapur përtej telekomunikacionit, duke u vendosur në tregje të tjera vertikale si FinTech, lojërat, kujdesi shëndetësor, automobilistike, Interneti i Gjërave dhe blockchain. Përveç WhatsApp, ka edhe kompani të tjera të listuara si histori suksesi të Erlang, duke përfshirë Vocalink (një kompani e MasterCard), Goldman Sachs, Nintendo, AdRoll, Grindr, BT Mobile, Samsung, OpenX dhe SITA.[25][26]

Shembuj të programimit funksional

Faktorial

Një algoritëm faktorial i zbatuar në Erlang:

-module(fact). % This is the file 'fact.erl', the module and the filename must match
-export([fac/1]). % This exports the function 'fac' of arity 1 (1 parameter, no type, no name)

fac(0) -> 1; % If 0, then return 1, otherwise (note the semicolon ; meaning 'else')
fac(N) when N > 0, is_integer(N) -> N * fac(N-1).
% Recursively determine, then return the result
% (note the period . meaning 'endif' or 'function end')
%% This function will crash if anything other than a nonnegative integer is given.
%% It illustrates the "Let it crash" philosophy of Erlang.

Sekuenca Fibonacci

Një algoritëm rekursiv i bishtit që prodhon sekuencën Fibonacci:

%% The module declaration must match the file name "series.erl" 
-module(series).

%% The export statement contains a list of all those functions that form
%% the module's public API. In this case, this module exposes a single
%% function called fib that takes 1 argument (I.E. has an arity of 1)
%% The general syntax for -export is a list containing the name and
%% arity of each public function
-export([fib/1]).

%% ---------------------------------------------------------------------
%% Public API
%% ---------------------------------------------------------------------

%% Handle cases in which fib/1 receives specific values
%% The order in which these function signatures are declared is a vital
%% part of this module's functionality

%% If fib/1 receives a negative number, then return the atom err_neg_val
%% Normally, such defensive coding is discouraged due to Erlang's 'Let
%% it Crash' philosophy, but here the result would be an infinite loop.
fib(N) when N < 0 -> err_neg_val;

%% If fib/1 is passed precisely the integer 0, then return 0
fib(0) -> 0;

%% For all other values, call the private function fib_int/3 to perform
%% the calculation
fib(N) -> fib_int(N-1, 0, 1).

%% ---------------------------------------------------------------------
%% Private API
%% ---------------------------------------------------------------------

%% If fib_int/3 receives 0 as its first argument, then we're done, so
%% return the value in argument B. The second argument is denoted _ to
%% disregard its value.
fib_int(0, _, B) -> B;

%% For all other argument combinations, recursively call fib_int/3
%% where each call does the following:
%% - decrement counter N
%% - pass the third argument as the new second argument
%% - pass the sum of the second and third arguments as the new
%%  third argument
fib_int(N, A, B) -> fib_int(N-1, B, A+B).

Heqja e komenteve e bënë një program shumë më të shkurtër.

-module(series).
-export([fib/1]).

fib(N) when N < 0 -> err_neg_val;
fib(0) -> 0;
fib(N) -> fib_int(N-1, 0, 1).

fib_int(0, _, B) -> B;
fib_int(N, A, B) -> fib_int(N-1, B, A+B).

Renditje e shpejtë

Renditje e shpejtë në Erlang, duke përdorur përfitim listash:[27]

%% qsort:qsort(List)
%% Sort a list of items
-module(qsort).   % This is the file 'qsort.erl'
-export([qsort/1]). % A function 'qsort' with 1 parameter is exported (no type, no name)

qsort([]) -> []; % If the list [] is empty, return an empty list (nothing to sort)
qsort([Pivot|Rest]) ->
  % Compose recursively a list with 'Front' for all elements that should be before 'Pivot'
  % then 'Pivot' then 'Back' for all elements that should be after 'Pivot'
  qsort([Front || Front <- Rest, Front < Pivot]) ++ 
  [Pivot] ++
  qsort([Back || Back <- Rest, Back >= Pivot]).

Shembulli i mësipërm thërret në mënyrë rekursive funksionin qsort derisa të mos mbetet asgjë për t’u renditur. Shprehja [Front || Front <- Rest, Front < Pivot] është një përftim listash (list comprehension), që do të thotë: “Ndërto një listë elementësh Front të tillë që Front është element i Rest dhe Front është më i vogël se Pivot.” ++ është operatori i bashkimit të listave.

Një funksion krahasimi mund të përdoret për struktura më të ndërlikuara për hir të lexueshmërisë.

Kodi i mëposhtëm do të rendiste listat sipas gjatësisë:

% This is file 'listsort.erl' (the compiler is made this way)
-module(listsort).
% Export 'by_length' with 1 parameter (don't care about the type and name)
-export([by_length/1]).

by_length(Lists) -> % Use 'qsort/2' and provides an anonymous function as a parameter
  qsort(Lists, fun(A,B) -> length(A) < length(B) end).

qsort([], _)-> []; % If list is empty, return an empty list (ignore the second parameter)
qsort([Pivot|Rest], Smaller) ->
  % Partition list with 'Smaller' elements in front of 'Pivot' and not-'Smaller' elements
  % after 'Pivot' and sort the sublists.
  qsort([X || X <- Rest, Smaller(X,Pivot)], Smaller)
  ++ [Pivot] ++
  qsort([Y || Y <- Rest, not(Smaller(Y, Pivot))], Smaller).

Një Pivot merret nga parametri i parë i dhënë qsort() dhe pjesa tjetër e Lists quhet Rest . Vini re se shprehja

[X || X <- Rest, Smaller(X,Pivot)]

nuk është ndryshe në formë nga

[Front || Front <- Rest, Front < Pivot]

(në shembullin e mëparshëm) përveç përdorimit të një funksioni krahasimi në pjesën e fundit, duke thënë "Ndërtoni një listë elementësh X të tillë që X të jetë anëtar i Rest, dhe Smaller është true", me Smaller të përcaktuar më parë si

fun(A,B) -> length(A) < length(B) end

Funksioni anonim emërtohet Smaller në listën e parametrave të përkufizimit të dytë të qsort në mënyrë që të mund të referencohet me atë emër brenda atij funksioni. Ai nuk emërtohet në përkufizimin e parë të qsort, i cili merret me rastin bazë të një liste bosh dhe kështu nuk ka nevojë për këtë funksion, e lëre më për një emër për të.

Llojet e të dhënave

Erlang ka tetë lloje të dhënash primitive:

Numra të plotë

Numrat e plotë shkruhen si sekuenca shifrash dhjetore; për shembull, 12, 12375 dhe -23427 janë numra të plotë. Aritmetika e numrave të plotë është e saktë dhe kufizohet vetëm nga memoria e disponueshme në makinë. (Kjo quhet aritmetikë me saktësi arbitrare.)

Atome

Atomet përdoren brenda një programi për të përfaqësuar vlera të dallueshme. Ato shkruhen si vargje karakteresh alfanumerike të njëpasnjëshme, ku karakteri i parë është me shkronjë të vogël. Atomet mund të përmbajnë çdo karakter nëse janë të mbyllura brenda thonjëzave të vetme, dhe ekziston një konventë escape që lejon përdorimin e çdo karakteri brenda një atomi.

Atomet nuk i nënshtrohen mbledhjes së mbeturinave, prandaj duhen përdorur me kujdes, veçanërisht kur krijohen në mënyrë dinamike.

Numra me presje lundruese (Floats)

Numrat me presje lundruese përdorin përfaqësimin 64-bit të IEEE 754.

Referencat

Referencat janë simbole globalisht unike, vetia e vetme e të cilave është se ato mund të krahasohen për barazi. Ato krijohen duke vlerësuar primitiven e Erlang-ut make_ref().

Binarë

Një binar është një sekuencë bajtësh. Binarët ofrojnë një mënyrë të kursyeshme për ruajtjen e të dhënave binare. Ekzistojnë primitive Erlang për kompozimin dhe zbërthimin e binarëve, si dhe për hyrje/dalje efikase të tyre.

Pids

Pid është shkurtim për process identifier – një Pid krijohet nga primitivi spawn(...). Pids-at janë referenca drejt proceseve Erlang

Portet

Portet përdoren për të komunikuar me botën e jashtme. Ato krijohen me funksionin e integruar open_port. Mesazhet mund të dërgohen dhe të merren nga portet, por këto mesazhe duhet të ndjekin të ashtuquajturin “protokoll portash”.

Fun-et

Fun-et janë mbyllje funksionesh (function closures). Ato krijohen me shprehje të formës:

fun(...) -> ... end.

Dhe tre lloje të të dhënave të përbëra:

Tuples

Tuple-et janë kontejnerë për një numër të caktuar të llojeve të të dhënave në Erlang. Sintaksa {D1, D2, ..., Dn} paraqet një tuple, argumentet e së cilës janë D1, D2, ... Dn. Argumentet mund të jenë lloje të të dhënave primitive ose të përbëra.

Çdo element i një tuple-i mund të aksesohet në kohë konstante.

Listat

Listat janë kontejnerë për një numër të ndryshueshëm të llojeve të të dhënave në Erlang. Sintaksa [Dh | Dt] paraqet një listë ku elementi i parë është Dh, ndërsa elementët e mbetur përbëjnë listën Dt.

Sintaksa [] paraqet një listë bosh.

Sintaksa [D1, D2, ..., Dn] është formë e shkurtuar për:

[D1 | [D2 | ... | [Dn | []]]].

Elementi i parë i një liste mund të aksesohet në kohë konstante.

Elementi i parë quhet koka e listës (head).

Pjesa tjetër e listës pasi hiqet koka quhet bishti i listës (tail).

Hartat (Maps)

Hartat përmbajnë një numër të ndryshueshëm të çifteve çelës–vlerë.

Sintaksa është:

#{Key1 => Value1, ..., KeyN => ValueN}.

Janë dhënë dy forma të sheqerit sintaksor :

Strings (Vargjet)

Vargjet shkruhen si lista karakteresh të vendosura brenda thonjëzave të dyfishta. Kjo është vetëm sheqer sintaksor, që do të thotë se në fakt ato përfaqësojnë një listë me vlerat e kodeve Unicode (numra të plotë) për secilin karakter të vargut.

Për shembull, vargu "cat" është formë e shkurtuar për:

[99, 97, 116].

Records (Regjistrat)

Regjistrat ofrojnë një mënyrë të përshtatshme për të shoqëruar një etiketë (tag) me secilin element brenda një tuple-i.

Kjo lejon që një element të referohet me emër dhe jo sipas pozicionit.

Një parakompilues (pre-compiler) merr përkufizimin e rekordit dhe e zëvendëson atë me referencën përkatëse të tuple-it.

Stili i kodimit "Lëre të rrëzohet"

Erlang është projektuar me një mekanizëm që e bën të lehtë për proceset e jashtme të monitorojnë rrëzimet (ose dështimet e harduerit), në vend të një mekanizmi brenda procesit si trajtimi i përjashtimeve që përdoret në shumë gjuhë të tjera programimi. Rrëzimet raportohen si çdo mesazh tjetër.Që është e vetmja mënyrë se si proceset mund të komunikojnë me njëri-tjetrin, dhe nënproceset mund të krijohen me kosto shumë të ulët (shih më poshtë). Filozofia “le të rrëzohet” preferon që një proces të rifillohet plotësisht, në vend që të përpiqet të rikuperohet nga një dështim serioz.Edhe pse përsëri kërkohet trajtimi i gabimeve, kjo filozofi rezulton në më pak kod të dedikuar për programim mbrojtës, pasi kodi për trajtimin e gabimeve është zakonisht shumë kontekstual dhe specifik.

Pemët mbikëqyrëse

Një aplikacion tipik Erlang shkruhet në formën e një peme mbikëqyrësi.Kjo arkitekturë bazohet në një hierarki procesesh, në të cilën procesi i nivelit të lartë njihet si “mbikëqyrës”. Mbikëqyrësi pastaj krijon disa procese fëmijë që veprojnë ose si punëtorë, ose si mbikëqyrës të niveleve më të ulëta.Hierarki të tilla mund të ekzistojnë në thellësi të ndryshme dhe kanë dëshmuar se ofrojnë një mjedis shumë të shkallëzueshëm dhe tolerant ndaj gabimeve, brenda të cilit mund të zbatohet funksionaliteti i aplikacionit.

Brenda një peme mbikëqyrësi, të gjitha proceset mbikëqyrëse janë përgjegjëse për menaxhimin e ciklit jetësor të proceseve të tyre fëmijë, dhe kjo përfshin trajtimin e situatave në të cilat këto procese fëmijë rrëzohen.Çdo proces mund të bëhet mbikëqyrës duke krijuar së pari një proces fëmijë, dhe më pas duke thirrur erlang:monitor/2 në atë proces.Nëse procesi i monitoruar më pas rrëzohet, mbikëqyrësi do të marrë një mesazh që përmban një tuple, anëtari i parë i të cilit është atomi 'DOWN'.Mbikëqyrësi është përgjegjës së pari për të dëgjuar mesazhe të tilla dhe për të ndërmarrë veprimet e duhura për të korrigjuar gjendjen e gabimit.

Orientimi i njëkohshmërisë dhe shpërndarjes

Forca kryesore e Erlang është mbështetja për konkurencën. Ai ka një grup të vogël, por të fuqishëm primitivësh për të krijuar procese dhe për të komunikuar midis tyre.Erlang është konceptualisht i ngjashëm me gjuhën Occam, megjithëse riformulon idetë e Komunikimit të Proceseve Sekuenciale (CSP) në një kornizë funksionale dhe përdor kalimin asinkron të mesazheve. Proceset janë mjeti kryesor për të strukturuar një aplikacion Erlang.Ato nuk janë as procese të sistemit operativ dhe as fije, por procese të lehta që planifikohen nga BEAM.Ashtu si proceset e sistemit operativ (por ndryshe nga fijet e sistemit operativ), ato nuk ndajnë gjendje me njëra-tjetrën. Shpenzimi minimal i vlerësuar për secilin është 300 fjalë. Kështu, shumë procese mund të krijohen pa ulur performancën. Në vitin 2005, një test me 20 milionë procese u krye me sukses me Erlang 64-bit në një makinë me 16 GB memorie me akses të rastësishëm (RAM; gjithsej 800 bajt/proces).Erlang ka mbështetur shumëpërpunimin simetrik që nga lëshimi R11B në maj 2006.

Ndërsa fijet kanë nevojë për mbështetje nga biblioteka të jashtme në shumicën e gjuhëve,Erlang ofron veçori të nivelit gjuhësor për të krijuar dhe menaxhuar procese me qëllim thjeshtimin e programimit të njëkohshëm.Megjithëse e gjithë bashkëkohësia është e qartë në Erlang,proceset komunikojnë duke përdorur kalimin e mesazheve në vend të variablave të përbashkëta,gjë që eliminon nevojën për bllokime të qarta (një skemë bllokimi përdoret ende brenda makinës virtuale).

Komunikimi ndër-proces funksionon përmes një sistemi të mesazheve asinkrone me parimin “shared-nothing”:çdo proces ka një “kuti postare”, një radhë mesazhesh që janë dërguar nga procese të tjera dhe që ende nuk janë konsumuar.Një proces përdor primitivin receive për të marrë mesazhet që përputhen me modelet e dëshiruara. Një rutinë e trajtimit të mesazheve i teston mesazhet me radhë kundrejt secilit model, derisa njëri prej tyre të përputhet.Kur mesazhi konsumohet dhe hiqet nga kutia postare, procesi rifillon ekzekutimin.Një mesazh mund të përfshijë çdo strukturë Erlang, duke përfshirë primitivat (numra të plotë, numra devijues, karaktere, atome), tuple, lista dhe funksione.

Shembulli i kodit më poshtë tregon mbështetjen e integruar për proceset e shpërndara:

 % Create a process and invoke the function web:start_server(Port, MaxConnections)
 ServerProcess = spawn(web, start_server, [Port, MaxConnections]),

 % Create a remote process and invoke the function
 % web:start_server(Port, MaxConnections) on machine RemoteNode
 RemoteProcess = spawn(RemoteNode, web, start_server, [Port, MaxConnections]),

 % Send a message to ServerProcess (asynchronously). The message consists of a tuple
 % with the atom "pause" and the number "10".
 ServerProcess ! {pause, 10},

 % Receive messages sent to this process
 receive
     a_message -> do_something;
     {data, DataContent} -> handle(DataContent);
     {hello, Text} -> io:format("Got hello message: ~s", [Text]);
     {goodbye, Text} -> io:format("Got goodbye message: ~s", [Text])
 end.

Siç tregon shembulli, proceset mund të krijohen në nyje të largëta dhe komunikimi me to është transparent, në kuptimin që komunikimi me proceset e largëta funksionon saktësisht njësoj si komunikimi me proceset lokale.

Bashkëkohësia mbështet metodën kryesore të trajtimit të gabimeve në Erlang.Kur një proces rrëzohet, ai del në mënyrë të rregullt dhe i dërgon një mesazh procesit kontrollues, i cili më pas mund të ndërmarrë veprime, si për shembull nisjen e një procesi të ri që merr përsipër detyrën e procesit të vjetër.

Zbatimi

Implementimi zyrtar i referencës së Erlang përdor BEAM. BEAM është përfshirë në shpërndarjen zyrtare të Erlang, të quajtur Erlang/OTP. BEAM ekzekuton bytecode i cili konvertohet në kod të filetuar në kohën e ngarkimit. Ai gjithashtu përfshin një përpilues kodi vendas në shumicën e platformave, të zhvilluar nga Projekti Erlang me Performancë të Lartë (HiPE) në Universitetin Uppsala. Që nga tetori i vitit 2001, sistemi HiPE është integruar plotësisht në sistemin Erlang/OTP me burim të hapur të Ericsson. Ai gjithashtu mbështet interpretimin, direkt nga kodi burimor nëpërmjet pemës abstrakte të sintaksës, nëpërmjet skriptit që nga versioni R11B-5 i Erlang.

Ngarkimi i kodit të nxehtë dhe modulet

Erlang mbështet Përditësimin Dinamik të Softuerit në nivel gjuhe. Për ta zbatuar këtë, kodi ngarkohet dhe menaxhohet si njësi “moduli”; moduli është një njësi kompilimi. Sistemi mund të mbajë dy versione të një moduli në memorie në të njëjtën kohë, dhe proceset mund të ekzekutojnë kod njëkohësisht nga secili. Versionet referohen si versioni “i ri” dhe “i vjetër”. Një proces nuk do të kalojë në versionin e ri derisa të bëjë një thirrje të jashtme në modulin e tij.

Një shembull i mekanizmit të ngarkimit të kodit të nxehtë:

 %% A process whose only job is to keep a counter.
 %% First version
 -module(counter).
 -export([start/0, codeswitch/1]).

 start() -> loop(0).

 loop(Sum) ->
  receive
    {increment, Count} ->
     loop(Sum+Count);
    {counter, Pid} ->
     Pid ! {counter, Sum},
     loop(Sum);
    code_switch ->
     ?MODULE:codeswitch(Sum)
     % Force the use of 'codeswitch/1' from the latest MODULE version
  end.

 codeswitch(Sum) -> loop(Sum).

Për versionin e dytë, shtojmë mundësinë për ta rivendosur numërimin në zero.

 %% Second version
 -module(counter).
 -export([start/0, codeswitch/1]).

 start() -> loop(0).

 loop(Sum) ->
  receive
    {increment, Count} ->
     loop(Sum+Count);
    reset ->
     loop(0);
    {counter, Pid} ->
     Pid ! {counter, Sum},
     loop(Sum);
    code_switch ->
     ?MODULE:codeswitch(Sum)
  end.

 codeswitch(Sum) -> loop(Sum).

Vetëm kur merr një mesazh që përbëhet nga atomi code_switch, cikli do të ekzekutojë një thirrje të jashtme te codeswitch/1 (?MODULE është një makro e paraprocesorit për modulin aktual). Nëse ka një version të ri të modulit të numëruesit në memorie, atëherë do të thirret funksioni i tij codeswitch/1.Praktika e të pasurit një pike hyrëse specifike në një version të ri i lejon programuesit të transformojë gjendjen në atë që nevojitet në versionin më të ri.Në shembull, gjendja mbahet si një numër i plotë.

Në praktikë, sistemet ndërtohen duke përdorur parimet e projektimit nga Platforma e Telekomit të Hapur, gjë që çon në dizajne më të përditësueshme të kodit.Ngarkimi i suksesshëm i kodit të nxehtë është i vështirë.Kodi duhet të shkruhet me kujdes për të shfrytëzuar lehtësitë e Erlang-ut.

Shpërndarja

Në vitin 1998, Ericsson publikoi Erlang si softuer falas dhe me burim të hapur për të siguruar pavarësinë e tij nga një shitës i vetëm dhe për të rritur ndërgjegjësimin për gjuhën. Erlang, së bashku me bibliotekat dhe bazën e të dhënave të shpërndarë në kohë reale Mnesia, formon koleksionin OTP të bibliotekave. Ericsson dhe disa kompani të tjera e mbështesin Erlang komercialisht.

Që nga publikimi me kod të hapur, Erlang është përdorur nga disa firma në të gjithë botën, duke përfshirë Nortel dhe Deutsche Telekom.[28] Edhe pse Erlang u krijua për të mbushur një vend të caktuar dhe ka mbetur një gjuhë e panjohur për pjesën më të madhe të ekzistencës së tij, popullariteti i tij po rritet për shkak të kërkesës për shërbime të njëkohshme.[29][30] Erlang ka gjetur njëfarë përdorimi në vendosjen e serverave masivë të lojërave online me role (MMORPG) për shumë lojtarë.[31]

Shih edhe

  • Elixir – një gjuhë programimi funksionale, konkurrente dhe e përgjithshme që funksionon mbi BEAM.
  • Luerl – Lua në BEAM, e projektuar dhe implementuar nga një prej krijuesve të Erlang-ut.
  • Lisp Flavored Erlang (LFE) – një gjuhë programimi e bazuar në Lisp që funksionon mbi BEAM.
  • Mix – mjet ndërtimi (build tool).
  • Phoenix – kornizë (framework) për zhvillimin e aplikacioneve web.
  • Gleam – një gjuhë programimi e nivelit të lartë, funksionale, konkurrente dhe e përgjithshme, që kompilohet në Erlang.

Referime

  1. "Release 29.0.3". 2 korrik 2026. Marrë më 3 korrik 2026. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)
  2. Conferences, N. D. C. (4 qershor 2014). "Joe Armstrong - Functional Programming the Long Road to Enlightenment: a Historical and Personal Narrative". Vimeo. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)
  3. "Clojure: Lisp meets Java, with a side of Erlang - O'Reilly Radar". radar.oreilly.com. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)
  4. "Influences - The Rust Reference". The Rust Reference. Marrë më 2023-04-18. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)
  5. "Erlang – Introduction". erlang.org (në anglisht). Arkivuar nga origjinali më 8 shtator 2019. Marrë më 6 shkurt 2017.
  6. Armstrong, Joe; Däcker, Bjarne; Lindgren, Thomas; Millroth, Håkan. "Open-source Erlang – White Paper" (në anglisht). Arkivuar nga origjinali më 25 tetor 2011. Marrë më 31 korrik 2011.
  7. "How tech giants spread open source programming love - CIO.com" (në anglisht). 8 janar 2016. Arkivuar nga origjinali më 22 shkurt 2019. Marrë më 5 shtator 2016.
  8. "Erlang/OTP Released as Open Source, 1998-12-08" (në anglisht). Arkivuar nga origjinali më 9 tetor 1999.
  9. "Erlang, the mathematician?" (në anglisht). shkurt 1999.
  10. "Free Online Dictionary of Computing: Erlang" (në anglisht).
  11. "History of Erlang". Erlang.org (në anglisht).
  12. Armstrong, Joe (gusht 1997). "The development of Erlang". Proceedings of the second ACM SIGPLAN international conference on Functional programming (në anglisht). Vëll. 32. fq. 196–203. doi:10.1145/258948.258967. ISBN 0897919181. {{cite book}}: Parametri |work= është injoruar (Ndihmë!)
  13. Gabim citimi: Etiketë <ref> e pavlefshme; asnjë tekst nuk u dha për refs e quajtura "hopl"
  14. Däcker, Bjarne (tetor 2000). Concurrent Functional Programming for Telecommunications: A Case Study of Technology Introduction (PDF) (Tezë) (në anglisht). Royal Institute of Technology. fq. 37.
  15. "question about Erlang's future" (në anglisht). 6 korrik 2010.
  16. Armstrong, Joe (2007). History of Erlang. HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (në anglisht). ISBN 978-1-59593-766-7. {{cite conference}}: Parametri i panjohur |Language= është injoruar (sugjerohet |language=) (Ndihmë!)
  17. "Concurrency Oriented Programming in Erlang" (PDF) (në anglisht). 9 nëntor 2002.
  18. Armstrong, Joe (2007). History of Erlang. HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. ISBN 978-1-59593-766-7. {{cite conference}}: Mungon ose është bosh parametri |language= (Ndihmë!); Parametri i panjohur |Language= është injoruar (sugjerohet |language=) (Ndihmë!)
  19. "question about Erlang's future" (në anglisht). 6 korrik 2010.
  20. Armstrong, Joe (20 nëntor 2003). Making reliable distributed systems in the presence of software errors (Tezë) (në anglisht). Stockholm, Sweden: The Royal Institute of Technology.
  21. McGreggor, Duncan (26 mars 2013). Rackspace takes a look at the Erlang programming language for distributed computing (Video) (në anglisht). Rackspace Studios, SFO. Arkivuar nga origjinali më 20 prill 2020. Marrë më 24 prill 2019.
  22. "Ericsson". Ericsson.com (në anglisht). 4 dhjetor 2014. Marrë më 7 prill 2018.
  23. "Inside Erlang, The Rare Programming Language Behind WhatsApp's Success". fastcompany.com (në anglisht). 21 shkurt 2014. Marrë më 12 nëntor 2019.
  24. "Erlang/Elixir Syntax: A Crash Course". elixir-lang.github.com (në anglisht). Marrë më 2022-10-10.
  25. "Which companies are using Erlang, and why? #MyTopdogStatus". erlang-solutions.com (në anglisht). 11 shtator 2019. Marrë më 15 mars 2020.
  26. "Which new companies are using Erlang and Elixir? #MyTopdogStatus". erlang-solutions.com (në anglisht). 2 mars 2020. Marrë më 2020-06-24.
  27. "Erlang – List Comprehensions". erlang.org (në anglisht).
  28. "Who uses Erlang for product development?". Frequently asked questions about Erlang (në anglisht). Marrë më 16 korrik 2007. The largest user of Erlang is (surprise!) Ericsson. Ericsson use it to write software used in telecommunications systems. Many dozens of projects have used it, a particularly large one is the extremely scalable AXD301 ATM switch. Other commercial users listed as part of the FAQ include: Nortel, Deutsche Flugsicherung (the German national air traffic control organisation), and T-Mobile.
  29. "Programming Erlang" (në anglisht). Marrë më 13 dhjetor 2008. Virtually all language use shared state concurrency. This is very difficult and leads to terrible problems when you handle failure and scale up the system...Some pretty fast-moving startups in the financial world have latched onto Erlang; for example, the Swedish www.kreditor.se.
  30. "Erlang, the next Java" (në anglisht). Arkivuar nga origjinali më 11 tetor 2007. Marrë më 8 tetor 2008. I do not believe that other languages can catch up with Erlang anytime soon. It will be easy for them to add language features to be like Erlang. It will take a long time for them to build such a high-quality VM and the mature libraries for concurrency and reliability. So, Erlang is poised for success. If you want to build a multicore application in the next few years, you should look at Erlang.
  31. Clarke, Gavin (5 shkurt 2011). "Battlestar Galactica vets needed for online roleplay". Music and Media (në anglisht). The Reg. Marrë më 8 shkurt 2011.

 

Lidhje të jashtme

Stampa:Programming languages [[Kategoria:Gjuhë programimi]] [[Kategoria:Ericsson]] [[Kategoria:Faqe me adresa nga Wayback Machine që përdorin stampën e arkivës së rrjetit]] [[Kategoria:Faqe me përkthime të pashqyrtuara]]