Pure higher order functions

[KennyTM~]

On Jul 7, 11 10:02, bearophile wrote:
> Jonathan M Davis:
>
>> I don't think that it makes any sense to talk about a pure struct or class. Functions are pure, not types.<
>
> In my opinion, if D wants to solve the issue of pure HOFs, then it has to decide (or invent) what a pure struct (instance, if you want) is.
>
> Bye,
> bearophile

A method 'S.f(T) constness' is pure iff 'f(ref constness(S) this, T)' is 
pure. No pure struct needed.