Re: [TYPES] types
Andreas Rossberg <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On May 13, 2014, at 17:00 , Martin Escardo <[email protected]> wrote: > I seem to vaguely recall that in the remote past, types in some programming languages were called "modes" (Algol?). So to find the literature before types in logic and in programming languages "converged" one probably has to look for that keyword. M. That was Algol-68, which invented all sorts of new terminology, most of which is rather obscure from today’s perspective. But indeed, I always wondered why in particular they departed from the “type” terminology of earlier Algol. Maybe that’s an indicator that “type” wasn’t yet a standard notion in the PL world at the time? /Andreas