Forum Informatica Unict

LAUREA MAGISTRALE => Linguaggi di Programmazione, 9 CFU => Topic started by: Joe on 22-05-2013, 19:39:40



Title: Dubbi ed esercizi proposti
Post by: Joe on 22-05-2013, 19:39:40
Salve professore, poichè leggendo dalle note non mi sono stati chiari, potrebbe spiegarmi chiaramente i seguenti concetti, dati come quesiti d'esame?:

1) Monadi in Haskell. Definizione e loro utilizzo.
2) Descrivere in generale il concetto di overloading nei linguaggi di programmazione. Descrivere poi come questo viene implementato nelle Type Classes di Haskell. Descrivere inoltre sintassi ed uso delle Type Classes in Haskell.

In più le chiedo se potremmo svolgere a lezione l'esercizio 9 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziTLC/esercizi.html) e l'esercizio 16 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziPROLOG/esercizi.html).

La ringrazio infinite.


Title: Re:Dubbi ed esercizi proposti
Post by: Acicatena86 on 23-05-2013, 13:14:22
Professore, inoltre sempre riguardante il lambda calcolo tipato, possiamo fare l'esercizio 25 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziTLC/esercizi.html)?


Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 23-05-2013, 14:13:09
Quote
Salve professore, poichè leggendo dalle note non mi sono stati chiari, potrebbe spiegarmi chiaramente i seguenti concetti,

In quale punto delle note ti sei "incartato"?

FB


Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 23-05-2013, 14:13:40
Professore, inoltre sempre riguardante il lambda calcolo tipato, possiamo fare l'esercizio 25 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziTLC/esercizi.html)?

Certo.

FB


Title: Re:Dubbi ed esercizi proposti
Post by: Joe on 23-05-2013, 15:54:56
Quote
Salve professore, poichè leggendo dalle note non mi sono stati chiari, potrebbe spiegarmi chiaramente i seguenti concetti,

In quale punto delle note ti sei "incartato"?

FB

Principalmente il mio dubbio riguarda la definizione di monade, che per come è spiegato qui (http://web.archive.org/web/20061210172401/http://www.nomaware.com/monads/html/introduction.html)
non mi è chiaro

Per l'overloading ho appena chiarito tutto


Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 23-05-2013, 20:55:31
OK.
Allora riprendiamo la definizione intuitiva di monade domani a lezione.

FB


Title: Re:Dubbi ed esercizi proposti
Post by: Joe on 24-05-2013, 06:15:20
OK.
Allora riprendiamo la definizione intuitiva di monade domani a lezione.

FB

La ringrazio


Title: Re:Dubbi ed esercizi proposti
Post by: Acicatena86 on 24-05-2013, 09:20:31
OK.
Allora riprendiamo la definizione intuitiva di monade domani a lezione.

FB
Professore io ho capito che le Monadi sono una sorta di "involucro" in cui possiamo scrivere procedure che hanno qualche costrutto imperativo, per esempio I/O,  senza perdere tutte le proprietà della programmazione funzionale.



Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 24-05-2013, 13:18:50
Piu' o meno e' cosi'.

FB


Title: Re:Dubbi ed esercizi proposti
Post by: Acicatena86 on 03-06-2013, 07:29:06
Professore oggi in aula possiamo fare l'esercizio 19 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziPi/esercizi.html) su PICT? In particolare non mi è chiaro come implementare la seconda parte dell'esercizio


Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 03-06-2013, 21:21:20
Professore oggi in aula possiamo fare l'esercizio 19 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziPi/esercizi.html) su PICT? In particolare non mi è chiaro come implementare la seconda parte dell'esercizio

Scusa, ho letto solo ora il tuo post.
Comunque l'esercizio a lezione per fortuna lo abbiamo fatto.

Salutoni
FB


Title: Re:Dubbi ed esercizi proposti
Post by: Acicatena86 on 08-06-2013, 12:49:02
Professore, per quanto riguarda Prolog, potremmo svolgere a lezione l'esercizio 11 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziPROLOG/esercizi.html)?


Title: Re:Dubbi ed esercizi proposti
Post by: Franco Barbanera on 08-06-2013, 21:03:42
Professore, per quanto riguarda Prolog, potremmo svolgere a lezione l'esercizio 11 (http://www.dmi.unict.it/~barba/PROG-LANG/ESERCIZI/EserciziPROLOG/esercizi.html)?

OK.


Title: Re:Dubbi ed esercizi proposti
Post by: golvellius on 11-06-2013, 16:01:28
Salve a tutti  .ciaociao, qualcuno potrebbe gentilmente postare brevemente come si dovrebbe svolgere l'esercizio 11 richiesto qualche giorno fa?

"Definire l'algoritmo di unificazione per i tipi del Lambda-calcolo tipato semplice. Modificare tale algoritmo per poterlo applicare ai termini del PROLOG"

A quanto credo dovrebbe essere stato spiegato a lezione ma non essendo potuto esserci non so se è stato fatto e mi sarebbe di grande aiuto avere una linea guida.

Come sempre grazie a tutti  .ciaociao .ciaociao


Title: Re:Dubbi ed esercizi proposti
Post by: Acicatena86 on 11-06-2013, 16:08:04
http://forum.informatica.unict.it/index.php?topic=19424.0


Title: Re:Dubbi ed esercizi proposti
Post by: golvellius on 12-06-2013, 11:19:47
ti ringrazio  .smile