[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [OFFTOPIC] Re: Appending lists

From: Eduardo Ochs
Subject: Re: [OFFTOPIC] Re: Appending lists
Date: Fri, 18 Jun 2021 22:20:53 -0300

On Fri, 18 Jun 2021 at 21:06, Emanuel Berg via Users list for the GNU
Emacs text editor <> wrote:
> Stefan Monnier wrote:
> >
> >
> > [ 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?
> I always thought it was just a matter of arranging 0s and 1 in
> a way that was agreed-upon locally to denote that something is
> something so it can be recognized and operated upon/used in
> certain ways?
> Much like a network communication protocol. Like question one,
> what does the messages look like (how are they organized)?
> Question two, in what order are they supposed to come?
> Question three, what does it all mean?
> And that's it?
> Well, maybe there is a theory to networks as well, now that
> I think about it. Of course there is. Bad example. But that
> still feels more theoretic than types, with node diagrams and
> stuff...

Hi Emanuel,

take a look at Benjamin Pierce's "Types and Programming Languages" -

and at Chapter 1 of the HOTT book:

  Eduardo Ochs

reply via email to

[Prev in Thread] Current Thread [Next in Thread]