User loginNavigation 
if Records  Labels = Tuples then Rows  Labels = what?I have been reading up on row/record polymorphism (thanks to Andreas and Daniel for the pointers), but so far I haven't seen anything which apply the concept of a row variable to tuples. If I understand my theory correctly, record types without labels are in fact tuples (or product types if you prefer). So if you have a row without labels, what would that be? An "unlabeled row"? Viewed from another angle, I want to describe tuples with row variables. The nitty gritty of the whole thing is that I am working on devising an acceptable way to describe stack configurations using type theory. A stack with an integer on top, and anything else on the bottom can be described as: T = int * A where A is the "unlabelled row variable". Perhaps these are examples of "stack types" or I could call them "column types" to distinguish them from rows? Any ideas or suggestions would be much appreciated! By cdiggins at 20061118 19:54  LtU Forum  previous forum topic  next forum topic  other blogs  6475 reads

Browse archives
Active forum topics 
Recent comments
20 weeks 6 days ago
20 weeks 6 days ago
20 weeks 6 days ago
43 weeks 20 hours ago
47 weeks 2 days ago
48 weeks 6 days ago
48 weeks 6 days ago
51 weeks 4 days ago
1 year 4 weeks ago
1 year 4 weeks ago