From b4ef95bfe1fda58410d35d9b903df157c57862e3 Mon Sep 17 00:00:00 2001 From: MetMattone <115347319+MetMattone@users.noreply.github.com> Date: Tue, 9 Jan 2024 19:05:41 +0100 Subject: [PATCH] Update README.org fatta documentazione di lisp --- Lisp/README.org | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Lisp/README.org b/Lisp/README.org index a0207a8..d4e66fa 100644 --- a/Lisp/README.org +++ b/Lisp/README.org @@ -343,11 +343,11 @@ Se nessuno di questi controlli va a buon fine il simbolo non è un'istanza della ** Controllo tipo valore Predicati dedicati al controlli dei tipi. -Nello specifico: - -possiamo controllare che tutti i campi della lista abbiamo il tipo corretto. - -possaimo controllare se il campo è una terna o una coppia valida (?). - -dato un campo e un valore possiamo verificare che il valore sia del tipo corretto in base al campo. - -dato un tipo e un valore possiamo controllare se il valore è del tipo specificato. +Nello specifico: +-possiamo controllare che tutti i campi della lista abbiamo il tipo corretto. +-possaimo controllare se il campo è una terna o una coppia valida (?). +-dato un campo e un valore possiamo verificare che il valore sia del tipo corretto in base al campo. +-dato un tipo e un valore possiamo controllare se il valore è del tipo specificato. #+begin_src lisp :tangle ool.lisp (defun validate-fields-type (fields) (cond ((null fields) nil) -- 2.52.0