Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-10-23

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

All times shown according to UTC.

Time Nick Message
01:55 ilbot3 joined #darcs
01:55 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.12.5 is out http://darcs.net/Releases/2.12
05:54 ThomasLocke joined #darcs
05:54 ThomasLocke joined #darcs
08:03 Weltraumschaf joined #darcs
11:20 gh_ joined #darcs
14:25 Weltraumschaf joined #darcs
15:06 Weltraumschaf joined #darcs
15:09 Weltraumschaf_ joined #darcs
15:29 Weltraumschaf joined #darcs
16:21 gh_ joined #darcs
16:22 gh_ hi
16:34 Weltraumschaf joined #darcs
16:49 gh_ Heffalump, I am wondering something about the following property/specification of commutation: (r,s) ↔ (p,q) iff (-r,p) ↔ (s,-q) (where "↔" means "commutes to"), aka Theorem 2 at http://darcs.net/Theory/MergersDocumentation#merge
16:52 gh_ Heffalump, in Judah Jacobson's article this is called the "rotating" property
16:54 gh_ Heffalump, it is not clear to me if this property arises without any specific effort from the current definition of prims commutation in darcs
17:09 gh_ or if it had to be tweaked somehow to fulfill it
17:19 Heffalump there are some tricky cases with ambiguity
17:21 Heffalump the boundary conditions where one hunk is empty need some care
17:21 Heffalump otherwise for hunk commute it's fairly straighforward to make something reversible, it probably follows fairlynaturally
18:24 Cthulhux joined #darcs
19:09 byorgey joined #darcs
19:09 byorgey joined #darcs
19:46 gh_ Heffalump, "there are some tricky cases with ambiguity" cases of merge?
23:37 leg joined #darcs

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