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

Groups > comp.lang.haskell > #642

Re: Types

From ram@zedat.fu-berlin.de (Stefan Ram)
Newsgroups comp.lang.haskell
Subject Re: Types
Date 2026-04-20 19:32 +0000
Organization Stefan Ram
Message-ID <quotation-20260420202955@ram.dialup.fu-berlin.de> (permalink)
References <types-20260419194256@ram.dialup.fu-berlin.de> <87y0ii7iq1.fsf@posteo.de> <types-20260420112337@ram.dialup.fu-berlin.de> <87a4ux5war.fsf@nightsong.com>

Show all headers | View raw

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 ignore non-terminating
|functions and bottoms, and treat Hask as bona fide Set. 1
. . .
|-----------------------------------
|1 Nils Anders Danielsson, John Hughes, Patrik Jansson, 
|Jeremy Gibbons, Fast and Loose Reasoning is Morally Correct. 
|This paper provides justification for ignoring bottoms in
|most contexts.
|
Quoted from "Category Theory for Programmers".

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