JavaCro'15 - Stuck in a tar pit - Vjeran Marčinko
0 likes1,561 views
Dokument raspravlja o kompleksnosti u softverskom inženjerstvu, ističući da je razumijevanje sustava ključno za izbjegavanje bugova. Predlaže se da se stanje sustava maksimalno smanji i izolira, što je ključno za rad s objektno orijentiranim i funkcionalnim pristupima. Dodatno, opisuje se kako deklarativno programiranje može pomoći u smanjenju kompleksnosti kroz eliminaciju kontrole toka.
![| 7Zaglavljeni u jami katrana
Problem
“Kompleksnost je glavni uzrok većine
problema u današnjem softveru. [....] to
jednostavno dolazi od činjenice da
razumjevanje sustava je preduvjet za
izbjegavanje problema, a to je upravo ono
što kompleksnost uništava.”](https://image.slidesharecdn.com/javacro15-stuckinatarpit-vjeranmarinko-150520122341-lva1-app6892/85/JavaCro-15-Stuck-in-a-tar-pit-Vjeran-Marcinko-7-320.jpg)
![| 16Zaglavljeni u jami katrana
Stanje i Javascript UI
• Problem – DOM je „globalna promjenjiva varijabla” (stanje)
• Stanje bi trebalo biti izolirano (idealan slučaj), a DOM funkcija stanja
Server events
UI events
STANJE
Prikaz = DOM = f (STANJE)
<body>
<ul>
<li>John</li>
<li>Bill</li>
</ul>
<div id=” tab2” >...</div>
</body>
{ users: [‘John’, ‘Bill’],
selectedTabIndex: 2 }](https://image.slidesharecdn.com/javacro15-stuckinatarpit-vjeranmarinko-150520122341-lva1-app6892/85/JavaCro-15-Stuck-in-a-tar-pit-Vjeran-Marcinko-16-320.jpg)
![| 19Zaglavljeni u jami katrana
Deklarativno programiranje
• „Reci mi što želiš, ne kako” – eliminacija kontrole
• Funkcionalni jezici su više deklarativni (npr. izbjegavanje
petlji – funkcije filter, map...)
• Logično programiranje (npr. Prolog) - ultimativni deklarativni
jezik
• core.logic library (Clojure)
(run* [a b c]
(* b 3 c)
(== a 4)
(+ a 2 b))
=> ([4 6 18])
(run* [a b c]
(* b 3 c)
(membero a [4 5 6])
(+ a 2 b))
=> ([4 6 18] [5 7 21] [6 8 24])](https://image.slidesharecdn.com/javacro15-stuckinatarpit-vjeranmarinko-150520122341-lva1-app6892/85/JavaCro-15-Stuck-in-a-tar-pit-Vjeran-Marcinko-19-320.jpg)
JavaCro'15 - Stuck in a tar pit - Vjeran Marčinko
- 1. | 1Zaglavljeni u jami katrana
- 2. | 2Zaglavljeni u jami katrana Dragi dnevniče, bilo je to ljeta gospodnjeg 2012 ... JAVA ?
- 3. | 3Zaglavljeni u jami katrana LISP (define (sum-of-squares x y) (+ (square x) (square y))) “onaj sa zagradama”
- 4. | 4Zaglavljeni u jami katrana JVM
- 5. | 5Zaglavljeni u jami katrana LISP + JVM .... CLOJURE !!!
- 6. | 6Zaglavljeni u jami katrana Malo akademije ...
- 7. | 7Zaglavljeni u jami katrana Problem “Kompleksnost je glavni uzrok većine problema u današnjem softveru. [....] to jednostavno dolazi od činjenice da razumjevanje sustava je preduvjet za izbjegavanje problema, a to je upravo ono što kompleksnost uništava.”
- 8. | 8Zaglavljeni u jami katrana Razumjevanje sustava • Formalno – specifikacija sustava izvana: - ključni problem sa testranjem je da testiranje komponente/sustava sa jednim ulaznim podacima ništa ne govori o ponašanju te komponente kada joj se proslijede drugi ulazni podaci - VIŠE BUGOVA PRONAĐENO • Neformalno – razumjevanje sustava iznutra (npr. debugiranje) - MANJE BUGOVA NAPRAVLJENO (VAŽNIJE!)
- 9. | 9Zaglavljeni u jami katrana Edsger W. Dijkstra (1930-2002) • “...we have to keep it crisp, disentangled, and simple if we refuse to be crushed by the complexities of our own making...” • “Those who want really reliable software will discover that they must find means of avoiding the majority of bugs to start with.”
- 10. | 10Zaglavljeni u jami katrana Uzroci kompleksnosti • Stanje • Kontrola toka
- 11. | 11Zaglavljeni u jami katrana Stanje i razumjevanje sustava Stanje uništava razumjevanje sustava: • Formalno (“izvana”) - testiranje sustava u jednom stanju ništa ne govori o sustavu kada je on u drugom stanju • Neformalno (“iznutra”) - svako novo stanje u programu eksponencijalno povećava broj mogućih stanja programa → mentalni “overload” Stanje je nužno, ali ga treba maksimalno smanjiti i izolirati
- 12. | 12Zaglavljeni u jami katrana Workaround za probleme sa stanjem
- 13. | 13Zaglavljeni u jami katrana Stanje i OOP (1) • Stanje je sakriveno u objektu (private fieldovi) • Nepredvidivost rezultata poziva metode → ovisi o stanju objekta public class Incrementer { private int step; // sakriveno stanje! // nepredvidiv rezultat za pozivatelja public int increment(int number) { return number + step; } public void doSomething () { // promjena stanja ovdje this.step = new Random().nextInt(1000); } }
- 14. | 14Zaglavljeni u jami katrana Stanje i OOP (2) Incrementer inc = new Incrementer(1); // DANGER !! someDeeplyNestedCall(inc); // da li je rezultat stvarno 7 ? int result = inc.increment(6); Promjenjivi objekti se ne mogu sigurno: • niti primiti, niti proslijediti kao argumenti • koristiti u hash kolekcijama (Map, Set) • cachirati • koristiti u multithreaded okolini • final keyword (immutability) • defanzivno kopiranje
- 15. | 15Zaglavljeni u jami katrana Stanje i FP • Referencijalna transparentnost - svi podaci koji određuju rezultat funkcije su vidljivi kao ulazni argumenti • Stanje još uvijek postoji, ali drži se bliže „površini” i prenosi se „dole” kao argument public static int increment(int number, int step) { return number + step; } public static User activateUser(User user) { User newUser = new User(); newUser.name = user.name; newUser.active = true; return newUser; }
- 16. | 16Zaglavljeni u jami katrana Stanje i Javascript UI • Problem – DOM je „globalna promjenjiva varijabla” (stanje) • Stanje bi trebalo biti izolirano (idealan slučaj), a DOM funkcija stanja Server events UI events STANJE Prikaz = DOM = f (STANJE) <body> <ul> <li>John</li> <li>Bill</li> </ul> <div id=” tab2” >...</div> </body> { users: [‘John’, ‘Bill’], selectedTabIndex: 2 }
- 17. | 17Zaglavljeni u jami katrana React.js • Programer ne dira pravi DOM - „Virtualni DOM” se rekreira na svaku promjenu stanja (poput server side web developmenta) • Programer brine samo o sadržaju cijelog (virtualnog) DOM-a u danom trenutku • React.js u pozadini radi add/update/remove pojedinih elemenata na pravom DOM-u Performanse ? Trenutak t( i ): <body> <ul> <li>John</li> </ul> </body> Trenutak t( i + 1 ): <body> <ul> <li>John</li> <li>Bill</li> „add” akcija </ul> </body>
- 18. | 18Zaglavljeni u jami katrana Kontrola toka • Red po kojem se stvari događaju – izvor kompleksnosti • Primjer: int a = 4; int b = a + 2; int c = b * 3; • Tok u konkurentnom sustavu? Kako uopće shvatiti/testirati nešto gdje ne znamo kojim slijedom se stvari događaju?
- 19. | 19Zaglavljeni u jami katrana Deklarativno programiranje • „Reci mi što želiš, ne kako” – eliminacija kontrole • Funkcionalni jezici su više deklarativni (npr. izbjegavanje petlji – funkcije filter, map...) • Logično programiranje (npr. Prolog) - ultimativni deklarativni jezik • core.logic library (Clojure) (run* [a b c] (* b 3 c) (== a 4) (+ a 2 b)) => ([4 6 18]) (run* [a b c] (* b 3 c) (membero a [4 5 6]) (+ a 2 b)) => ([4 6 18] [5 7 21] [6 8 24])
- 20. | 20Zaglavljeni u jami katrana