Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 745 746 747 748 749 750 751 752 753 754 755 .. 5022
— 502,152 events total
2020-10-20 02:37:37 × ericsagnes quits (~ericsagne@2405:6580:0:5100:e909:6f47:2e73:7e15) (Ping timeout: 260 seconds)
2020-10-20 02:40:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 02:42:14 → Hatsue[m] joins (berbermanm@gateway/shell/matrix.org/x-nbhjcatgxbfovdna)
2020-10-20 02:42:28 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-20 02:44:27 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 02:44:55 → drbean joins (~drbean@TC210-63-209-209.static.apol.com.tw)
2020-10-20 02:48:14 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-20 02:49:25 × acidjnk_new quits (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-20 02:49:57 → ericsagnes joins (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe)
2020-10-20 02:50:34 → isovector1 joins (~isovector@172.103.216.166)
2020-10-20 02:52:03 → fremandn joins (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net)
2020-10-20 02:53:14 × fremandn quits (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-10-20 02:53:28 → fremandn joins (fremandn@c-24-5-242-54.hsd1.ca.comcast.net)
2020-10-20 02:54:11 × drbean quits (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-20 02:56:00 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving)
2020-10-20 02:56:19 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-20 02:58:18 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-20 02:58:34 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-20 02:59:25 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 240 seconds)
2020-10-20 03:00:02 × bitprophet1 quits (~bitprophe@178.239.168.171) ()
2020-10-20 03:04:37 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252)
2020-10-20 03:07:50 → drbean joins (~drbean@TC210-63-209-149.static.apol.com.tw)
2020-10-20 03:07:58 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving)
2020-10-20 03:09:35 <koz_> remexre: What do you mean by a (Free f a -> Free f a) effect?
2020-10-20 03:10:10 <remexre> how would I write an effect like local (from Reader), for example
2020-10-20 03:10:35 <koz_> :t local
2020-10-20 03:10:37 <lambdabot> MonadReader r m => (r -> r) -> m a -> m a
2020-10-20 03:11:10 <koz_> You don't need Free in your functor definition - that's what defines the effect.
2020-10-20 03:11:15 <koz_> let me just sketch it for you quickly.
2020-10-20 03:14:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-20 03:16:09 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-10-20 03:18:29 <koz_> remexre: Something like this I think. https://gist.github.com/kozross/a90e4554562d2f056d3c4c3c20da0545
2020-10-20 03:20:05 koz_ actually had to refresh his memory even though he worked on free monads like, a week ago.
2020-10-20 03:21:59 → wilkie joins (~wilkie@185.244.214.216)
2020-10-20 03:22:15 <koz_> I think that's incorrect though. I figured out computation nesting once, and then promptly forgot about it.
2020-10-20 03:28:26 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-20 03:28:44 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-20 03:28:44 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-20 03:28:44 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-20 03:33:13 <remexre> koz_: I think we might be using different definitions of Free or something; I don't think that definition of Ask works for me either
2020-10-20 03:33:21 → vacwm joins (~user@70.23.92.191)
2020-10-20 03:33:59 <remexre> mine would be Ask :: (r -> a) -> Reader r a
2020-10-20 03:35:52 × reppertj quits (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-20 03:39:52 <ghoulguy> The question is: How do I define Reader in terms of Free, and then write ask and local on top of that?
2020-10-20 03:40:19 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 03:42:03 <siraben> Ah, I think I've had that problem before when working with free monads, heh.
2020-10-20 03:42:10 <siraben> Didn't get local to work
2020-10-20 03:43:44 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-20 03:43:49 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-20 03:45:16 × refried_ quits (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-20 03:48:41 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 03:49:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 03:53:02 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-20 03:54:39 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-20 03:57:05 × polyrain quits (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 03:57:15 → conal joins (~conal@64.71.133.70)
2020-10-20 03:58:13 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds)
2020-10-20 03:59:51 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds)
2020-10-20 04:00:28 → christo joins (~chris@81.96.113.213)
2020-10-20 04:01:26 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 04:01:41 → christo joins (~chris@81.96.113.213)
2020-10-20 04:01:45 × vacwm quits (~user@70.23.92.191) (Ping timeout: 240 seconds)
2020-10-20 04:05:01 → djcaston joins (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net)
2020-10-20 04:05:15 → bartemius joins (~bartemius@109.252.19.142)
2020-10-20 04:07:24 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds)
2020-10-20 04:07:48 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-20 04:08:00 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-20 04:10:00 <koz_> remexre: That doesn't make a lot of sense though, since the point of ask is 'retrieve the environment'. That looks like Asks.
2020-10-20 04:11:34 → refried_ joins (~textual@209.6.41.245)
2020-10-20 04:12:29 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-20 04:13:45 <koz_> But yeah, I guess I have no idea what I'm doing.
2020-10-20 04:14:22 <koz_> Essentially, this is me: https://i.kym-cdn.com/photos/images/newsfeed/000/234/765/b7e.jpg
2020-10-20 04:16:04 → mbomba joins (~mbomba@174.91.94.53)
2020-10-20 04:16:31 ← mbomba parts (~mbomba@174.91.94.53) ("WeeChat 2.9")
2020-10-20 04:18:04 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 04:18:21 → christo joins (~chris@81.96.113.213)
2020-10-20 04:20:28 → mbomba joins (~mbomba@174.91.94.53)
2020-10-20 04:20:44 ← mbomba parts (~mbomba@174.91.94.53) ("WeeChat 2.9")
2020-10-20 04:21:03 <ghoulguy> remexre: How about this? https://gist.github.com/glguy/a8be2d28c212c116a76035401710c4ad
2020-10-20 04:21:45 <koz_> ghoulguy: Wait, are you going with a spooky season nick or something?
2020-10-20 04:22:03 → mbomba joins (~mbomba@174.91.94.53)
2020-10-20 04:22:04 × jchia quits (~jchia@58.32.71.108) (Remote host closed the connection)
2020-10-20 04:22:17 <ghoulguy> Yeah, it's the thing to do in #freenode
2020-10-20 04:22:22 <koz_> TIL.
2020-10-20 04:22:44 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-20 04:22:44 <koz_> I didn't realize who you were until just now.
2020-10-20 04:22:56 <ghoulguy> In particular the freenode staff collectively think it's the thing to do :3
2020-10-20 04:24:03 → jedws joins (~jedws@121.209.161.98)
2020-10-20 04:24:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 04:24:56 × taurux quits (~taurux@net-188-152-143-32.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2020-10-20 04:26:06 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-20 04:27:13 → taurux joins (~taurux@net-93-144-31-149.cust.dsl.teletu.it)
2020-10-20 04:27:44 → shafox joins (~shafox@106.51.234.111)
2020-10-20 04:29:03 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-20 04:32:40 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Read error: Connection reset by peer)
2020-10-20 04:32:57 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-20 04:35:04 × mbomba quits (~mbomba@174.91.94.53) (Quit: WeeChat 2.9)
2020-10-20 04:39:59 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-20 04:40:14 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-10-20 04:40:23 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
←Prev  Next→
Page 1 .. 745 746 747 748 749 750 751 752 753 754 755 .. 5022

All times are in UTC.