Andre W B Furtado wrote:
> I found the following text when visiting the Clean (a functional language)
> site:
>
> "Clean is the only functional language in the world which has a special type
> system, uniqueness typing. It enables to update function arguments
> destructively retaining the purity
> Simon Peyton-Jones <[EMAIL PROTECTED]> writes:
>> | How about extending TC with a branch for abstraction: | | TC ::= ...
>> | | /\a. TC -- abstraction | | This is too powerful and will get out
>> of control -- we surely
>> | don't want to give TC the full power of lambda-calculus. So let's
>>im
>>> Does anybody know of work using monads to encapsulate a source of
>>> random numbers?
>> Is the global random number generator, in section
>> 17.3 of the Haskell 98 library report, the sort of thing you're after?
> No; that appears to embed a generator in the IO monad. Not what I'd
> hoped f