1 - Amiga Magazine Online

e proprio in tale veste abbiamo usato questa
funzione nella PROC main( ) del listato 1.
La Exists( ), che richiede gli stessi parametri
della ForAll( ), ha il comportamento com-
plementare: ritorna infatti TRUE se, per al-
meno uno degli elementi della , la
ritorna TRUE. Così, per verificare
che almeno uno degli elementi in p sia mag-
giore di zero, si può usare la Exists( ) in
questo modo:
IF Exists({x),p,'x>O) THEN ...
-> trova la lunghezza di una lista
PROC len(x) IS
IF x THEN len(Cdr(x))+l ELSE O
-> somma tutti gli elementi di una lista di interi
PROC sum(x) IS
IF x THEN Car(x)+sum(Cdr(x)) ELSE O
-> conta quanti elementi sono >O
PROC pos(x) IS
IF x THEN (IF Car(x)>O THEN 1 ELSE O)+pos(Cdr(x)) ELSE O
Una importante differenza consiste nel fatto
che, mentre ForAll( ) garantisce che verranno
valutati tutti gli elementi e quindi può es-
Listato 2 - PTOgrammazùme in st& Lhp.
sere usata come abbiamo visto per scorrere tutta una li- dal particolare linguaggio Assembler usato per la prima
sta, Exists( ) non fornisce questa garanzia e, quindi, non implementazione del Lisp). Il valore di una cella siffatta è
è utilizzabile per lo stesso scopo
L'ultima funzione di questo gruppo è:
un puntatore a un'area di memoria che contiene le due
LONG t e c; come abbreviazione, è possibile usare:
il cui significato è il seguente: per ogni elemento in , assegna e valuta la ; se quest'ultima
ritorna TRUE, poni l'elemento nella . In questo
modo è possibile selezionare dalla i soli elementi
che rispettino una determinata condizione, per esempio:
assegnerà a r la lista [1,2,1], ovvero i soli elementi mag-
giori di O nella lista originale. Come MapList( ), anche Se-
lectList( ) ritorna come proprio valore il puntatore alla li-
sta dei risultati.
Le celle LISP
Oltre alle LIST e alle liste collegate (tramite Link( )) di
STRING e LIST, il linguaggio E offre un ulteriore (!) tipo
di lista, basato sulle celle LISP, con caratteristiche molto
particolari. Una cella LISP è essenzialmente una coppia
di valori (LONG) sulla base della quale è possibile co-
struire qualunque altro tipo di struttura dati; tali coppie
vengono create e distrutte (quando non più necessarie)
in maniera automatica dal sistema. La forma più semplice
di una cella è:
come sinonimo per:
L'accesso ai due componenti di una cella può essere ot-
tenuto tramite le funzioni Car( ) e Cdr( ), che restituisco-
no la corrispondente parte della cella fornita come argo-
mento, oppure tramite l'indirezione degli array: se x è un
puntatore a una cella , valgono le equivalenze:
I1 valore "base" per le celle, è semplicemente:
che ha valore NIL (ecco perché abbiamo usato NIL per
terminare la lista nell'esempio precedente). Detto
questo, poiché la programmazione "alla Lisp" ha uno sti-
le completamente diverso da quella tradizionale (detta
anche "imperativa"), e poiché lo spazio è tiranno, non ci
rimane che rimandare i lettori interessati a qualche buon
volume sulla programmazione Lisp (ne esistono moltissi-
mi); per gli altri, l'esempio nel listato 2 può essere suffi-
ciente a dare un'idea di come appaia questo tipo di pro-
grammazione.
in cui la parte t viene detta testa o CAR, mentre la parte c I puntatori a funzione
viene detta coda o CDR; queste denominazioni derivano
dal linguaggio Lisp ed hanno origine storica (il folklore Ora che conosciamo le quoted expression, il concetto di
informatico vuole che CAR stia per "Contents of Address "puntatori al codice" dovrebbe esserci familiare. Abbiamo
Register" e CDR per "Contents of Decrement Register", anche rilevato alcune carenze delle quoted expression,