Infinito negativo in Lisp

Question

Sto cercando il modo standard per rappresentare l'infinito negativo in Lisp. Esiste un valore simbolico che è riconosciuto dalle funzioni aritmetiche di Lisp come meno di tutti gli altri numeri?

In particolare, sto cercando un modo elegante per scrivere il seguente:

(defun largest (lst) 
    "Evaluates to the largest number in lst" 
    (if (null lst) 
    ***negative-inifinity*** 
    (max (car lst) (largest (cdr lst))))) 

Answer 1

ANSI Common Lisp ha bignum, che può utilizzato per rappresentare arbitrariamente grandi numeri fino a quando si dispone di spazio sufficiente, ma non specifica un "infinito "valore. Alcune implementazioni possono, ma questo non fa parte dello standard.

Nel tuo caso, penso che devi ripensare il tuo approccio in base allo scopo della tua funzione: trovare il numero più grande in una lista. Cercando di trovare il numero più grande in una lista vuota non è valido/non ha senso, quindi, quindi si desidera fornire per quel caso. Quindi puoi definire una precondizione e, se non è soddisfatta, restituire nil o segnalare un errore. Che in effetti è ciò che fa la funzione integrata max.

(apply #'max '(1 2 3 4)) => 4 
(apply #'max nil) => error 

---

EDIT: Come sottolineato di Rainer Joswig, Common Lisp non consente arbitrarily long argument lists, quindi è meglio usare reduce invece di apply.

(reduce #'max '(1 2 3 4)) 

Answer 2

Non c'è niente di simile in ANSI Common Lisp. Le implementazioni comuni di Lisp (e persino le applicazioni matematiche) differiscono nella loro rappresentazione dell'infinito negativo.

Per esempio in LispWorks per i doppi carri:

CL-USER 23 > (* MOST-NEGATIVE-DOUBLE-FLOAT 10) 
-1D++0