Re: Church numerals in early lisp implementations?

Liste des GroupesRevenir à cl lisp 
Sujet : Re: Church numerals in early lisp implementations?
De : alan (at) *nospam* csail.mit.edu (Alan Bawden)
Groupes : comp.lang.lisp
Date : 12. May 2024, 03:43:22
Autres entêtes
Organisation : ITS Preservation Society
Message-ID : <86frun24at.fsf@williamsburg.bawden.org>
References : 1
User-Agent : Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux)
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.

- Alan

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