User loginNavigation 
TypeSafe CastsFrom TypeSafe Casts by Stephanie Weirich
This is a Functional Pearl, which was recommended in a previous discussion here. So I'm looking at the pseudocode example given: sig type table val empty : table val insert : \forall 'a . table > (string * 'a) > table val find : \forall 'a . table > string > 'a end and I find myself wandering why not parameterize the table type (making it a kind). Retaining pseudocode: sig kind table['t] val empty : table[nil] val insert : \forall 'a . \forall 'b . table['b] > (string * 'a) > table['b  'a]] val find : \forall 'a . table['a] > string > 'a end As far as I know this is theoretically sound, or am I mistaken? I am still not comfortable with Haskell syntax so I was unable to decipher the rest of the paper. Any help would be appreciated. By cdiggins at 20070507 23:26  LtU Forum  previous forum topic  next forum topic  other blogs  4068 reads

Browse archivesActive forum topics 
Recent comments
1 week 3 days ago
1 week 4 days ago
1 week 4 days ago
3 weeks 4 hours ago
3 weeks 14 hours ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago