Re: [Ur] Documentation codes

2010-12-08 Thread Karn Kallio
 Hey folks,
 
 I've taken a look at the Ur/Web demos the other day and
 read a couple emails on the list.
 
 if anyone's worried about Ur/Web surviving or gaining
 wide-spread adoption, well, just fill in as much
 info/examples on the Wiki as you can, and add any usable
 code you might have, or link to your projects.
 
 For example, I'd be very interested in seeing what Marc
 did with the Ruby connector.
 
 Cya,
 Davor

Good idea!  Since I was quite confused about folders a couple of days ago ( 
until Adam pointed out the problem .. thanks! ) I put a sample of usage of 
fold on the Wiki.

http://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Adam Chlipala

Karn Kallio wrote:

if anyone's worried about Ur/Web surviving or gaining
wide-spread adoption, well, just fill in as much
info/examples on the Wiki as you can, and add any usable
code you might have, or link to your projects.
 

Good idea!  Since I was quite confused about folders a couple of days ago (
until Adam pointed out the problem .. thanks! ) I put a sample of usage of
fold on the Wiki.

http://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record
   


I've appended my own version of the code, which takes some convenient 
shortcuts.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Marc Weber
Excerpts from Karn Kallio's message of Wed Dec 08 16:08:21 +0100 2010:
 http://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record
Great. Does it make sense to create a new page for each snippet? 

I'd start a ur-snippets page and add all of them to one page. Then you
can even subscribe to changes - so you won't miss new ones.

Even better: What about creating a snippet library?
urweb eliminates dead code so collecting code at the begging could be
interesting to all.

Marc Weber

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Davor Ocelic
On Wed, 08 Dec 2010 16:23:43 +0100
Marc Weber marco-owe...@gmx.de wrote:

 Excerpts from Karn Kallio's message of Wed Dec 08 16:08:21 +0100 2010:
  http://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record
 Great. Does it make sense to create a new page for each snippet? 
 
 I'd start a ur-snippets page and add all of them to one page. Then you
 can even subscribe to changes - so you won't miss new ones.
 
 Even better: What about creating a snippet library?
 urweb eliminates dead code so collecting code at the begging could be
 interesting to all.

Great. Plus, it offers a convenient way for anyone knowledgeable
to go over the snippets and adjust/improve them to best-practice
form so it's a benefit for posters and readers.

We could even post snippets with description what we'd like done,
and wait for someone to fill the solution in ;-)

Cya,
Davor

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Marc Weber
Excerpts from Davor Ocelic's message of Wed Dec 08 16:31:45 +0100 2010:
 We could even post snippets with description what we'd like done,
 and wait for someone to fill the solution in ;-)

which vcs ? I'd suggest one of
fossil, git, mercurial, bazaar, monotone

I think its very important that everybody can push without asking.
I know about github and gitorious (git hosting services) which let you
add collaborators easily.

A git gist could do the job as well - however I don't know how long they
live.

fossil is great because it includes a wiki and a bug tracker. So you
could eventually also add tutorials (?) and read them offline.

Any preferences?

Marc Weber

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Davor Ocelic
On Wed, 08 Dec 2010 16:54:53 +0100
Marc Weber marco-owe...@gmx.de wrote:

 Excerpts from Davor Ocelic's message of Wed Dec 08 16:31:45 +0100
 2010:
  We could even post snippets with description what we'd like done,
  and wait for someone to fill the solution in ;-)
 
 which vcs ? I'd suggest one of
 fossil, git, mercurial, bazaar, monotone
 
 I think its very important that everybody can push without asking.
 I know about github and gitorious (git hosting services) which let you
 add collaborators easily.
 
 A git gist could do the job as well - however I don't know how long
 they live.
 
 fossil is great because it includes a wiki and a bug tracker. So you
 could eventually also add tutorials (?) and read them offline.
 
 Any preferences?

I thought you meant the snippet library on the Wiki, so everyone with
wiki write access can edit it.

But any other means wouldn't hurt either... git repos (and probably
all others) can easily be browsed from the web.

Davor

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] Documentation codes

2010-12-08 Thread Marc Weber
Excerpts from Davor Ocelic's message of Wed Dec 08 17:15:58 +0100 2010:
 But any other means wouldn't hurt either... git repos (and probably
 all others) can easily be browsed from the web.

You can't copy paste the wiki and run test code easily. Neither can you
use it as library without copy pasting code.
Moving towards a ur standard library would be fine :)

If nobody has a different preference I'm going to create a git gist
tomorrow.

Marc Weber

___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur