TEST 14

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 CreaSumToFrom che, presa in input una funzione unaria f su interi, restituisca in output la funzione binaria che, presi n ed m, con n<=m, restituisce  f(n)+f(n+1)+...f(m).