Italian subtitles

← 01ps-02 Miglioramenti Facoltativi

Get Embed Code
4 Languages

Showing Revision 3 created 06/24/2014 by Fran Ontanaya.

  1. Come compito a casa, voglio questi intervalli come abbiam visto.
  2. Ma se vuoi una vera sfida, eccoti dell'altro.
  3. Per esempio, puoi anche prender nota dei tipi di variabili,
  4. per esempio, il tipo di x e' uguale al tipo 2.
  5. Oppure potresti vedere se ci sono pattern di strutture set,
  6. per esempio, potresti segnalare che la variabile x
  7. e' compresa nell'elenco di valori 2, 4 e 16.
  8. Le relazioni tra variabili:
  9. nella funzione square-root, la variabile y ha sempre lo stesso valore del valore di rientro.
  10. Non c'e' niente di eccezionale, perche' effettivamente ritorna y, ma e' una proprieta' interessante.
  11. Allo stesso modo, il valore di rientro della funzione square-root
  12. e' sempre minore o uguale al valore di cui vogliamo calcolarne la radice.
  13. Potrai ottenere queste relazioni tra variabili
  14. creando un pattern, tipo == o <=
  15. e istanziando questo pattern per tutte le variabili
  16. e poi vedere quale schema regge veramente dopo esecuzioni multiple.
  17. Detto questo, divertiti a creare il tuo controllore dinamico di invarianti
  18. e facilitare la scrittura di asserzioni per le future generazioni. Grazie.