Pages: [1]   Go Down
Print
Author Topic: Esercizio 7 Haskell  (Read 1530 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Giovi89
Apprendista Forumista
**
Offline Offline

Posts: 273


« on: 20-11-2014, 12:11:53 »

Salve ragazzi,
come rispondereste a questa domanda?

In Haskell ogni termine, prima di venire valutato, viene tipato con
un sistema di assegnamento simile a quello a' la Curry visto nel
corso. I lambda termini tipabili a' la Curry hanno la proprieta' di
essere fortemente normalizzabili. Questo dovrebbe implicare che
ogni "programma" Haskell "termini". Invece non e' cosi'.
Cosa e' presente in Haskell in piu', rispetto al sistema di
assegnamento di tipi a'la Curry per il lambda calcolo, che fornisce
al linguaggio la possibilita' di avere non terminazione?

p.s. la domanda è rivolta pure al prof.
« Last Edit: 20-11-2014, 12:13:45 by Giovi89 » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #1 on: 20-11-2014, 14:53:28 »

Il prof. aspetta che qualcuno prima provi a farsi avanti.
Con una bozza di idea, uno spunto, un suggerimento, una cosa...

FB
Logged
alex180788
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 422


« Reply #2 on: 21-11-2014, 23:16:30 »

Basta pensare a come vengono definite le funzioni ricorsive in Haskell, cioè definendo una serie di equazioni. Questo puoi farlo perché in Haskell possiamo dare un nome ad una espressione.
Logged

Codice etico e di pratica professionale dello sviluppo software:
..
..
7. Colleghi. Gli sviluppatori software devono essere leali e di supporto nei confronti dei loro colleghi.
...
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #3 on: 22-11-2014, 11:33:19 »

Basta pensare a come vengono definite le funzioni ricorsive in Haskell, cioè definendo una serie di equazioni. Questo puoi farlo perché in Haskell possiamo dare un nome ad una espressione.

Ottimo suggerimento.
Logged
Giovi89
Apprendista Forumista
**
Offline Offline

Posts: 273


« Reply #4 on: 25-11-2014, 11:18:51 »

Una valida risposta potrebbe essere la seguente?

"Il linguaggio Haskell non termina perché la proprietà di normalizzazione dei termini tipabili non vale più considerando il tipaggio a' la Curry nel contesto del lambda calcolo esteso"
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #5 on: 25-11-2014, 14:03:56 »

Una valida risposta potrebbe essere la seguente?

"Il linguaggio Haskell non termina perché la proprietà di normalizzazione dei termini tipabili non vale più considerando il tipaggio a' la Curry nel contesto del lambda calcolo esteso"
Meglio specificare che del lambda calcolo esteso e' l'operatore di punto fisso che non permette piu' alla proprieta'
di valere.

FB
Logged
Pages: [1]   Go Up
Print
Jump to: