<br><br><div class="gmail_quote">On Fri, Mar 26, 2010 at 9:30 AM, Jeremy Shaw <span dir="ltr">&lt;<a href="mailto:jeremy@n-heptane.com" target="_blank">jeremy@n-heptane.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div>On Fri, Mar 26, 2010 at 10:30 AM, Michael Snoyman <span dir="ltr">&lt;<a href="mailto:michael@snoyman.com" target="_blank">michael@snoyman.com</a>&gt;</span> wrote:<br></div><div class="gmail_quote"><div>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="gmail_quote"><div>Well, given that as a criterion, I agree with the rest of your analysis entirely. However, I think we&#39;re looking at the purpose of fromPathSegments very differently. I&#39;m not quite certain I understand why we would want to output the unconsumed segments; if something is unconsumed, then it seems like it&#39;s an invalid URL and should fail.<br>




<br>In your example, if I request &quot;/Foo/5/6/7&quot;, fromPathSegments would return (Right (Foo 5 6), [&quot;7&quot;]); but what is going to consume that 7 now? The use case I envisioned for something like this is:<br>




<br>data BlogRoutes = ...<br>data MySite = MyHome | MyBlog BlogRoutes<br>fromPathSegments (&quot;blog&quot;:rest) = MyBlog `fmap` fromPathSegments<br><br></div></div></blockquote><div><br></div></div><div>But what if you had, </div>


<div><br></div><div><div>data BlogRoutes = ...</div><div>data Foo = ...</div><div>data MySite = MyHome | MyBlog Foo BlogRoutes</div><div><br></div><div>Where the MyBlog constructor has *two* arguments. In theory you want to write something like:</div>


<div><br></div><div>fromPathSegments (&quot;MyBlog&quot;:rest) = MyBlog `fmap` fromPathSegments ?? `ap` fromPathSegments ???</div><div><br></div><div>The first fromPathSegments will parse the &#39;Foo&#39; argument and the second fromPathSegments will parse the BlogRoutes argument. To make things more interesting, let&#39;s assume that Foo and BlogRoutes were defined in 3rd party modules that don&#39;t even know about each other your app.</div>


<div><br></div><div>The problem is, what arguments do you pass to each fromPathSegments call? The first call to fromPathSegments is going to consume some of the path segments, and the second call will consume the remaining. But we do not have enough information here to know in advance how to split up &#39;rest&#39; between the two calls. Instead we to run the first fromPathSegments and have it tell us what part it did not consume.</div>


<div><br></div><div>If what I have said still does not make sense, then try this exercise:</div><div><br></div></div><div>create 3 modules, one each for:</div><div><br></div><div><div>data BlogRoutes = BlogHome</div><div>


data Foo = Foo Int | Bar Char Int</div><div>data MySite =  MyBlog Foo BlogRoutes</div><div><br></div></div><div>now create fromPathSegments instances for each of those routes. I think you will find that it is difficult to implement the instance for MySite. Finally, can you now change the Foo type to:</div>


<div><br></div><div><div>data Foo = Foo Int Int | Bar Int Char Int</div><div><br></div><div>by *only* modifying the Foo module, and without breaking the MySite module?</div></div><div><br></div><div>Regarding the type:</div>


<div><br></div><div>data Foo = Foo Int Int</div><div><br></div><div>attempting to parse:</div><div><br></div><div>&quot;/Foo/5/6/7&quot;</div><div><br></div><div>I think that should be handled in, fromPathInfo :: (PathInfo u) =&gt; String -&gt; Failing u, when it calls fromPathSegments.</div>


<div><br></div><div>At that point in time we know that all the segments should have been consumed... so if there is left over junk, something is wrong. </div><div><br></div><div>The latest version of the code is now at:</div>


<div><br></div><div><a href="http://src.seereason.com/web-routes/" target="_blank">http://src.seereason.com/web-routes/</a></div><div><br></div><div>I did the renaming but have not made all the other changes yet.</div><div>

<br></div><font color="#888888"><div>
- jeremy</div></font></div>
</blockquote></div><br>Can you give me any real-world examples where you would have URL routes built up like that? It seems like this is an optimization for the abnormal case.<br><br>Michael<br>