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

Browse archivesActive forum topics 
Recent comments
9 hours 9 min ago
11 hours 25 min ago
13 hours 16 min ago
16 hours 55 min ago
1 day 6 hours ago
1 day 9 hours ago
1 day 15 hours ago
2 days 1 hour ago
2 days 2 hours ago
2 days 4 hours ago