Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2015-09-20

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

All times shown according to UTC.

Time Nick Message
01:27 pointfree2 joined #darcs
01:50 mizu_no_oto joined #darcs
02:36 mizu_no_oto joined #darcs
02:56 kowey joined #darcs
06:29 kowey joined #darcs
08:06 gh_ joined #darcs
08:09 kowey joined #darcs
08:10 kowey good morning!
08:11 kowey ok function naming; I've got updatePatchHeader which given a patch, potentially does some interactive things, and gives you new metadata
08:12 kowey now I want to generalise this to updatePatchHeaderBlah where "Blah" means "this is part of a wider conversation"
08:12 kowey ie. that the new generalised function has to remember decisions you took interactively and which may have repercussions for future invocations of the same function (on other patches)
08:13 * kowey tries to figure out what to "Blah" should be
08:13 gh_ hi!
08:14 notdan hi
08:15 notdan gh_: tasty++
08:17 Heffalump I would keep the name and overload it on a monad
08:29 gh_ about ghc 8.. we should probably just wait for december before actively trying to adapt darcs to it (see https://ghc.haskell.org/trac/ghc/blog/weekly20150917 )
08:49 Heffalump the issue with pattern synonyms in ErrorCall looks like it's going to get the "right" fix
09:32 notdan does anyone want to read/review my blogpost?
09:38 notdan thanks Ganesh :)
10:23 notdan https://parenz.wordpress.com/2015/09/20/darcs-directed-types/
10:36 Heffalump yay :-)
11:38 notdan recorded a small gif showcasing the record feature: http://covariant.me/stuff/img/denrecord.gif
11:43 Heffalump nice
14:59 notdan the paper that Floeren is talking about: http://arxiv.org/abs/1311.3903
15:17 gh_ joined #darcs
15:26 gh_ darcs hackers are packing up
15:26 gh_ expect a blog post soon
15:35 mizu_no_oto joined #darcs
15:35 gh_ bye!
16:56 sm it's over too soon! safe travels sprinters!
16:57 sm notdan: haven't read it in full yet but loving it (blogpost)
16:59 sm and the gif is great, would love to see more covering local mode from the beginning
17:00 sm real video would be great too because I can slow it down or pause it
17:01 sm the record feature looks like darcsum but web-based .. interesting
17:02 sm do you think it's realistic to imagine more complete and more polished web-based UI, or is it too costly to build and maintain ?
17:03 sm (and learn)
17:35 fr33domlover joined #darcs
18:52 mizu_no_oto joined #darcs
20:05 dolio joined #darcs
20:14 Heffalump sm: I really hope we can build a more complete and more polished one.
20:15 Heffalump I don't know how to deal with the pain of implementing web apps (javascript and server-side stuff) though. Do you have any thoughts on the best general approach?
20:22 stulli joined #darcs
21:16 mizu_no_oto joined #darcs

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