]> git.leonardobizzoni.com Git - ObjectOriented-Prolog-Lisp/commitdiff
Errori grammaticali
authorLeonardoBizzoni <leo2002714@gmail.com>
Thu, 11 Jan 2024 17:19:21 +0000 (18:19 +0100)
committerLeonardoBizzoni <leo2002714@gmail.com>
Thu, 11 Jan 2024 17:19:21 +0000 (18:19 +0100)
Lisp/README.org

index 6c6779f3458fb726c31f9031b9afcb599290448b..63f9405262afe4e4cd5b6b7990578d8ceed7f91f 100644 (file)
@@ -225,8 +225,8 @@ ereditati dalle classi genitore.
    parents))
 #+end_src
 
-*** Ereditazione dai genitori
-Il problema dell'ereditazione dei campi, metodi e genitori dei genitori
+*** Ereditarietà dei genitori
+Il problema dell'ereditarietà dei campi, metodi e genitori dei genitori
 viene risolto unendo le informazioni relative alla classe figlio
 con quelle del primo genitore nella lista e procedendo ricorsivamente.
 
@@ -291,7 +291,7 @@ di 2 classi, il che tornerà utile nel controllo dei tipi.
 #+end_src
 
 *** Creazione di metodi
-Predicato utilizzato per define i metodi di una classe.
+Predicato utilizzato per definire i metodi di una classe.
 La definizione di un metodo viene effettuata tramite la creazione di una
 funzione "metodo" il cui nome corrisponde al nome del metodo da creare,
 prende degli argomenti in ingresso capitanati dall'istanza su cui chiamare
@@ -410,7 +410,7 @@ struttura di una classe./
 #+end_src
 
 ** Stabilire se un simbolo è un'istanza
-Il conportamente di questo predicato varia in base agli argomenti
+Il comportamento di questo predicato varia in base agli argomenti
 che gli vengono dati.
 
 Se viene dato solo un argomento allora il predicato deve stabilire se
@@ -460,13 +460,13 @@ siano del tipo indicato dal field della classe.
 Il secondo caso viene utilizzato principalmente durante la creazione di
 una classe principalmente per controllare che tutti i field definiti siano
 del tipo corretto.
-In particolare, dato che un field può essere sia una tupla /(name value)/ che
+In particolare, dato che un field può essere sia una coppia /(name value)/ che
 una tripla /(name value type)/, nel caso in cui /field/ non sia dotato di un
 tipo non si ha la necessità di effettuare alcun controllo
 su di esso, il /field/ avrà quindi un tipo /dinamico/.
 Viceversa se il /field/ è dotato di tipo, esso potrà essere:
 - un tipo implementato da lisp, dove il controllo del tipo del valore
-  viene svolta dalla funzione nativa /typep/
+  viene svolto dalla funzione nativa /typep/
 - una classe, dove il valore deve essere un'istanza della classe stessa
 
 #+begin_src lisp :tangle ool.lisp