Pages: [1] 2   Go Down
Print
Author Topic: Dubbi ed esercizi proposti  (Read 1746 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Joe
Apprendista Forumista
**
Offline Offline

Posts: 492


« 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 e l'esercizio 16.

La ringrazio infinite.
« Last Edit: 22-05-2013, 19:49:25 by Joe » Logged
Acicatena86
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 404


See full me now who neon


« Reply #1 on: 23-05-2013, 13:14:22 »

Professore, inoltre sempre riguardante il lambda calcolo tipato, possiamo fare l'esercizio 25?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #2 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
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #3 on: 23-05-2013, 14:13:40 »

Professore, inoltre sempre riguardante il lambda calcolo tipato, possiamo fare l'esercizio 25?

Certo.

FB
Logged
Joe
Apprendista Forumista
**
Offline Offline

Posts: 492


« Reply #4 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
non mi è chiaro

Per l'overloading ho appena chiarito tutto
« Last Edit: 23-05-2013, 15:56:54 by Joe » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #5 on: 23-05-2013, 20:55:31 »

OK.
Allora riprendiamo la definizione intuitiva di monade domani a lezione.

FB
Logged
Joe
Apprendista Forumista
**
Offline Offline

Posts: 492


« Reply #6 on: 24-05-2013, 06:15:20 »

OK.
Allora riprendiamo la definizione intuitiva di monade domani a lezione.

FB

La ringrazio
Logged
Acicatena86
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 404


See full me now who neon


« Reply #7 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.

Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #8 on: 24-05-2013, 13:18:50 »

Piu' o meno e' cosi'.

FB
Logged
Acicatena86
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 404


See full me now who neon


« Reply #9 on: 03-06-2013, 07:29:06 »

Professore oggi in aula possiamo fare l'esercizio 19 su PICT? In particolare non mi è chiaro come implementare la seconda parte dell'esercizio
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #10 on: 03-06-2013, 21:21:20 »

Professore oggi in aula possiamo fare l'esercizio 19 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
Logged
Acicatena86
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 404


See full me now who neon


« Reply #11 on: 08-06-2013, 12:49:02 »

Professore, per quanto riguarda Prolog, potremmo svolgere a lezione l'esercizio 11?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #12 on: 08-06-2013, 21:03:42 »

Professore, per quanto riguarda Prolog, potremmo svolgere a lezione l'esercizio 11?

OK.
Logged
golvellius
Apprendista Forumista
**
Offline Offline

Posts: 124


« Reply #13 on: 11-06-2013, 16:01:28 »

Salve a tutti  , 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 
Logged
Acicatena86
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 404


See full me now who neon


« Reply #14 on: 11-06-2013, 16:08:04 »

http://forum.informatica.unict.it/index.php?topic=19424.0
Logged
Pages: [1] 2   Go Up
Print
Jump to: