On 07/22/2014 05:02 AM, Walter Bright wrote:
On 7/21/2014 3:25 PM, Timon Gehr wrote:The example just uses the ST Monad which is quite similar to weakly pure statements in D.D doesn't have weakly pure statements - it has weakly pure functions.
The type checker distinguishes between statements that are allowed in 'pure'-qualified functions and statements that are not.
