Conceptes Avançats de Programació

• Hores setmanals
• Competències
• Objectius
• Continguts
• Activitats
• Metodologia docent
• Mètode d'avaluació
• Bibliografia
• Capacitats prèvies

Professorat

Responsable

• Gerard Escudero Bakx ( )
• Jordi Delgado Pin ( )

Hores setmanals

Competències

Competències Transversals

Treball en equip

• G5 [Avaluable] - Ser capaç de treballar com a membre d'un equip, ja sigui com a un membre més, ja sigui realitzant tasques de direcció, amb la finalitat de contribuir a desenvolupar projectes d'una manera pragmàtica i amb sentit de la responsabilitat; assumir compromisos tenint en compte els recursos disponibles.
  • G5.2 - Planificar i acordar els objectius, les regles de funcionament, les responsabilitats, l'agenda i el procediment de revisió de la feina. Identificar conflictes, negociar-los i resoldre-los de forma efectiva. Adaptar-se a diferents tipus de grups (gran/petit, tècnic/mixt, presencial /a distància). Interactuar amb eficàcia i promoure la participació de tots els membres del grup.

Competències Tècniques

Competències tècniques comunes

• CT1 - Demostrar coneixement i comprensió de fets essencials, conceptes, principis i teories relatives a la informàtica i a les seves disciplines de referència.
  • CT1.2C - Interpretar, seleccionar i valorar conceptes, teories, usos i desenvolupaments tecnològics relacionats amb la informàtica i la seva aplicació a partir dels fonaments matemàtics, estadístics i físics necessaris. CEFB3. Capacitat per a comprendre i dominar els conceptes bàsics de matemàtica discreta, lògica, algorísmica i complexitat computacional, i la seva aplicació per al tractament automàtic de la informació mitjançant sistemes computacionals i la seva aplicació per a la resolució de problemes propis de l'enginyeria.
• CT4 - Demostrar coneixement i capacitat d'aplicació dels procediments algorísmics bàsics de les tecnologies informàtiques per a dissenyar solucions a problemes, analitzant la idoneïtat i la complexitat dels algorismes
  • CT4.1 - Identificar les solucions algorísmiques més adequades per a resoldre problemes de dificultat mitjana.
  • CT4.2 - Raonar sobre la correcció i l'eficiència d'una solució algorísmica.
• CT5 - Analitzar, dissenyar, construir i mantenir aplicacions de forma robusta, segura i eficient, triant el paradigma i els llenguatges de programació més adequats.
  • CT5.1 - Triar, combinar i explotar diferents paradigmes de programació, en el moment de construir software, tenint en compte criteris com la facilitat de desenvolupament, l'eficiència, la portabilitat i la mantenibilitat.
  • CT5.2 - Conèixer, dissenyar i utilitzar de forma eficient els tipus i les estructures de dades més adients per a la resolució d'un problema.
  • CT5.3 - Dissenyar, escriure, provar, depurar, documentar i mantenir codi en un llenguatge d'alt nivell per a resoldre problemes de programació aplicant esquemes algorísmics i utilitzant estructures de dades.

Competències Tècniques de cada especialitat

Especialitat enginyeria del software

• CES1 - Desenvolupar, mantenir i avaluar serveis i sistemes software que satisfacin tots els requisits de l'usuari, que es comportin de forma fiable i eficient, que tinguin un desenvolupament i un manteniment assequible i que compleixin normes de qualitat aplicant les teories, els principis, els mètodes i les pràctiques d'Enginyeria del Software.
  • CES1.1 - Desenvolupar, mantenir i avaluar sistemes i serveis software complexos i/o crítics.
  • CES1.3 - Identificar, avaluar i gestionar els riscos potencials associats a la construcció de software que es poguessin presentar.
  • CES1.7 - Controlar la qualitat i dissenyar proves en la producció de software.

Especialitat computació

• CCO2 - Desenvolupar de forma efectiva i eficient els algorismes i el software apropiats per a resoldre problemes complexos de computació.
  • CCO2.2 - Capacitat per a adquirir, obtenir, formalitzar i representar el coneixement humà d'una forma computable per a la resolució de problemes mitjançant un sistema informàtic en qualsevol àmbit d'aplicació, particularment en els que estan relacionats amb aspectes de computació, percepció i actuació en ambients o entorns intel·ligents.

Objectius

1. Conèixer les capacitats que proporciona a un llenguatge de programació el fet de disposar de funcions d'ordre superior
   Competències relacionades: CT1.2C, CES1.1, CT4.2, CCO2.2, CES1.3, CES1.7, CT5.1,
2. Treballar les tècniques associades a funcions d'ordre superior en el llenguatge de programació Clojure
   Competències relacionades: CES1.1, CT4.1, CT4.2, CT5.2, CES1.3, CT5.3,
3. Conèixer què és un tancament (closure) i algunes tècniques associades a la seva utilització.
   Competències relacionades: CT1.2C, CES1.1, CT4.2, CT5.2, CES1.3, CT5.1,
4. Conèixer un llenguatge de programació dinàmic i funcional (híbrid) com Clojure
   Competències relacionades: CES1.1, CES1.3, CES1.7, CT5.3,
5. Conèixer estructures de dades immutables i quines conseqüències té disposar-ne en un llenguatge de programació.
   Competències relacionades: CES1.1, CT4.1, CT5.2, CCO2.2, CES1.3, CES1.7, CT5.1, CT5.3,
6. Conèixer el concepte d'avaluació mandrosa i les conseqüències de poder triar entre diferents tipus d'avaluació
   Competències relacionades: CES1.1, CT4.2, CES1.3, CES1.7, CT5.1, CT5.3,
7. Ser capaç de desenvolupar en equip exercicis que utilitzin part del que s'ensenya en el curs
   Competències relacionades: CES1.1, G5.2, CES1.7,

Continguts

1. Introducció a Clojure
   Expressions, condicionals, variables locals (let), definició de funcions, seqüències (llistes, vectors, strings), recursivitat i iteració.
2. Funcions de primera-classe
   Funcions com a paràmetre, guardar funcions en estructures de dades. Maneres d'iterar sobre col·leccions: reduce, map, filter, foldr, etc. Retornar funcions
3. Closures: Model d'entorns
   Context lèxic (lexical scope), Les funcions no són tals: Capturen el context lèxic, Si tenim closures no calen objectes: Exemples. Explicar el funcionament basat en el model d'entorns.
4. Programació amb funcions d'ordre superior: Tècniques
   Composició, Pipelining, CPS, TCO & Trampolining
5. Estructures de dades immutables
   Avantatges i inconvenients. El cas de Clojure: Separar la gestió de l'estat i fer-la explícita (immutabilitat per defecte)
6. Avaluació mandrosa
   Estructures de dades "infinites". Aplicacions
7. Macros
   El concepte de 'Macro' en el món dels llenguatges Lisp. Reflexió.

Activitats

Activitat Acte avaluatiu

Metodologia docent

Mètode d'avaluació

Bibliografia

Bàsica:

• The Joy of Clojure - 2nd edition - Fogus, Michael; Houser, Chris, Manning, 2014. ISBN: 9781617291418
  https://www.manning.com/books/the-joy-of-clojure-second-edition
• Clojure Programming: Practical Lisp for the Java World - Emerick, Chas; Carper, Brian; Grand, Christophe, O'Reilly Media, 2012. ISBN: 9781449394707
  http://www.clojurebook.com/
• Mastering Clojure Macros: Write Cleaner, Faster, Smarter Code - Jones, Colin, The Pragmatic Programmers, 2014. ISBN: 1941222226
  https://pragprog.com/titles/cjclojure/mastering-clojure-macros/

Complementaria:

• Elements of functional programming - Reade, Chris, Addison-Wesley , 1989. ISBN: 0201129159
  https://discovery.upc.edu/discovery/fulldisplay?docid=alma991000232459706711&context=L&vid=34CSUC_UPC:VU1
• Thinking Functionally with Haskell - Bird, Richard, Cambridge University Press , 2014. ISBN: 9781316092415
  https://doi.org/10.1017/CBO9781316092415

Capacitats prèvies