Jazyk Chapel II - Prvé kroky

24.8.2024 01:51 | Přečteno: 1299× | Code Snippety | poslední úprava: 24.8.2024 01:52

V minulom dieli seriálu o HPCS jazyku Chapel, sme si prešli inštaláciu. Po inštalácii odporúčam vybrať si nejaký editor. Za mňa najbezproblémovejší bol (neo)vim (u mňa konkrétne varianta VIMu https://nvchad.com/ ). Treba teda switchnuť na Vim / Neovim prípadne Emacs (VSCode ako editor pre Chapel neodporúčam, tam je totiž našepkávanie a type hinting polofunkčný).
Dnes si teda pozrieme, niektoré bežné vlastnosti jazyka, ktorý vznikol ako vedlajší produkt iniciatívy DARPA High Productivity Computing Systems, ktorá mala za ciel zvýšiť produktivitu superpočítačov do roku 2010. Spolu s ním vznikli aj jazyky ako Fortress (od Sun Microsystems / dnes Oracle) a X10 (od IBM), ktoré sú nemenej zaujímavé. Ale nepredbiehajme. Na začiatok dnešného dielu sa zameriame na polia a domény. Už práca s poľami nám ukáže, že Chapel je jazyk doslova z inej galaxie.

Vidieť že vývojári neurobili len ďalší z rady klonov mainstreamových jazykov ale naozaj premýšľali nad tým ako programátorom zjednodušiť život.

Pozn: Pre porovnanie jednoduchosti zápisu uvediem pár príkladov aj v imperatívnom JS a funkcionálnom F#.

Polia

Už len taká drobnosť: Máme k dispozícii skutočné viac-rozmerné polia a u nich si vieme stanoviť rozsahy, takže polia môžeme indexovať od 0, 1, 3.14 alebo -150. Všetky bežné jazyky, ktoré majú pôvod v C, alebo su ním inšpirované (napr. C++, JS, C#, Rust, Java, Python, F#) indexujú polia vždy od 0, tí čo ale skúšali jazyky z inej rodiny ako C...Jazyky ako napr Fortran, Pascal, julia, Modula, Algol, Basic istotne poznajú aj možnosť definovať si rozsah poľa, aj možnosť definovať si viac-dimenzionálne polia, sktorými sa inak pracuje omnoho pohodlnejšie ako s C-čkoidným poľom polí.

Indexovanie začínajúce hodnotou 0

Pre porovnanie su najprv uvedieme príklad v JS a potom v jazyku Chapel.

JS:

var arr = [1, 2, 3];

console.log("arr[0]", arr[0]); // vypíše 1 kedže indexovanie je od 0
console.log("arr[3]", arr[3]); // vypíše undefined kedže sme mimo rozsah
console.log("arr", arr); // vypíšeme si celé pole

Chapel:

var arr:[{0..2}] int = 1..3; // literal 1..3 nam urcuje rozsah (range 1 .. 3 ktory môžeme priradiť do poľa)

writeln("arr[0]", arr[0]); // vypíše 1 kedže indexovanie je od 0
writeln("arr[3]", arr[2]); // vypíše 0 keďže sme mimo rozsah
writeln("arr", arr); // vypíšeme si celé pole

Ak náš index smeruje mimo rozsah, pole vráti defaultnú hodnotu pre daný typ položky: napríklad 0 pre celočíselný typ "int" (NA TOTO POZOR!!!). Toto je ďalšia zaujímavá vlastnosť jazyka. Polia sa inicializujú na defaultnú hodnotu a dokonca ju vracajú aj tam kde sme nič nealokovali. V mainstreamových jazykoch ako C++, Java, C# môže byť v alokovanej pamati prakticky čokoľvek. Funkcionalne jazyky majú na kontainery ako Array, List, Seq, Set špeciálne knižničné funkcie ako Array.init Array.create ktoré umožňujú inicializovať pole aj s defaultnou hodnotou. Chapel ale nič také nepotrebuje, proste ak chcem všetkým položkám poľa nastaviť nejakú hodnotu, urobím to takto:

var arr:[{1..3}] int;

writeln(arr); // 0 0 0

arr = 3.14; // všetky položky pola majú hodnotu 3.14
arr = arr * arr; // všetky položky pola majú druhú mocninu 3.14
arr = 0..2; // arr[1] má hodnotu 0, arr[2] má hodnotu 1, arr[3] má hodnotu 2

proc sqr(n) {
    return n * n;
}

arr = sqr(arr); // na všetky položky pola sa fcia sqr

writeln(arr); // 0, 1, 4

takže zápis v jazyku chapel:

arr = sqr(arr);

by sme v JS museli zapísať takto:

arr = arr.map(x => sqr(x));

a v F# takto:

let arr = arr |> Array.map(sqr); // pozn: v F# som použil shadowing

Ako sme si už ukázali Chapel je dosť hi-level jazyk, a aj viac-dimenzionálne polia sú priamo súčasťou špecifikácie jazyka, nemusíme to "hackovať" cez pole polí ani na to mať sadu špeciálnych modulov ako v F# (F# má len kolekcie Array2D a Array3D. Chapel vie vytvoriť aj 4, 5 a aj viac-rozmerné pole) Jednoducho chapel na to ide intuitívne, výhoda je, že takýto hi level kód si vie kompilátor dobre zoptimalizovať. Vidieť, že Chapel má korene v starom dobrom fortrane. Uvedieme si príklad poľa, začínajúceho indexom jedna a končiace indexom 10.

Indexovanie od 1 - príklad v Chapel:

var example_domain = {1..10};
var example_array: [my_domain] int64 = 1..10;

Riadok 1 - Doména:

Na prvom riadku vidíme zvláštny typ - doménu príklad: {1..10}, ktorá nám určuje rozsah poľa. Ale čo je to doména? Domény (domains) sú špecialitou jazyka chapel, abstrakcie pre indexové priestory, ktoré definujú rozsah indexov pre polia (alebo iné indexové priestory, napr asociatívne polia). Domény umožňujú efektívne a flexibilné riadenie dátových štruktúr a paralelizmu. Domény môžu mať rôzne typy (napriklad aj string pre asociatívne pole). A môžu byť viac-rozmerné.

var celsius_scale_domain = {-273..n}
var farenheit_scale_domain = {-459..n}
var kelvin_scale_domain = {0..n}

Riadok 2 - samotná deklarácia poľa:

Pole sa deklaruje tak, že:

1. uvedieme keyword var prípadne const (pre immutable premenné),
2. nasledovaný názvom identifikátoru pola
3. dvojbodkou a hranatými zátvorkami (v ktorých definujeme indexovanie, rozsah, typ indexu)
4. názvom typu jednotlivých položiek (napr: string, int, real)

Ak chcem pole inicializovať všetky položky poľa nejakou hodnotou, tak stačí spraviť toto:

var example_array: [{1..10}] int = 1..10; // 1..10 je typ range pozor nemýliť si s doménami: 1..10 != {1..10}
writeln("example_array: ", example_array); // vypíše 1 2 3 4 5 6 7 8 9 10

V budúcom diely seriálu si podrobnejšie rozoberieme viacrozmerné polia a záležitosti s nimi súvisiace (Nechcem spolierovať, ale prezradím, že do viacrozmerných polí nevieme priraďovať priamo ranges.) a prejdeme na ďalšiu kapitolu, kde si ukažeme veci, ktoré ste v mainstreamových jazykoch ešte nevideli.

PS: ak by boli v mojom blogovom zápisku nejaké chyby a nepresnosti, alebo ak som niekde použil zlé názvoslovie, budem rád keď ma opravíte. Tiež sa chapel iba učím a toto berte ako moj grimoár. Písanie je, výborný spôsob ako si niečo zapamatať. A navyše, nie som žiadny zamestnanec HP, ktorý by robil tomuto jazyku platenú reklamu. Venujem sa mu čisto iba zo záujimu a nadšenia, nakolko poskytuje zaujímavé možnosti na rýchly vývoj určitého typu aplikácií. Čo sa týka mojej histórie vo voľnom čase mi k srdcu najviac prirástlo F# a C++. Chapel je do tretice ďalší z jazykov zase z úplne iného súdka. V neskoršich dieloch seriálu si spravíme aj nejakú real-world aplikáciu, ktorá bude cez REST komunikovať s frontendom v Blazore alebo Reacte (výber technológie pre FE nechám na vás).

Seriál jazyk Chapel:

1. Chapel 0. - Programovací jazyk chapel
2. Chapel I. - Inštalácia / Úvod
3. > Chapel II. - Prvé kroky

       

Komentáře

[RealJ]

Dotaz: v prvnim dile jsi psal o tom ze jazyk je primarne pro distribuovane vypocty rozdelene mezi vicero pocitacu. Budes to nejak prakticky popisovat? Zajima me treba nejaky vypocet rozdelen mezi vice zdroju.

[footgun]

Ak náš index smeruje mimo rozsah, pole vráti defaultnú hodnotu pre daný typ položky

v cem je tohle zajimavy a ne jenom footgun? diky

[karkar]

že to nezhavaruje?

[čavo]

writeln("arr[3]", arr[2]); // vypíše 0 keďže sme mimo rozsah

Hádam, že vypíše 3, lebo arr[2] je definované.

[plostenka]

Vlastni rozsahy poli a integrovana defaultni hodnota jsou moc pekne vlastnosti. Na druhou stranu ticha akceptace out of range je zlocin...