Re: Renaming map->dict, class->type?
Michael Hendricks <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <CAFHuXuZc9iV=iVKzFenJ8k+g7u81=vezB0g30d28x9PsOG=GcA@mail.gmail.com> |
On Mon, Nov 25, 2013 at 12:41 PM, Jan Wielemaker <[email protected]> wrote: > > But words are overloaded :( I would prefer "type" over "class" for > > the same reason you state above. Maybe "kind"? > > Maybe right. At this moment, `type' isn't a very important concept > in Prolog, but surely we would like to keep the option open to > change that. I'm not against "kind", especially if there is a > precedent. Does anyone know that? > LIFE calls it "sort". That's the only precedent I know of. I like "kind" the best of the alternatives proposed. -- Michael -------------- next part -------------- HTML attachment scrubbed and removed