Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2015-01-21

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

All times shown according to UTC.

Time Nick Message
02:07 mizu_no_oto joined #darcs
02:08 Riastradh joined #darcs
02:13 Riastradh If I want to understand Darcs's patch algorithms, what should I read?  (Asking not from a user's perspective, but from an implementor's perspective.)
02:15 Riastradh Also, did any publications or products come out of the Camp project?  The web site at <http://projects.haskell.org/camp/> suggests to me it didn't go very far, but perhaps I'm not looking in the right place.
02:36 Riastradh The literature I've been skimming so far seems concerned mainly with very high level formalizations of patches and properties patch systems ought to satisfy, without going into details about how patches are computed from before/after, how patch commutations are computed, &c.
03:45 carter_cloud joined #darcs
03:45 ggherdov` joined #darcs
04:09 IbnFirnas joined #darcs
04:12 carter_cloud joined #darcs
04:23 amgarchIn9 joined #darcs
04:24 ggherdov` joined #darcs
04:28 mizu_no_oto joined #darcs
05:01 netogallo joined #darcs
05:32 IbnFirnas joined #darcs
07:49 Heffalump Riastradh: I suspect the source in Darcs.Patch would be the best place for the details
11:34 Thaalos joined #darcs
11:34 c74d joined #darcs
11:34 Thaalos joined #darcs
12:59 mizu_no_oto joined #darcs
14:40 netogallo joined #darcs
15:01 mizu_no_oto joined #darcs
15:04 IbnFirnas joined #darcs
15:38 Riastradh Heffalump: Hmm, OK.  Pooh.  Was hoping I wouldn't have to read twenty thousand lines of Haskell full of GADTs and type witnesses and other quirky things I don't even know about yet to get a sense of the algorithms it uses and their time and space complexity.
15:39 Riastradh *poof*
15:57 netogallo joined #darcs
17:07 mizu_no_oto joined #darcs
17:12 amgarchIn9 joined #darcs
17:27 amgarchIn9 joined #darcs
18:05 Riastradh joined #darcs
19:06 amgarchIn9 joined #darcs
19:31 amgarchIn9 joined #darcs
19:57 IbnFirnas joined #darcs
20:16 mizu_no_oto joined #darcs
21:02 ilbot3 joined #darcs
21:02 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.8.5 is out http://darcs.net/Releases/2.8
21:56 mizu_no_oto joined #darcs
23:10 fr33domlover joined #darcs

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