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  6385 reads

Browse archives
Active forum topics

Recent comments
20 weeks 21 hours ago
24 weeks 2 days ago
26 weeks 23 min ago
26 weeks 27 min ago
28 weeks 4 days ago
33 weeks 2 days ago
33 weeks 2 days ago
33 weeks 5 days ago
33 weeks 5 days ago
36 weeks 3 days ago