Re: Church numerals in early lisp implementations?

Liste des GroupesRevenir à cl lisp 
Sujet : Re: Church numerals in early lisp implementations?
De : jshem (at) *nospam* yaxenu.org (Julieta Shem)
Groupes : comp.lang.lisp
Date : 12. May 2024, 21:55:46
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <877cfykdod.fsf@yaxenu.org>
References : 1 2
Alan Bawden <alan@csail.mit.edu> writes:

Julieta Shem <jshem@yaxenu.org> writes:
>
   McCarthy wrote this in ``History of Lisp''.
>
   > Numbers were originally implemented in LISP I as lists of atoms, and
   > this proved too slow for all but the simplest computations.
>
   Was that Church numerals?
>
Certainly not.
>
The "atoms" is question were probably machine words containing the
digits of the number in some suitable base.  I would guess base 2^36 or
2^35, depending on how they chose to represent negative numbers --
similar to the way GMP still works today.  But I don't know for sure.
I've never seen this documented anywhere.

Do you know if they have big numbers in those early implementations?
(Why would they use a list of things?)  I'm now thinking that by ``list
of atoms'' (and with the light of from your post) they were supporting
big numbers.  Their algorithms were perhaps naive, explaining ``the too
slow for all but the simplest computations''.  Thanks!

Date Sujet#  Auteur
11 May 24 * Church numerals in early lisp implementations?8Julieta Shem
11 May 24 +- Re: Church numerals in early lisp implementations?1Daniel Cerqueira
12 May 24 +* Re: Church numerals in early lisp implementations?3Alan Bawden
12 May 24 i`* Re: Church numerals in early lisp implementations?2Julieta Shem
18 May 24 i `- Re: Church numerals in early lisp implementations?1steve
16 May 24 `* Re: Church numerals in early lisp implementations?3steve
17 May 24  `* Re: Church numerals in early lisp implementations?2Lawrence D'Oliveiro
21 May 24   `- Re: Church numerals in early lisp implementations?1Stefan Monnier

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal