Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.haskell > #648

Re: Types

From ram@zedat.fu-berlin.de (Stefan Ram)
Newsgroups comp.lang.haskell
Subject Re: Types
Date 2026-06-12 13:17 +0000
Organization Stefan Ram
Message-ID <types-20260612141536@ram.dialup.fu-berlin.de> (permalink)
References <types-20260419194256@ram.dialup.fu-berlin.de> <110fa87$1np5k$5@dont-email.me> <sets-20260611235632@ram.dialup.fu-berlin.de> <110gus4$266ul$1@dont-email.me>

Show all headers | View raw

Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote or quoted:
>On 12/06/2026 00:05, Stefan Ram wrote:
>>... Haskell does /not/ deem them to be equal, which shows that
>>Haskell types are /not/ mathematical sets.
>Or they don't have the same elements:
>(ctorlabel-Apple, 0, 12) is not in Orange, and
>(ctorlabel-Orange, 0, 12) is not in Apple

  I'd say that that's the way /nominal types/ are /implemented/
  in some Haskell implementations. It seems that such tuplets are
  used /internally/ by some Haskell implementations using tuples
  starting with a data constructor label identifier.

  (ctorlabel-Apple, 0, 12) is an internal compiler symbol,
  but it is not part of the Haskell language proper, syntax,
  or specification. What you see in the language are then exactly
  these types as names (or as tags / labels), not types as sets.

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

Thread

Types ram@zedat.fu-berlin.de (Stefan Ram) - 2026-04-19 18:51 +0000
  Re: Types Jonathan Lamothe <jonathan@jlamothe.net> - 2026-04-19 17:17 -0400
    Re: Types ram@zedat.fu-berlin.de (Stefan Ram) - 2026-04-20 10:32 +0000
      Re: Types Paul Rubin <no.email@nospam.invalid> - 2026-04-20 11:19 -0700
        Re: Types ram@zedat.fu-berlin.de (Stefan Ram) - 2026-04-20 19:32 +0000
          Re: Types Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 22:48 +0100
      Re: Types 8128 <lambda@dr.com> - 2026-05-30 21:50 +0000
  Re: Types Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 22:44 +0100
    Re: Types ram@zedat.fu-berlin.de (Stefan Ram) - 2026-06-11 23:05 +0000
      Re: Types Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-12 13:42 +0100
        Re: Types ram@zedat.fu-berlin.de (Stefan Ram) - 2026-06-12 13:17 +0000
          Re: Types Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-12 15:17 +0100

csiph-web