Groups | Search | Server Info | Login | Register

Re: Removing influences from a language

From	ram@zedat.fu-berlin.de (Stefan Ram)
Newsgroups	comp.lang.misc
Subject	Re: Removing influences from a language
Date	2026-02-09 18:01 +0000
Organization	Stefan Ram
Message-ID	<lists-20260209183741@ram.dialup.fu-berlin.de> (permalink)
References	(15 earlier) <10lpufj$hsr7$1@dont-email.me> <10lqg2f$5he9$3@dont-email.me> <10mabgp$222s1$1@dont-email.me> <10maev5$1h1k5$2@dont-email.me> <10md3nh$2u3jf$1@dont-email.me>

Show all headers | View raw

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.

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