Simen kjaeraas: > So it is basically exactly like D, only no mutable global state?
It's similar, of couse. I think there is no 'pure' tag, the compiler infers if a method is pure on the base of its arguments. In D even a function that is technically pure is not seen as pure of you don't tag it with 'pure'. Bye, bearophile