Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers: Lecture Notes in Computer Science, cartea 5083

Abordarea prezentată în Implementation and Application of Functional Languages diferă de cea din Functional Programming, Glasgow 1994 prin nivelul de specializare tehnică și focusul pe implementare — volumul editat de Olaf Chitil este mai puțin orientat către networking academic general și mult mai aplicat pe soluții de inginerie software. Suntem de părere că această lucrare reprezintă un punct de referință pentru dezvoltatorii de compilatoare, oferind o perspectivă pragmatică asupra limbajelor funcționale moderne.

Structura volumului reflectă o progresie logică de la aspecte teoretice de bază la aplicații hardware și sisteme de debugging. Putem afirma că selecția de 15 lucrări, filtrată riguros din peste 30 de propuneri, acoperă o nișă critică: de la combinatori de parsare de grafuri și verificarea tipurilor dependente, până la optimizarea inlining-ului în compilatoarele Scheme to C. Un element distinctiv este includerea unor cercetări despre Reduceron, care utilizează tehnologia FPGA pentru a depăși limitările arhitecturii von Neumann în reducerea grafurilor, demonstrând o deschidere către soluții hibride hardware-software.

Notăm cu interes modul în care cuprinsul balansează limbaje consacrate precum Haskell sau Erlang cu metodologii de verificare a contractelor pentru structuri de date imuabile. Spre deosebire de Functional Programming Languages and Computer Architecture, care oferă o privire de ansamblu asupra sistemelor de tipuri, acest volum din seria Lecture Notes in Computer Science se concentrează pe mecanismele interne de execuție și pe eficiența implementării, fiind esențial pentru cei care doresc să înțeleagă cum teoria funcțională se traduce în performanță brută la nivel de cod mașină.