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

Browse archivesActive forum topics 
Recent comments
16 hours 56 min ago
18 hours 56 min ago
1 day 51 min ago
1 day 17 hours ago
2 days 2 hours ago
2 days 13 hours ago
2 days 14 hours ago
2 days 14 hours ago
2 days 15 hours ago
2 days 16 hours ago