[web-devel] Type-safe URL handling

[Jeremy Shaw]

On Apr 3, 2010, at 3:37 PM, Chris Eidhof wrote:

> I'm sorry that I didn't have time to read and reply to everything,  
> but Michael, if you decide to go the TH way, why use an intermediate  
> datatype at all? Why not just map the /user/#userid directly to a | 
> handleUser| function?

That is what the version in yesod does. But there is second part to  
the problem. In your code where you use the URLs, you want to be able  
to ensure that you are only generating valid urls. That is where the  
type / web-routes comes into play.

Let me know if you want more explanation.

- jeremy