Informateci

Da Telegram: chiede quasi sempre la share di java e l'applyover di caml, vuole che nella share ci sia l'eccezione se si prova a condividere un dato con se stessi (perché già la copy fa questa cosa. Per caml preferiva un dizionario ricorsivo ad un (ide.exp)list e ci tiene che nell'apply over la prima...

Altro materiale dal gruppo telegram: https://drive.google.com/open?id=1bW-SkFRQd0kRhpxnjTC_iTHBf5l25DCCl3DnBcCux1w https://drive.google.com/open?id=1C5XBz0fmEY2R4Q838DIA8u0RO6-1bqNsPZMcg6Cc-bc Appunti, divisi in java e ocaml. Non è molto ma magari danno una mano! Appunti dell'anno scorso (2018) http...

L'orale è una discussione del progetto, Java, si era segnata queste osservazioni: - Invariante di rappresentazione scritta a parole, la preferiva scritta in modo più formale / simbolico - Documentazione (elemento tipico, throws, requires, eccetera) scritta nelle implementazioni. Va scritta nell'inte...

Rispondo anni dopo, ma l'es 2 mi sembra giusto, e nell'es1 mi sembra manchi solo la definizione dei tipi esprimibili [e credo che (r : int, g : int, b : int) -> (sem r env, sem g env, sem b env) dovrebbe essere r : Int, g : Int, b : Int) -> (r, g, b) o qualcosa del genere]

Usando la notazione che usa nelle soluzioni del 2019:

Carico qui così non rischia di perdersi negli anni, anche se probabilmente è già su storage.informateci.it

Dal gruppo telegram Fa domande sul progetto o anche sulle slide? Fabio Entrambe, chiede parecchia roba delle slide L'orale è suddiviso in 3 parti: - Presentazione App - Visione del codice dell'app - Domande teoriche su ciò che non hai usato nello sviluppo Basta studiare bene le slide oppure bisogna ...

Le dispense aggiornate a quest'anno si possono trovare agli indirizzi http://pages.di.unipi.it/degano/ECC-uno.pdf http://pages.di.unipi.it/degano/ECC-due.pdf Le allego nel caso le sposti / tolga, ma tenete presente che probabilmente vuol dire che son state cambiate (anche se di solito vengono cambia...

MindFlyer Sì, è una tipica domanda da esame, quindi non ti rispondo in modo diretto perché è più utile pensarci prima un po'. Scrivi un approccio di soluzione, poi se ti blocchi la sistemiamo insieme. goblin92 Avevo pensato di definire una funzione \psi(x,y) che se x \in K= indefinita , altrimenti ...

caos la dimostrazione è stata un po' confusa. A freddo farei vedere che non vale (definizione di i.i.r.f.): \forall x \in K . \phi_x = \phi_y \Rightarrow y \in K per fare questo si prenda la funzione: \varphi_k (y) = \psi (x, y) = \left\{ \begin{array}{ll} 42 & \mbox{if } y = k \\ indefinita &a...