Groups | Search | Server Info | Login | Register
Groups > comp.lang.haskell > #641
| From | Paul Rubin <no.email@nospam.invalid> |
|---|---|
| Newsgroups | comp.lang.haskell |
| Subject | Re: Types |
| Date | 2026-04-20 11:19 -0700 |
| Organization | A noiseless patient Spider |
| Message-ID | <87a4ux5war.fsf@nightsong.com> (permalink) |
| References | <types-20260419194256@ram.dialup.fu-berlin.de> <87y0ii7iq1.fsf@posteo.de> <types-20260420112337@ram.dialup.fu-berlin.de> |
ram@zedat.fu-berlin.de (Stefan Ram) writes:
> . So he says that Haskell types are not exactly sets, but
> according to him this is because they have the additional
> value "bottom" ("_|_"), otherwise they would be sets as I
> understand him.
>
> He does not actually wrote a demo for this interpretation,
> he just explained it as quoted above.
The article "Fast and loose reasoning is morally correct", about typing
judgments in the presence of bottom and seq, might be of interest here.
https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf
Back to comp.lang.haskell | Previous | Next — Previous in thread | Next in thread | Find similar
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
csiph-web