Functional and Concurrent Programming

Abordarea metodologică propusă în Functional and Concurrent Programming se concentrează pe deconstrucția barierelor dintre programarea orientată pe obiecte și paradigmele funcționale moderne. Considerăm că valoarea acestui volum rezidă în capacitatea autorului Michel Charpentier de a izola conceptele abstracte — cum ar fi imuabilitatea și funcțiile de ordin superior — și de a le prezenta ca instrumente pragmatice pentru scrierea unui cod mai ușor de testat și optimizat. Structura cărții este una progresivă: se pornește de la fundamentele programării funcționale (recurență, tipuri de date algebrice) și se avansează către complexitatea execuției concurente, abordând critic sincronizarea și obiectele thread-safe. Descoperim aici o analiză tehnică riguroasă a mecanismelor de control al concurenței, de la primitivele de blocare până la modelele non-blocking și lock-free. Autorul nu se limitează la sintaxă, ci explorează arhitectura sistemelor care utilizează promisiuni și viitoruri pentru a gestiona asincronismul. Dacă Functional Programming in Scala de Runar Bjarnason v-a oferit cadrul teoretic și rigoarea matematică a paradigmei funcționale, această carte oferă instrumentele practice și studiile de caz necesare pentru a aplica aceste principii în proiecte de inginerie software de zi cu zi, inclusiv în versiunile recente de Java. Tonul este unul aplicat, axat pe specificații concrete. Recomandăm atenția sporită acordată capitolului despre strategiile de tipărire, unde polimorfismul și varianța sunt explicate prin prisma siguranței tipurilor (type safety), un aspect critic în dezvoltarea sistemelor distribuite moderne. Deși exemplele sunt scrise în Scala, principiile de design patterns și gestiune a memoriei sunt transferabile oricărui limbaj modern care suportă aceste construcții.