If you redefine as follows:<br><br>server :: [Integer] -> Writer [String] [Integer]<br>server [] = return []<br>server (a:as) = do<br> tell ["Server " ++ show a]<br> rs <- server as<br> return (a:rs)<br>
<br>You get this for the output:<br><br><br>["Server 0","Server 1","Server 2","Server 3","Server 4","Server 5","Server 6","Server 7","Server 8","Server 9","Server 1
<br>0","Client 0","Client 1","Client 2","Client 3","Client 4","Client 5","Client 6","Client 7","Client 8","Client 9"]
<br><br>Then you just need to alternate the pattern. Though a real simulation of sever traffic would account for the packets <br>not being recieved, rerequested, or recieved out of order. It also depends whether you are simulating TCP or UDP.
<br><br><div><span class="gmail_quote">On 1/14/08, <b class="gmail_sendername">Jan Stranik</b> <<a href="mailto:janstranik@yahoo.de">janstranik@yahoo.de</a>> wrote:</span><blockquote class="gmail_quote" style="margin-top: 0; margin-right: 0; margin-bottom: 0; margin-left: 0; margin-left: 0.80ex; border-left-color: #cccccc; border-left-width: 1px; border-left-style: solid; padding-left: 1ex">
<div lang="EN-US" link="#0000ff" vlink="#800080"><div><p>Hello,</p><p>I am trying to simulate a client server traffic using recursive lazy evaluation. I am trying to do that in a recursive writer monad. </p><p>Following code is my attempt to simulate client server interaction and collect its transcript:
</p><p style="margin-left: 0.50in">{-# OPTIONS -fglasgow-exts #-}</p><p style="margin-left: 0.50in">module Main where</p><p style="margin-left: 0.50in"> </p><p style="margin-left: 0.50in">import Control.Monad.Writer.Lazy</p>
<p style="margin-left: 0.50in">simulation:: Writer [String] ()</p><p style="margin-left: 0.50in">simulation = mdo</p><p style="margin-left: 0.50in"> a <- server cr</p><p style="margin-left: 0.50in"> cr <- client $ take 10 a
</p><p style="margin-left: 0.50in"> return ()</p><p style="margin-left: 0.50in"> </p><p style="margin-left: 0.50in">server:: [Integer] -> Writer [String] [Integer]</p><p style="margin-left: 0.50in">server (a:as) = do
</p><p style="margin-left: 0.50in"> tell ["server " ++ show a]</p><p style="margin-left: 0.50in"> rs <- server as</p><p style="margin-left: 0.50in"> return ((a*2):rs)</p><p style="margin-left: 0.50in"> </p>
<p style="margin-left: 0.50in">server [] = return []</p><p style="margin-left: 0.50in"> </p><p style="margin-left: 0.50in">client:: [Integer] -> Writer [String] [Integer]</p><p style="margin-left: 0.50in">client as = do
</p><p style="margin-left: 0.50in"> dc <- doClient as</p><p style="margin-left: 0.50in"> return (0:dc)</p><p style="margin-left: 0.50in"> where </p><p style="margin-left: 0.50in"> doClient (a:as) = do</p><p style="margin-left: 0.50in">
tell ["Client " ++ show a]</p><p style="margin-left: 0.50in"> as' <- doClient as</p><p style="margin-left: 0.50in"> return ((a+1):as')</p><p style="margin-left: 0.50in">
doClient [] = return []</p><p style="margin-left: 0.50in"> </p><p style="margin-left: 0.50in">main = return $ snd $ runWriter simulation</p><p> </p><p>The problem that I see is that the transcript collected contains first all output from the server, and then output from the client.
</p><p>Here is an example of output that I see: </p><p>:["server 0","server 1","server 3","server 7","server 15","server 31","server 63","server 127","server 255","server 511","server 1023","Client 0","Client 2","Client 6","Client 14","Client 30","Client 62","Client 126","Client 254","Client 510","Client 1022"]
</p><p> </p><p>I would like to collect the output like:</p><p>:["client 0","server 0", "client 1",…]</p><p> </p><p>This would allow me to remove the ending condition in simulation (take 10), and instead rely fully on lazy evaluation to collect as many simulation steps as needed by my computation.
</p><p>I am still relatively new to the concepts of recursive monadic computations, so I would appreciate any suggestions from experts on this mailing list. </p><p> </p><p>Thank you</p><p> </p><p>Jan</p><p> </p></div></div>
<br>_______________________________________________<br>Haskell mailing list<br><a onclick="return top.js.OpenExtLink(window,event,this)" href="mailto:Haskell@haskell.org">Haskell@haskell.org</a><br><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://www.haskell.org/mailman/listinfo/haskell" target="_blank">
http://www.haskell.org/mailman/listinfo/haskell</a><br><br></blockquote></div><br>