9 Mar
2007
9 Mar
'07
3:20 p.m.
| I think | | data Dynamic where | Dynamic :: a -> TypeRep -> Dynamic | | would be better, as it would cache the TypeRep for fast equality, while | the 'Typeable' version would perhaps have to go through a dictionary | lookup to get at it. But the dictionary would presumably contain a cached version, since the result is independent of the argument. So I doubt this is a big issue in practice. Simon