Groups | Search | Server Info | Login | Register

Groups > comp.lang.misc > #11764

Re: Removing influences from a language

From Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
Newsgroups comp.lang.misc
Subject Re: Removing influences from a language
Date 2026-02-09 23:44 +0000
Organization A noiseless patient Spider
Message-ID <10mdrgh$37d0h$2@dont-email.me> (permalink)
References (16 earlier) <10lqg2f$5he9$3@dont-email.me> <10mabgp$222s1$1@dont-email.me> <10maev5$1h1k5$2@dont-email.me> <10md3nh$2u3jf$1@dont-email.me> <lists-20260209183741@ram.dialup.fu-berlin.de>

Show all headers | View raw

On 09/02/2026 18:01, Stefan Ram wrote:
> Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote or quoted:
>> I think a lot of these things are hold-overs from mathematical
>> formalisation in logic, where lists (the formal object) are encoded as
>> terms in predicative form: datum(colors, list(red,green,blue,purple,
>> foosha512).
>> That's a syntactic sugar for something like:
>> datum(colors, .(red,.(green,.(blue,.(purple,.(foosha512,nil))))))
> 
>   A list is something that has a /head/ ("red") and a /rest/ "green
>   . . .". An enum is better formalized as a finite set of symbolic
>   constants, sometimes with a bijection to an integral interval.

Expressed in a string, it is ordered so a list is appropriate. An enum
(short for "enumeration") in particular is ordered naturally.

-- 
Tristan Wibberley

The message body is Copyright (C) 2026 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.

Back to comp.lang.misc | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Removing influences from a language bart <bc@freeuk.com> - 2025-11-08 16:16 +0000
  Re: Removing influences from a language Mikko <mikko.levanto@iki.fi> - 2025-11-09 12:30 +0200
    Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-09 12:22 +0100
      Re: Removing influences from a language "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2025-11-09 14:20 +0100
      Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-09 14:09 +0000
        Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-09 15:40 +0100
          Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-09 15:17 +0000
            Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-09 17:42 +0100
              Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-09 20:07 +0000
              Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-02 02:32 +0000
            Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-09 23:35 +0000
              Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-10 00:56 +0000
                Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-10 01:02 +0000
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-10 01:12 +0000
                Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-10 03:51 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-10 09:14 +0100
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-10 11:00 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-10 14:13 +0100
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-10 16:20 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-10 17:33 +0100
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-10 21:01 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2025-11-11 12:33 +0100
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-02 03:13 +0000
                Re: Removing influences from a language Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-11 12:59 +0100
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-11 15:08 +0000
                Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-11 20:44 +0000
                Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-11 23:16 +0000
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-02 03:09 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2026-02-02 11:32 +0100
                Re: Removing influences from a language Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-02-02 16:32 +0100
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-08 15:52 +0000
                Re: Removing influences from a language Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-02-08 17:51 +0100
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-09 16:58 +0000
                Re: Removing influences from a language ram@zedat.fu-berlin.de (Stefan Ram) - 2026-02-09 18:01 +0000
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-09 23:44 +0000
                Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-02-10 06:41 +0000
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-10 14:40 +0000
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-09 23:40 +0000
                Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-05 19:49 +0000
                Re: Removing influences from a language ram@zedat.fu-berlin.de (Stefan Ram) - 2026-02-06 03:01 +0000
                Re: Removing influences from a language ram@zedat.fu-berlin.de (Stefan Ram) - 2026-02-11 12:07 +0000
                Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-02-11 22:44 +0000
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2026-02-12 16:56 +0100
                Re: Removing influences from a language Michael S <already5chosen@yahoo.com> - 2026-02-08 11:01 +0200
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2026-02-08 14:37 +0100
                Re: Removing influences from a language Michael S <already5chosen@yahoo.com> - 2026-02-08 15:57 +0200
                Re: Removing influences from a language David Brown <david.brown@hesbynett.no> - 2026-02-08 16:34 +0100
              Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-02 02:39 +0000
          Re: Removing influences from a language Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-02-02 02:07 +0000
    Re: Removing influences from a language Lawrence D’Oliveiro <ldo@nz.invalid> - 2025-11-09 20:59 +0000
  Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-13 17:16 +0000
  Re: Removing influences from a language bart <bc@freeuk.com> - 2025-11-13 22:39 +0000

csiph-web