Software Assurance Reference Dataset

[Timon Gehr via Digitalmars-d]

On 07/21/2014 06:56 AM, Walter Bright wrote:
> On 7/20/2014 8:15 PM, Timon Gehr wrote:
>> On 07/20/2014 10:50 PM, Walter Bright wrote:
>>> On 7/20/2014 3:27 AM, Dmitry Olshansky wrote:
>>>> Functional programming is full of simple recursion and it would be
>>>> nice not to
>>>> stack overflow in debug builds.
>>>
>>> Traditional FP languages don't have loops, and so must do recursion.
>>
>> Uh...
>>
>>> D has loops, even in pure functions,
>>
>> So does Haskell.
>>
>> import Control.Monad
>
> Uh-oh! Monad! :-)
>

The example just uses the ST Monad which is quite similar to weakly pure 
statements in D.