On 04/11/2013 03:29 PM, Jacob Carlborg wrote: > What's the point of that. Just have "strong" mean const/immutable parameters. The point is to have a way for me, the programmer, to say to the compiler: "I mean for this function to be strongly pure, can you confirm whether my choice of function inputs supports this please?"