Testul 1 efecte laterale, recursivitate, functii de ordin superior;

Testul 2 tipuri & tipare (asta poate fi pusa si in testul 2) (poate si inferenta de tip), polimorfism & ADTs, clase, calcul lambda

Testul 3 Scheme, evaluare normala vs. lazy

Testul 4 Prolog