[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OFFTOPIC] Re: Appending lists
From: |
Stefan Monnier |
Subject: |
Re: [OFFTOPIC] Re: Appending lists |
Date: |
Fri, 18 Jun 2021 22:43:20 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> [ The relationship being that type theory is generally
>> associated with constructive logic rather than with
>> classical logic. ]
> Eh, "type theory"? Are we talking types like in
> a programming language? There is a theory behind that?
You might also want to start with
https://en.wikipedia.org/wiki/Type_theory
What you're thinking of is usually called "(computational) type systems"
instead, as in
https://en.wikipedia.org/wiki/Type_system
As the first says:
Type theory is closely related to, and in some cases overlaps with,
computational type systems, which are a programming language feature
used to reduce bugs.
-- Stefan
- Re: Appending lists, (continued)
- Re: Appending lists, tomas, 2021/06/16
- Re: Appending lists, Emanuel Berg, 2021/06/16
- [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/16
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Eduardo Ochs, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists,
Stefan Monnier <=
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/21
- Re: [OFFTOPIC] Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: Appending lists, tomas, 2021/06/19
- Re: Appending lists, Emanuel Berg, 2021/06/16
- Re: Appending lists, Emanuel Berg, 2021/06/16
- RE: [External] : Re: Appending lists, Drew Adams, 2021/06/16
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/16