Hi Saulo, Here are some points of doubt:
- What is the type of a function that produces arbitrary HTML snippets. Is xbody correct? - What is the name of "show" and "eq" functions? I used "show_list", "show_gameState", "show_pair", and "eq_pair" instead of just "show" and "eq". Is this correct? - Is there a more convenient syntax for list construction than "1 :: 2 :: 3 :: []", something like "[1, 2, 3]"? - I had to pass both a "gameState" and a "source gameState" parameter to the "render" function (for the same game state). Is there a way around that? - I minimized the use of mutable data. So when the game state changes much of the page gets updated. This should probably be done in a more fine-grained way in reality. - Does Ur/Web do tail-call optimization? - Will there be other collections beyond lists (dictionary/map, array)? Best, Michael > On 12 Oct 2016, at 16:27, Saulo Araujo <[email protected]> wrote: > > Hi Michael, > > Thanks for sharing your game with the community. I skimmed its source code > and I did not found anything that I would qualify as a non-canonical use of > Ur/Web. However, beware that I am an Ur/Web beginner too :) Maybe you can > pinpoint which parts of the code you are afraid are non-canonical uses of the > language... > > Sincerely, > Saulo > > On Wed, Oct 12, 2016 at 8:33 AM, Michael Rohs > <[email protected]> wrote: > Hi, > > As part of my exploration of Ur/Web I wrote a tiny browser-based adventure > game. > > https://github.com/mirohs/urweb-adventure > > It might be helpful to others looking at the language. If you find > non-canonical use of the language (I guess there is some...), please let me > know. > > Cheers, > Michael > > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
