TEST 13

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________

• Definire in Scheme e in Haskell, il tipo di dato astratto Simple Type, i cui elementi rappresentano cioe' i tipi utilizzati nel sistema di inferenza di tipi a' la Curry:                      T ::= φ | T → T  . Aiutino: per rappresentare le variabili di tipo, si considerino essere della forma phi0, phi1, phi2, phi3, ....
  
  

• Utilizzando il tipo di dato definito nel punto precedente, definire la funzione Scheme che, presa una variabile φ e un tipo ρ, restituisce l'operazione di sostituzione (φ ρ).

•  Definire una funzione Scheme Miciomiao che, prese in input due funzioni f e g da naturali a naturali, restituisca una funzione che vale come f sui valori dispari e come g sui valori pari.