Què tenen en comú la programació i la construcció de cases?

Salva Alcántara, matemàtic, programador i autor del llibre “Category theory for the functionally curious scala programmer” estrena obra i llar PMP, prêt-à-porter.

 

Per la nostra part, estem molt contents i satisfets d’haver pogut contribuïr a materialitzar el projecte de vida d’en Salva.

La programació i la construcció de cases tenen factors en comú. La Lambda House n’és una bona prova. La casa de Salva Alcántara, matemàtic, programador, i client de PMP Prêt-à-porter cases, porta el nom d’una lletra grega que, a banda de tenir forma de casa, és un símbol de la programació funcional.

Una bona estructura, la clau per construir cases i programes sòlids

Alcántara acaba d’auto-publicar l’obra “Category theory for the functionally curious scala programmer” amb l’objectiu de cobrir els aspectes més rellevants de la “Teoria de les Categories” des del punt de vista de la programació funcional.

Aquesta teoria matemàtica proporciona un marc idoni per estudiar el concepte d’estructura en sí mateix, un tema que l’autor aprofita per fer una analogia entre programar i construir cases. “Així com una casa necessita d’uns bons fonaments, els programes informàtics també necessiten tenir una bona estructura de base, diguem-ne, per tal de poder fer-los créixer sense que caiguin!”.

El nou llibre sobre la Teoria de les Categories dedica un apartat a la casa construïda per PMP Prêt-à-porter cases, ja que l’autor considera que la programació funcional i la construcció de cases industrialitzades tenen al menys un punt en comú: “es tracta de combinar peces simples de manera intel·ligent per tal de formar-ne d’altres més complexes”.

“Es tracta de combinar peces simples de manera intel·ligent per tal de formar-ne d’altres més complexes” – Salva Alcántara

L’autor es va decantar pel mètode de PMP Prêt-à-porter cases perquè volia “una casa feta a mida, d’aspecte modern, amb alta eficiència energètica, construïda amb la predictibilitat (en temps i diners) i robustesa que proporciona un mètode industrialitzat basat en peces de formigó”. Un sistema de construcció que assegura que sense dubte és el futur, però cada vegada més, també el present.

A continuació, compartim el procés de construcció de la Lambda House, que apareix com a portada de l’obra i es menciona en el llibre:

Sobre la portada 

La casa de la portada és la casa d’en Salva: la Lambda House. La foto es va fer durant la segona setmana de construcció. Feta de formigó i construïda sobre un terreny pla, PMP va trigar uns quatre mesos en acabar-la, de principi a fi. A diferència dels mètodes més tradicionals, la metodologia emprada va utilitzar blocs de construcció més grans compostos de forma més intel·ligent. Això, juntament amb altres millores tecnològiques, permet construir cases de forma més eficient, amb una qualitat superior. De la mateixa manera, es pot argumentar que es poden escriure programes més sofisticats quan s’utilitzen les eines i abstraccions adequades, és a dir, quan es passa de l’artesania a allò més científic que, en última instància, produeix un programari millor estructurat; programes que es poden raonar i demostrar que són correctes.

Aprofitem aquest article per felicitar el Salva Alcántara i desitjar-li molts èxits amb la nova publicació.