Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.haskell > #641
| Path | csiph.com!eternal-september.org!feeder.eternal-september.org!nntp.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | Paul Rubin <no.email@nospam.invalid> |
| Newsgroups | comp.lang.haskell |
| Subject | Re: Types |
| Date | Mon, 20 Apr 2026 11:19:40 -0700 |
| Organization | A noiseless patient Spider |
| Lines | 13 |
| 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> |
| MIME-Version | 1.0 |
| Content-Type | text/plain |
| Injection-Date | Mon, 20 Apr 2026 18:19:42 +0000 (UTC) |
| Injection-Info | dont-email.me; posting-host="93dac96adf874ab9559349f5089abd0b"; logging-data="1000454"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19oHoaVsvazU1GSW1dRwdZW" |
| User-Agent | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
| Cancel-Lock | sha1:APRQFQyOXP7q4wkNW3Zj9RxvCto= sha1:dxOAvZDpMcEfc2OtLgWAYgFKjRU= |
| Xref | csiph.com comp.lang.haskell:641 |
Show key headers only | View raw
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