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

Browse archivesActive forum topics 
Recent comments
2 days 15 hours ago
3 days 15 hours ago
3 days 16 hours ago
3 days 17 hours ago
4 days 22 hours ago
4 days 23 hours ago
5 days 18 hours ago
5 days 19 hours ago
5 days 19 hours ago
6 days 11 hours ago