On 10/10/2014 5:25 PM, Simon A wrote: > D has native functional purity. Couldn't you get the same > benefits that you listed by allowing default constructors but > requiring them to be pure? I suspect that CTFE can accomplish most of that today - with the exception that CTFE will not allocate runtime memory for you.