Although, for many types, there is more than one possible way to implement a Memo function, users may know a preferred way to memoize their own types. For them, it would be convenient to pick the Memo function using overloading rather than passing it around explicitly. (I am such a user.)
Although, for many types, there is more than one possible way to implement a
Memo
function, users may know a preferred way to memoize their own types. For them, it would be convenient to pick theMemo
function using overloading rather than passing it around explicitly. (I am such a user.)Would you accept a patch that adds:
?