Dotaz: Imperatívny vs. deklaratívny prístup

[________________]

Ktorý prístup je vhodnejší na vývoj bežných aplikácií?

Aké výhody má imperatívny oproti deklaratívnemu prístupu, a aké má naopak nevýhody?

Čo je rýchlejšie a efektívnejšie? A čo je menej pamäťovo náročnejšie?

Ja používam oboje, ale intuícia mi hovorí že napríklad LINQ je menej efektívne ako prejsť kolekciu v cykle. A kritické časti kódu píšem vždy imperatívne. Niekde som čítal že deklaratívny prístup je výhodnejší na viacjadrových systémoch. Tak ako to teda je?

---

---

Odpovědi

[polymorf]

Pripomínaš mi jednu vedľajšiu postavu z filmu Good Will Hunting.

[JS]

To je asi stejne (takto obecne) nesmyslna otazka, jako zda je lepsi psat program v assembleru nebo v C.

Obecne, deklarativni (= rikate co chcete, aby se stalo) znamena, ze musi vic prace udelat pocitac, a imperativni (= rikate jak chcete, aby se neco stalo), ze musi vic prace udelat clovek. (Nakonec je totiz kazdy program imperativni.) Coz muze byt jak vyhoda, tak nevyhoda.

Pokud nechate veci na pocitaci, usetrite cas, ale muze to dopadnout mizerne (nebo taky ne). Pokud nechate veci na cloveku (na vas), budete si s tim muset vic pohrat, ale zase je potencial, ze to udelate lepe.

[l4m4]

Deklarativní programování popisuje výpočet (v obecném smyslu), imperativní popisuje proces. Některé věci se vyjadřují snáz jedním způsobem (které prvky množiny mají vlastnost foo?), jiné druhým (počkej, dokud zařízení nepošle data). Přijde na to, co programuješ...

[JS]

Nesouhlasim s tim, ze je to ekvivalentni co do obtiznosti. Nakonec jsou vsechny programy imperativni (ve strojovem kodu), a cim je program deklarativnejsi, tim je slozitejsi ho dobre prevest na imperativni (pokud je to vubec dobre mozne, viz problemy z nedeterministicke tridy NP). Navic i proces se da definovat deklarativne (operace A nesmi nastat pred operaci B).

Idealem (patrne nedosazitelnym) je, abychom programy psali jen deklarativne, tj. aby stacilo zadat specifikaci, a pocitac vyrobil program. Vsechno, co potrebujete pocitaci rict nad presnou specifikaci chovani programu (napr. jake algoritmy a datove struktury ma pouzit) je ta imperativni cast.

[l4m4]

V tomto ideálním stavu programátoři nejsou zapotřebí (nikdo se nezabývá algoritmy), takže otázka ztrácí smysl...

Ve skutečnosti programátor vždy popisuje jak, a to i u deklarativního stylu - interpret/kompilátor má sice velkou volnost v provedení, jenže to má nakonec i kompilátor C. Takhle to opravdu rozlišovat nejde, ledaže by prohlásil, že všechno je hybridní.

Samozřejmě, že i proces se dá zapsat deklarativně, ovšem deklarativní zápis procesu pošli do zařízení data a počkej sekundu, nebo dokud nepřijde odpověď, ... vypadá nakonec (a) dost imperativně (b) nezsrozumitelně z hlediska uvažování o tom, co to zařízení dělá.

[Ivan]

Ve skutečnosti programátor vždy popisuje jak, a to i u deklarativního stylu - interpret/kompilátor má sice velkou volnost v provedení, jenže to má nakonec i kompilátor C.

To neplati vzdy. Treba takove SQL je jasne deklarativni jazyk a vas jako programatora casto nezajima exekucni plan(imperativni forma SQL). A hlavne co je nejdulezitejsi, exekucni plan zavisi na statistickych charakteristikach dat, muze byt u kazdeho zakaznika jiny a muze se vyvijet v case bez zasahu programatora. Exekucni plan se "kompiluje" pri pouziti aplikace a ne behem vyvoje.