Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2009-11-08

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
08:27 sea-gull joined #darcs-theory
08:27 ertai joined #darcs-theory
08:27 mornfall joined #darcs-theory
09:35 sea-gull joined #darcs-theory
09:35 ertai joined #darcs-theory
09:35 mornfall joined #darcs-theory
11:53 iago joined #darcs-theory
14:33 onetom joined #darcs-theory
14:33 onetom hello guys
14:34 onetom im thinking about implementing darcs in rebol
14:35 onetom im not very satisfied w the current state of the code and its dependencies and the size of the whole stack
14:36 onetom the problem is i dont speak haskell, so i cant really use the current code base as a reference (yet)
14:37 onetom which is the most comprehensive documentation about the theory?
14:38 onetom and if its a bad idea to implement it in an other language, then why?
14:41 onetom http://wiki.darcs.net/DarcsWiki/PatchTheory doesnt seem to exist :/
14:42 iago well, I think that your main problem will be to do an efficient implementation
14:43 iago I'm not a darcs expert but seems quite hard
14:45 iago One of the Camps project goals is to formalize the patch theory
14:45 iago Camp*
14:45 iago http://projects.haskell.org/camp/
14:46 iago "There are currently two efforts to formalise camp's correctness in coq. One is interleaved with the theory docs, in the camp theory repository: ...." <--
14:48 onetom http://wiki.darcs.net/Theory <-- this should go to the topic
14:48 iago AFAIK this description is informal
14:49 onetom yes, i saw the camp video
14:50 onetom ok, thx, i try to read more
14:56 iago np
15:05 onetom maybe i will  try  will try the merge algorithms 1st using an existing darcs repo..
16:00 arjanb joined #darcs-theory
16:07 iago onetom: http://darcs.net/manual/node9.html
16:07 iago did you see the darcs manual "Theory of patches" section?
18:29 onetom iago: no. i read the manual 4-5yrs ago and i never looked back to it much
18:29 onetom so,o thx for mentioning
18:30 tux_rocker joined #darcs-theory
22:35 tux_rocker joined #darcs-theory

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary