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

Groups > comp.lang.haskell > #645

Re: Types

Show all headers | View raw

On 20/04/2026 20:32, Stefan Ram wrote:
> Paul Rubin <no.email@nospam.invalid> wrote or quoted:
>> The article "Fast and loose reasoning is morally correct", about typing
>> judgments in the presence of bottom and seq, might be of interest here.
> 
>   Yes, I know - because exactly this is what the book said.
>   I just omitted it for brevity. But here's the full quotation:
> 
> |From the pragmatic point of view, it’s okay to ...

That doesn't really mean much. Pragmatics is kind of the effect of a
language - what it causes. That is, if you ignore them, you do more stuff.

So from the point of view of doing more stuff, regardless of whether its
what you mean to do, it's okay.


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