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

Groups > comp.lang.haskell > #647

Re: Types

Show all headers | View raw

On 12/06/2026 00:05, Stefan Ram wrote:
> Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote or quoted:
>> On 19/04/2026 19:51, Stefan Ram wrote:
>>> -- Both types have the exact same "extension" (two Integers)
>>> data Apple  = Apple Int Int
>>> data Orange = Orange Int Int
>> Why do you call the two integers the "extension" ?
> 

[An answer to a different question was snipped out here leaving
half an answer below]

>   ... 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



-- 
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.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