Responsable: | (-) |
Altres: | (-) |
Crèdits | Dept. | Tipus | Requisits |
---|---|---|---|
7.5 (6.0 ECTS) | CS |
|
PRED
- Pre-requisit per la EI |
Responsable: | (-) |
Altres: | (-) |
1. Que els alumnes obtinguin les eines conceptuals per a analitzar els llenguatges de programació
-segons el modelo subjacent (diferents classes o paradigmes),
-segons els seus components fonamentals (sistema de tipus, model d'execució, abstraccions de dades i de processos)
-segons la seva adequació al tipus d'aplicació, envergadura i metodologia de desenvolupament
2. Que coneguin els fonaments teòrics bàsics dels LP i la seva definició formal, i en especial els fonaments del paradigma funcional.
3. Que obtinguin una experiència bàsica a la programació amb llenguatges funcionals del tipus de Miranda o Haskell.
Hores estimades de:
T | P | L | Alt | L Ext. | Est | A Ext. |
Teoria | Problemes | Laboratori | Altres activitats | Laboratori extern | Estudi | Altres hores fora d'horari fixat |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
6,0 | 13,0 | 14,0 | 0 | 14,0 | 19,0 | 0 | 66,0 | |||
Components d'un sistema de programació funcional. Evolució del paradigma. Característiques dels LF actuals:
Ús intensiu de l'ordre superior. Curryficació. Definició equacional per patrons. Tipus algebraics i tipus abstractes. Polimorfisme. Deducció de tipus. Avaluació peresosa. Tècniques de programació d'ordre superior a un llenguatge funcional amb avaluació peresosa (Miranda o Haskell). Programació amb objectes infinits. Soluciones en xarxes de procés comunicants (streams). Definició de llistes por comprensió (esquema generador/filtro).
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
5,0 | 5,0 | 0 | 0 | 0 | 15,0 | 0 | 25,0 | |||
Lambda càlcul. Estratègies de reducció. Orde normal i aplicatiu. El problema de les definicions recursives.Introducció a la Teoria de dominis. Teorema del Punt fix. Introducció a la teoria de tipus. Sistemes d"inferència de tipus.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
5,0 | 5,0 | 0 | 0 | 0 | 15,0 | 0 | 25,0 | |||
Elements sintàctics. Sintaxi concreta i abstracta. Els diferents enfocaments semàntics i la seva aplicació. L'enfocament denotacional.
Definició semàntica d'un llenguatge imperatiu mínim. Equivalència semàntica de programes. Semàntica d'altres classes de llenguatges. |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
9,0 | 3,0 | 0 | 0 | 0 | 7,0 | 0 | 19,0 | |||
- El sistema de tipus. Evolució del concepte de tipus. Mecanismes de definició de tipus. Tipus algebraics. Genericitat i polimorfisme. Polimorfisme paramètric i d'inclusió. Subtipus i subclasses. Formes d'herència. Jerarquies. Comprovació estàtica i dinàmica de tipus. Inferència de tipus
- El control de seqüència. A nivell d'expressions. En instruccions. Entre unitats de programa. Procediments. Corutines. Processos concurrents. Manegadors d'excepcions. El control de seqüència als diferents paradigmes. - El control de dades. Associació entre identificadores i objectes. Sobrecàrrega. Aliasing. Resolució estàtica i dinàmica de vincles. Àmbit i visibilitat. Compartició de dades. Formes de pas de paràmetres. |
Total per tipus | T | P | L | Alt | L Ext. | Est | A Ext. | Total |
28,0 | 28,0 | 14,0 | 0 | 14,0 | 59,0 | 0 | 143,0 | |
Hores addicionals dedicades a l'avaluació | 7,0 | |||||||
Total hores de treball per l'estudiant | 150,0 |
Hi haurà classes de teoria i problemes (en mitja 4 hores setmanals), i classes de laboratori (1 hora en promig). Les classes de laboratori es dedicaran a la implementació dels exercicis que es resolguin a classe de problemes i a la realització d"una pràctica que es resoldrà en grups preferentment de 3 alumnes.
Hi haurà dos examens i una pràctica obligatòria amb un pes del 15%.
L'examen parcial allibera matèria si la nota no és inferior a 4. En aquest cas la nota final es calcula com la mitja ponderada de les tres notes, on el parcial té un pes del 40% i el final 45%. Si la nota del parcial és inferior a 4 l"examen final inclourà ambdues parts de l"assignatura i tindrà un pes del 85%.
Hauran d'haver aprovat l'assignatura Prap