Lauri wrote:
Sorts are typically constants, and there are usually a finite amount of them,
each presenting a level of the type system.
Indeed. The literature on generic programming sometimes uses the term
superkind to refer to the sort of BOX; see, for example,
Ralf Hinze and Johan
Simon, I think you are continuing to move forward admirably on this. Thank
you for contributing my suggestion to the wiki. I just edited the wiki with
some more commentary. In particular I added:
Frege has a detailed explanation of the semantics of its record
implementation, and the language is
| The lack of response, I believe, is just a lack of anyone who
| can cut through all the noise and come up with some
| practical way to move forward in one of the many possible
| directions.
You're right. But it is very telling that the vast majority of responses on
Yet another idea:
Consider using '\' as record access operator. No conflicts with anything at
all, and,
moreover, it really looks like hierarchical access. Reminds of filesystems
though.
Matthew Farkas-Dyck wrote
Another thought:
Perhaps bang as record selection operator. It would avoid
