[Haskell-cafe] A tale of Project Euler

[Stefan O'Rear]

On Thu, Nov 29, 2007 at 09:10:16PM +0000, Andrew Coppin wrote:
> Sebastian Sylvan wrote:
>> On Nov 29, 2007 6:43 PM, Andrew Coppin <andrewcoppin at btinternet.com> 
>> wrote:
>>   
>>> I don't understand the ST monad.
>>>     
>>
>>
>> There's not a whole lot to understand if you just want to use it
>> (though it's all very cool from a theoretical standpoint too).
>
> From what I can tell, it's not definable without using strange language 
> extensions. (I don't really like using things where it's unclear why it 
> works.)

You can't implement IO in H98 either.  You just have to accept it as a
given.

(As far as ST goes, runST is unsafePerformIO renamed.  The only tricky
bit is proving safety.)

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20071129/c84209cd/attachment.bin