20 Mar
2005
20 Mar
'05
8:32 a.m.
This was brought up in passing in a recent conversation on haskell-cafe http://www.haskell.org//pipermail/haskell-cafe/2005-March/009321.html It certainly seems like an interesting idea, Would type inference still work okay? The other problem mentioned is that they are not quite isomorphic, since HLists are equivalant to (a,(b,c)) rather than (a,b,c), but changing HCons so that it is strict in its second argument makes them behave the same I think.. John -- John Meacham - ⑆repetae.net⑆john⑈