IRCBrowse

2021/06/18

2021-06-18 00:00:06 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 00:00:21 +0200slice(~slice@user/slice) (Quit: zzz)
2021-06-18 00:01:21 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-18 00:01:27 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 00:02:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-18 00:03:05 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection)
2021-06-18 00:03:41 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-18 00:05:59 +0200jespada(~jespada@90.254.247.46)
2021-06-18 00:07:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 00:08:06 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-06-18 00:08:50 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-06-18 00:10:55 +0200sagax(~sagax@213.138.71.146) (Ping timeout: 268 seconds)
2021-06-18 00:11:33 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 00:12:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-06-18 00:13:04 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 00:13:36 +0200crazazy(~user@130.89.171.203) (Remote host closed the connection)
2021-06-18 00:14:34 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-06-18 00:15:18 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-18 00:17:39 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-18 00:18:08 +0200ukari(~ukari@user/ukari)
2021-06-18 00:18:23 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 00:18:47 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-18 00:21:50 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-18 00:22:28 +0200derelict(~derelict@user/derelict)
2021-06-18 00:22:38 +0200zangi(~azure@103.154.230.133) (Ping timeout: 268 seconds)
2021-06-18 00:23:37 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-18 00:26:49 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-18 00:27:30 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 240 seconds)
2021-06-18 00:33:56 +0200muto(~muto@d75-159-225-7.abhsia.telus.net)
2021-06-18 00:35:06 +0200Shards(~Scraeling@user/scraeling) (Quit: bye)
2021-06-18 00:38:13 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 00:40:02 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 00:41:38 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 252 seconds)
2021-06-18 00:42:44 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-18 00:44:51 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 00:44:57 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 00:46:04 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-18 00:47:03 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-18 00:47:03 +0200jordi_(~jordi@139.47.99.95)
2021-06-18 00:48:31 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 00:50:27 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 00:55:01 +0200dhil(~dhil@195.213.192.47)
2021-06-18 01:03:05 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection)
2021-06-18 01:03:20 +0200agumonke`(~user@88.163.231.79) (Ping timeout: 268 seconds)
2021-06-18 01:04:52 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 01:11:01 +0200ternary(~nate@c-76-27-106-193.hsd1.ut.comcast.net) (Quit: WeeChat 3.2)
2021-06-18 01:12:29 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-18 01:13:22 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-18 01:13:48 +0200dajoer(~david@softbank126019120204.bbtec.net)
2021-06-18 01:14:02 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-18 01:14:46 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 01:15:11 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.227.207) (Ping timeout: 252 seconds)
2021-06-18 01:15:34 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-18 01:15:34 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.227.207)
2021-06-18 01:19:22 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 01:20:49 +0200jordi_(~jordi@139.47.99.95) (Quit: Leaving)
2021-06-18 01:20:56 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 01:22:41 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-18 01:22:51 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-18 01:22:53 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-06-18 01:23:04 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-18 01:31:42 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 268 seconds)
2021-06-18 01:31:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1)
2021-06-18 01:32:30 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.227.207) (Ping timeout: 244 seconds)
2021-06-18 01:33:32 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-06-18 01:34:49 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-18 01:35:42 +0200NieDzejkob_(~quassel@195.149.98.3) (Ping timeout: 264 seconds)
2021-06-18 01:37:52 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 268 seconds)
2021-06-18 01:40:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-18 01:40:58 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.227.207)
2021-06-18 01:44:14 +0200NieDzejkob(~quassel@195.149.98.3)
2021-06-18 01:45:55 +0200henninb(~henninb@63.226.174.157)
2021-06-18 01:46:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-18 01:52:37 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2021-06-18 01:54:08 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 01:54:12 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2021-06-18 01:58:05 +0200zeenk2(~zeenk@82.76.113.130) (Quit: Konversation terminated!)
2021-06-18 01:59:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-18 01:59:17 +0200henninb(~henninb@63.226.174.157) (Remote host closed the connection)
2021-06-18 01:59:43 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 02:01:02 +0200henninb(~henninb@63.226.174.157)
2021-06-18 02:01:18 +0200thelounge9230(~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 268 seconds)
2021-06-18 02:01:26 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-18 02:02:14 +0200ukari(~ukari@user/ukari)
2021-06-18 02:05:20 +0200thelounge9230(~thelounge@cpe-75-85-161-60.san.res.rr.com)
2021-06-18 02:06:24 +0200fluffyballoon(~fluffybal@199.204.58.62) (Quit: Client closed)
2021-06-18 02:06:39 +0200fluffyballoon(~fluffybal@2620:72:0:6480::11fd)
2021-06-18 02:11:46 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-06-18 02:13:02 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-18 02:15:51 +0200jacks-(~bc817c21@217.29.117.252)
2021-06-18 02:16:13 +0200kayprish(~kayprish@46.240.143.86) (Remote host closed the connection)
2021-06-18 02:18:22 +0200trufas(~trufas@177.240.218.218)
2021-06-18 02:25:41 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 02:27:26 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 02:30:14 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 02:30:17 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 268 seconds)
2021-06-18 02:30:50 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-18 02:31:07 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 02:32:48 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar)
2021-06-18 02:35:13 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 02:37:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-18 02:37:27 +0200 <spider_> .
2021-06-18 02:41:54 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 02:45:59 +0200Nak42(~Nak@2604:3d08:2678:cc00::4a09)
2021-06-18 02:47:25 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds)
2021-06-18 02:48:06 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-18 02:48:10 +0200zebrag(~chris@user/zebrag) (Ping timeout: 268 seconds)
2021-06-18 02:49:37 +0200henninb(~henninb@63.226.174.157) (Remote host closed the connection)
2021-06-18 02:52:55 +0200 <Nak42> I have some co-inductive list type: ```data Colist a = forall s. Colist (s -> Maybe (a,s)) s```, and I'm bashing my head against the wall trying to figure out if it's possible to define cons and nil over it - any ideas?
2021-06-18 02:53:43 +0200 <shachaf> Yes, it's possible.
2021-06-18 02:54:13 +0200 <Axman6> is nil = Colist (\_ -> Nothing) undefined?
2021-06-18 02:54:24 +0200 <Axman6> I mean, it could be anything I guess
2021-06-18 02:54:26 +0200 <shachaf> Well, yes, but I wouldn't use undefined there.
2021-06-18 02:54:34 +0200 <Axman6> () also works
2021-06-18 02:55:10 +0200 <Nak42> Axman6 Yeah, I've got that one so far
2021-06-18 02:55:12 +0200 <shachaf> If you want to understand this style of definition, you might have an easier type with data Conat = forall s. Conat (s -> Maybe s) s
2021-06-18 02:55:18 +0200 <shachaf> Uh, an easier time.
2021-06-18 02:55:19 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2)
2021-06-18 02:55:20 +0200 <shachaf> Both, I suppose.
2021-06-18 02:55:27 +0200 <Axman6> this feels a lot like how stream fusion is defined, but I don't remember how you do cons there either
2021-06-18 02:56:09 +0200 <shachaf> You should think of either of these as a sort of state machine. There's some internal state, and you can put the state into the function to tick it one step.
2021-06-18 02:56:13 +0200 <Nak42> Haha yeah, I saw the type signature in some guys blog post on stream fusion and I got curious
2021-06-18 02:56:23 +0200 <shachaf> And then maybe it yields a new state, or maybe it halts.
2021-06-18 02:56:37 +0200 <Nak42> Thanks shachaf, that's a really good idea
2021-06-18 02:57:20 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-18 02:57:22 +0200 <Axman6> cons a (Colist f s) = Colist (\(b,s') -> if b then Just (a, (False, s')) else ((False,) <$> f s') (True, s)?
2021-06-18 02:57:38 +0200 <shachaf> That looks too complicated.
2021-06-18 02:58:35 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 244 seconds)
2021-06-18 02:59:57 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:412f:83fa:4c40:a575) (Remote host closed the connection)
2021-06-18 03:01:42 +0200 <shachaf> Hmm, cons is kind of annoying, actually.
2021-06-18 03:01:43 +0200 <Axman6> Well, it works I believe :)
2021-06-18 03:01:46 +0200 <Axman6> yes
2021-06-18 03:01:58 +0200 <shachaf> I guess it works, then!
2021-06-18 03:02:18 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-06-18 03:02:20 +0200 <Axman6> IIRC this is pretty close to for it works in stream fusion. ideally you could return a new step function and have a different type for the state
2021-06-18 03:02:23 +0200 <shachaf> The issue is that (Bool,s) has twice as many states as s, when really you just want one more.
2021-06-18 03:02:24 +0200xff0x(~xff0x@2001:1a81:52d9:d800:4df6:909d:1245:4feb) (Ping timeout: 244 seconds)
2021-06-18 03:03:15 +0200xff0x(~xff0x@2001:1a81:52f0:4000:856d:b51d:ea98:8de9)
2021-06-18 03:03:19 +0200 <Axman6> There's probably a version with s as Maybe initially set to Nothing
2021-06-18 03:03:37 +0200 <shachaf> Right.
2021-06-18 03:03:38 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 03:03:41 +0200renzhi(~xp@modemcable070.17-177-173.mc.videotron.ca)
2021-06-18 03:03:55 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar) (Quit: leaving)
2021-06-18 03:03:59 +0200 <shachaf> I guess using lists rather than numbers shows an interesting wrinkle there, because you have to cons onto the beginning, not the en.
2021-06-18 03:04:57 +0200 <Axman6> cons a (Colist f s) = Colist (\ms -> (ms >>= f) <|> Just (a,Just s)) Nothing
2021-06-18 03:05:25 +0200 <Axman6> cons a (Colist f s) = Colist (\ms -> (ms >>= fmap Just . f) <|> Just (a,Just s)) Nothing
2021-06-18 03:05:29 +0200 <Axman6> or something...
2021-06-18 03:06:31 +0200 <Axman6> probably missing another fmap actually
2021-06-18 03:07:54 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 240 seconds)
2021-06-18 03:08:27 +0200 <shachaf> Man, this is surprisingly awkward.
2021-06-18 03:08:34 +0200qrpnxz(~qrpnxz@user/qrpnxz) ()
2021-06-18 03:08:45 +0200qrpnxz(~qrpnxz@user/qrpnxz)
2021-06-18 03:08:53 +0200 <Axman6> micro-nerd-sniped
2021-06-18 03:09:14 +0200 <Axman6> if it could return a new Colist it would probably become simpler
2021-06-18 03:10:13 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 03:10:42 +0200yd502(~yd502@180.168.212.6)
2021-06-18 03:10:50 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-18 03:11:56 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-18 03:12:18 +0200xff0x(~xff0x@2001:1a81:52f0:4000:856d:b51d:ea98:8de9) (Ping timeout: 240 seconds)
2021-06-18 03:12:22 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 03:14:18 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 03:14:27 +0200xff0x(~xff0x@2001:1a81:52f1:f300:29ca:4417:692e:a3fb)
2021-06-18 03:14:49 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-06-18 03:15:43 +0200 <shachaf> I'm not doing better than cons x (Colist f s) = Colist (fmap (fmap Just) . maybe (Just (x,s)) f) Nothing
2021-06-18 03:15:46 +0200 <shachaf> Which isn't that great.
2021-06-18 03:15:59 +0200 <Axman6> yeah
2021-06-18 03:16:39 +0200nilof(~olofs@45.83.91.180) (Ping timeout: 268 seconds)
2021-06-18 03:17:16 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-06-18 03:17:23 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 244 seconds)
2021-06-18 03:17:27 +0200 <Axman6> Thinking about stream fusion, I've thought for a while that it should include a way to return a new step function and a new state type so you don't accrete layers in the state type. things like drop should be able to remove their own state as and return whatever's wrapped
2021-06-18 03:17:34 +0200 <Axman6> (I hope that made sense)
2021-06-18 03:21:18 +0200xff0x(~xff0x@2001:1a81:52f1:f300:29ca:4417:692e:a3fb) (Ping timeout: 264 seconds)
2021-06-18 03:22:37 +0200xff0x(~xff0x@2001:1a81:52f2:dc00:5035:a07:865c:db4b)
2021-06-18 03:23:35 +0200nilof(~olofs@45.83.91.180)
2021-06-18 03:28:11 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 03:29:39 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 03:30:27 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 03:30:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 03:41:29 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-06-18 03:43:31 +0200slice(~slice@user/slice)
2021-06-18 03:43:35 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 03:47:14 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-18 03:48:05 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-18 03:50:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-18 03:53:23 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-18 03:55:16 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-06-18 03:57:17 +0200thiross(~user@173.242.113.143.16clouds.com)
2021-06-18 04:02:23 +0200thiross(~user@173.242.113.143.16clouds.com) (Ping timeout: 252 seconds)
2021-06-18 04:03:11 +0200shredder(~user@user/shredder) (Quit: quitting)
2021-06-18 04:03:54 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 04:05:46 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-18 04:06:09 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-18 04:08:24 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-06-18 04:08:32 +0200yd502(~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-18 04:10:55 +0200killsushi(~killsushi@user/killsushi)
2021-06-18 04:17:17 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-18 04:17:32 +0200juhp(~juhp@128.106.188.66)
2021-06-18 04:21:33 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 04:25:49 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Remote host closed the connection)
2021-06-18 04:26:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 244 seconds)
2021-06-18 04:26:12 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-06-18 04:28:54 +0200yd502(~yd502@180.168.212.6)
2021-06-18 04:29:12 +0200bilegeek(~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving)
2021-06-18 04:29:25 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 268 seconds)
2021-06-18 04:29:43 +0200alx741(~alx741@181.196.68.42) (Quit: alx741)
2021-06-18 04:31:46 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2021-06-18 04:33:35 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-18 04:34:30 +0200xff0x(~xff0x@2001:1a81:52f2:dc00:5035:a07:865c:db4b) (Ping timeout: 264 seconds)
2021-06-18 04:35:52 +0200xff0x(~xff0x@2001:1a81:52fd:ad00:4de3:cb5d:a569:6a3c)
2021-06-18 04:36:03 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-18 04:37:02 +0200killsushi(~killsushi@user/killsushi) (Quit: Leaving)
2021-06-18 04:37:21 +0200killsushi(~killsushi@user/killsushi)
2021-06-18 04:39:27 +0200shredder(~user@user/shredder)
2021-06-18 04:49:22 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-06-18 04:55:33 +0200 <qrpnxz> how come `pure` isn't in the Functor typeclass rather than the Applicative?
2021-06-18 04:56:09 +0200 <cdsmith> There are functors that can't implement it.
2021-06-18 04:56:58 +0200 <cdsmith> For example, Const Int. Which Int should (pure "some string") be?
2021-06-18 04:57:13 +0200 <davean> Functor is not a container
2021-06-18 04:57:31 +0200mud(~mud@user/kadoban)
2021-06-18 04:57:54 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 264 seconds)
2021-06-18 04:59:06 +0200notzmv(~zmv@user/notzmv)
2021-06-18 05:00:12 +0200td_(~td@94.134.91.254) (Ping timeout: 244 seconds)
2021-06-18 05:01:34 +0200 <justsomeguy> How would you describe Functor?
2021-06-18 05:01:52 +0200td_(~td@muedsl-82-207-238-207.citykom.de)
2021-06-18 05:02:38 +0200 <davean> justsomeguy: by its laws
2021-06-18 05:03:41 +0200 <c_wraith> if the laws are too opaque at first, "things that can use a function to change a type argument"
2021-06-18 05:03:50 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-06-18 05:09:29 +0200jlamothe(~jlamothe@198.251.57.81) (Ping timeout: 252 seconds)
2021-06-18 05:10:01 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-18 05:10:07 +0200wei2912(~wei2912@112.199.250.21)
2021-06-18 05:11:37 +0200 <c_wraith> also... even containers can't necessarily implement pure.
2021-06-18 05:11:46 +0200 <c_wraith> Take a look at Data.Map.Map
2021-06-18 05:12:03 +0200 <c_wraith> What would pure possibly do there?
2021-06-18 05:12:20 +0200 <justsomeguy> It's not too opaque, but I honestly really enjoy finding the right metaphor, or the most beautiful way to articulate a concept, so I like to ask people how they'd explain things.
2021-06-18 05:12:54 +0200 <justsomeguy> But "things that can use a function to change a type argument" is a pretty useful intuition. I like it.
2021-06-18 05:13:41 +0200 <c_wraith> the beauty of Functor is what it allows you to abstract over rather than what it "is".
2021-06-18 05:14:04 +0200 <c_wraith> Since I'm in the docs for Data.Map already... https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Strict.html#v:alterF
2021-06-18 05:14:19 +0200 <c_wraith> consider what that function does for all sorts of specializations of f
2021-06-18 05:22:25 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds)
2021-06-18 05:23:13 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-18 05:24:09 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-18 05:26:17 +0200 <qrpnxz> > Which Int should (pure "some string") be?
2021-06-18 05:26:17 +0200 <qrpnxz> any
2021-06-18 05:26:19 +0200 <lambdabot> <hint>:1:42: error:
2021-06-18 05:26:19 +0200 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2021-06-18 05:26:28 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-18 05:27:34 +0200 <c_wraith> qrpnxz: and what Map should (pure "some string") be?
2021-06-18 05:28:24 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 05:28:26 +0200 <qrpnxz> which Map
2021-06-18 05:28:32 +0200 <c_wraith> Any of them
2021-06-18 05:28:38 +0200 <c_wraith> The answer is the same for all of them
2021-06-18 05:28:46 +0200 <c_wraith> "the question doesn't make sense"
2021-06-18 05:29:09 +0200 <qrpnxz> ig a map from any value to "some string", or maybe a map from some arbitrary value to "some string"
2021-06-18 05:29:45 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 05:29:50 +0200 <qrpnxz> or maybe a map from "some string" to any value, or maybe a map from "some string" to some arbitrary value
2021-06-18 05:30:00 +0200 <Axman6> pure :: a -> Map k a; which k?
2021-06-18 05:30:16 +0200 <c_wraith> Ok, so let's say import Data.Map (Map) and you evaluate (pure "some string" :: Map (IO String -> [Watermelon]) String)
2021-06-18 05:30:43 +0200 <c_wraith> It type checks.
2021-06-18 05:30:52 +0200 <c_wraith> Your definition of pure had better handle it correctly.
2021-06-18 05:31:04 +0200 <qrpnxz> ok
2021-06-18 05:32:03 +0200 <c_wraith> and to be clear: Map has a Functor instance, but not an Applicative instance.
2021-06-18 05:32:22 +0200 <qrpnxz> i don't even see the functor instance in the library i found
2021-06-18 05:32:49 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
2021-06-18 05:32:50 +0200 <c_wraith> https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Lazy.html#t:Map
2021-06-18 05:34:01 +0200 <qrpnxz> alright
2021-06-18 05:34:21 +0200 <c_wraith> and the reason it's not Applicative is that pure makes no sense for it. see https://hackage.haskell.org/package/semigroupoids-5.3.5/docs/Data-Functor-Apply.html#t:Apply for instance
2021-06-18 05:34:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2021-06-18 05:34:49 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 05:34:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-06-18 05:35:51 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 244 seconds)
2021-06-18 05:36:23 +0200 <qrpnxz> or <*> made no sense
2021-06-18 05:36:23 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 05:36:38 +0200 <c_wraith> nah, <*> makes perfect sense, which was the point of my link to Apply there
2021-06-18 05:36:45 +0200 <c_wraith> It has an instance for Map
2021-06-18 05:37:03 +0200 <qrpnxz> isn't it the other way around
2021-06-18 05:37:27 +0200 <davean> No, <*> is quite useful and makes sense for Map
2021-06-18 05:37:32 +0200 <c_wraith> no, it's pretty easy to implement f <*> x for Map
2021-06-18 05:37:35 +0200 <davean> but you couldn't impliment pure
2021-06-18 05:37:41 +0200 <qrpnxz> i mean that map has an instance for apply
2021-06-18 05:38:05 +0200 <qrpnxz> why couldn't you
2021-06-18 05:38:18 +0200 <c_wraith> Eh. I don't really consider instances to belong to either types or classes more than the other
2021-06-18 05:38:34 +0200 <c_wraith> a class can have instances for types, a type can have instances for classes
2021-06-18 05:39:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 05:39:15 +0200 <qrpnxz> can you show the difference, i've only ever seen one way
2021-06-18 05:39:32 +0200 <davean> qrpnxz: what would "pure" be if your functor was a function?
2021-06-18 05:39:56 +0200 <c_wraith> in ghci, type in ":info Show" and ":info []". either way, it lists a bunch of instances
2021-06-18 05:40:22 +0200 <qrpnxz> davean, (const .) or smth like that ig
2021-06-18 05:40:35 +0200 <davean> qrpnxz: think through that for even a second
2021-06-18 05:40:39 +0200 <davean> ((->) Int)
2021-06-18 05:41:00 +0200 <davean> Thats what you're trying to impliment pure for
2021-06-18 05:41:09 +0200 <davean> fmap is obvious, its just (.)
2021-06-18 05:41:19 +0200 <qrpnxz> you say that as if applicative for functions didn't exist
2021-06-18 05:41:32 +0200 <qrpnxz> lol it's literally const haha
2021-06-18 05:41:41 +0200 <davean> No, I say that to talk about how you're modeling functor in your head
2021-06-18 05:41:42 +0200 <c_wraith> yeah, Map is not functions
2021-06-18 05:42:09 +0200 <qrpnxz> ok, never said it was
2021-06-18 05:42:42 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Ping timeout: 240 seconds)
2021-06-18 05:42:45 +0200 <qrpnxz> thought their interface is the same now that you bring it up
2021-06-18 05:43:09 +0200 <c_wraith> The big difference is that a function (k -> Maybe v) is negative in k, but (Map k v) is positive in k
2021-06-18 05:43:18 +0200 <davean> c_wraith: right
2021-06-18 05:43:29 +0200 <qrpnxz> what does negative in k mean
2021-06-18 05:44:16 +0200 <c_wraith> it means it is a thing that only consumes values of type k.
2021-06-18 05:44:41 +0200 <qrpnxz> and a map doesn't only take key's of k?
2021-06-18 05:44:49 +0200 <qrpnxz> *keys
2021-06-18 05:44:49 +0200 <c_wraith> no, toList exists
2021-06-18 05:44:59 +0200 <qrpnxz> list is something else
2021-06-18 05:45:09 +0200 <c_wraith> :t M.toList
2021-06-18 05:45:10 +0200 <lambdabot> M.Map k a -> [(k, a)]
2021-06-18 05:45:23 +0200 <c_wraith> as you can see, that *produces* values of type k
2021-06-18 05:45:26 +0200 <c_wraith> not consumes them
2021-06-18 05:46:11 +0200 <qrpnxz> ok, well (k -> a) -> [(k, a)] is not an invalid type, and i don't see what this has to do with pure
2021-06-18 05:46:16 +0200 <davean> (->a) vs (a ->)
2021-06-18 05:47:19 +0200 <c_wraith> it means for ((->) a), pure only needs to generate a value that consumes something of type a
2021-06-18 05:47:35 +0200 <c_wraith> But for (Map k), pure needs to create something that can produce a value of type k
2021-06-18 05:47:42 +0200 <c_wraith> and that's why it fails
2021-06-18 05:48:27 +0200 <qrpnxz> i mean this is beside the point tbh. The reason i ask is that afaict in cat theory, a functor maps objects and morphism, fmap is only mapping morphisms, so it doesn't not seem to me that Functor is really a functor, and that's why i wonder either why it doesn't have pure or why it's called a functor, regardless of whether you think it's possible to have pure for Map or not (which if it doesn't i'd argue it
2021-06-18 05:48:27 +0200 <qrpnxz> 's not a real functor)
2021-06-18 05:49:30 +0200 <qrpnxz> i can easily create something that can produce a value of type k, just pick arbitrary key
2021-06-18 05:49:52 +0200 <c_wraith> that would appear to be assuming the axiom of choice. :P
2021-06-18 05:50:28 +0200 <qrpnxz> not arbitrary key on each call, just a set one
2021-06-18 05:50:43 +0200 <c_wraith> But it would also violate the Applicative laws
2021-06-18 05:50:50 +0200 <qrpnxz> how so
2021-06-18 05:51:05 +0200 <c_wraith> pure id <*> x would not be equivalent to x
2021-06-18 05:51:55 +0200 <Axman6> qrpnxz: if I ask you to create a Map Void a from pure with type a -> Map k a, how are you going to do it?
2021-06-18 05:52:53 +0200 <Axman6> if I thern ask you to then make me a Map (b -> c) a using the same function, how do you do it?
2021-06-18 05:53:03 +0200 <qrpnxz> idk enough about void, but can we at least pause this for a moment and address the underlying reason that i'm talking about this which is what i wrote in the above parapraph
2021-06-18 05:53:51 +0200 <c_wraith> I don't think it's a separate issue
2021-06-18 05:54:06 +0200 <c_wraith> You're considering a universe smaller than the haskell type system
2021-06-18 05:54:14 +0200 <monochrom> In a typical "instance Functor MyParamaterizedType", MyParameterizedType is the object map.
2021-06-18 05:54:42 +0200 <qrpnxz> i think it is because i don't actually care if map can have pure or not, it's whether functor in haskell is actually describing a functor, and if it is how it can do that without pure
2021-06-18 05:54:53 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 05:55:12 +0200jacks-(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/)
2021-06-18 05:55:27 +0200 <c_wraith> monochrom just answered that
2021-06-18 05:55:30 +0200 <monochrom> The only two legit criticisms of Haskell's Functor class are "this is only an endo functor" and "this is hardcoded for one single category".
2021-06-18 05:55:51 +0200 <monochrom> s/for/to/
2021-06-18 05:56:02 +0200 <c_wraith> both totally valid criticisms.
2021-06-18 05:56:24 +0200 <monochrom> Right, but "this doesn't have an object map" is dumb.
2021-06-18 05:56:28 +0200 <qrpnxz> i know that, but this is not the case for Map (it has no pure), so then it doesn't have the object map, therefore not a functor in reality
2021-06-18 05:56:48 +0200yd502_(~yd502@180.168.212.6)
2021-06-18 05:57:05 +0200 <Axman6> it is definitely a functor though
2021-06-18 05:57:07 +0200 <c_wraith> the object map is (Map k)
2021-06-18 05:57:11 +0200 <monochrom> Wrong. Functoriality doesn't require pure.
2021-06-18 05:57:26 +0200 <c_wraith> because the objects are types
2021-06-18 05:57:29 +0200 <qrpnxz> if the object map is Map k then why is there no pure = Map k
2021-06-18 05:57:33 +0200yd502(~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-18 05:57:39 +0200 <c_wraith> because values and types are not the same
2021-06-18 05:57:44 +0200 <Axman6> why do you think something needs pure to be a functor? functor is all about mapping morphisms
2021-06-18 05:58:00 +0200 <monochrom> "data P a = MkP" is also a functor.
2021-06-18 05:58:04 +0200 <Axman6> what is k? which one do you pick?
2021-06-18 05:58:10 +0200 <qrpnxz> wait hold on a moment
2021-06-18 05:58:24 +0200 <monochrom> Err nevermind P admits a pure.
2021-06-18 05:59:06 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 244 seconds)
2021-06-18 06:00:11 +0200 <qrpnxz> ok i think i'm getting this now i'm gonna ruminate more
2021-06-18 06:00:25 +0200 <qrpnxz> thanks for explanation
2021-06-18 06:03:40 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2021-06-18 06:04:33 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 06:05:43 +0200notzmv(~zmv@user/notzmv)
2021-06-18 06:07:21 +0200Nak42(~Nak@2604:3d08:2678:cc00::4a09) (Quit: Client closed)
2021-06-18 06:07:59 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Quit: will be back in a few minutes)
2021-06-18 06:09:12 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-18 06:09:26 +0200 <qrpnxz> ok haskell burn my brain enough for today geez
2021-06-18 06:10:44 +0200 <Axman6> There are things which are functors which aren't Haskell functors, it's not a one to one mapping
2021-06-18 06:10:53 +0200 <Axman6> but I think all thisngs which are Functors are functors
2021-06-18 06:11:13 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2021-06-18 06:11:13 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2021-06-18 06:11:13 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-06-18 06:12:31 +0200 <c_wraith> yeah, that's right.
2021-06-18 06:12:44 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
2021-06-18 06:14:31 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 06:17:06 +0200berberman(~berberman@user/berberman) (Ping timeout: 240 seconds)
2021-06-18 06:17:55 +0200berberman(~berberman@user/berberman)
2021-06-18 06:19:04 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 06:19:26 +0200 <c_wraith> ugh. Why does the Applicative instance for (MaybeT f) in transformers require f to be a Monad? :(
2021-06-18 06:20:33 +0200 <Axman6> what's the source for its implementation?
2021-06-18 06:20:42 +0200 <Axman6> that is surprising to me too though
2021-06-18 06:21:12 +0200 <c_wraith> the <*> implementation uses do notation and binds the arguments sequentially
2021-06-18 06:21:20 +0200 <Axman6> >_<
2021-06-18 06:22:03 +0200 <Axman6> hmm, I guess you do need Monad so you don't execute the second argument
2021-06-18 06:22:18 +0200 <Axman6> so it's short circuiting
2021-06-18 06:22:20 +0200 <c_wraith> Oh, right.
2021-06-18 06:22:23 +0200 <c_wraith> That is a requirement
2021-06-18 06:22:30 +0200 <c_wraith> Ok, I understand now.
2021-06-18 06:22:38 +0200 <c_wraith> I guess I'm creating my own type
2021-06-18 06:22:41 +0200 <Axman6> it is off that it has (Functor m, Monad m) though
2021-06-18 06:22:46 +0200 <monochrom> It needs at least Selective.
2021-06-18 06:22:48 +0200 <Axman6> odd*
2021-06-18 06:23:01 +0200 <c_wraith> I think that's historical baggage from pre-AMP
2021-06-18 06:24:37 +0200renzhi(~xp@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 268 seconds)
2021-06-18 06:31:30 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-06-18 06:46:10 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-06-18 06:48:43 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-18 06:55:21 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 07:00:04 +0200yd502_(~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-18 07:00:21 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-18 07:00:30 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-18 07:01:09 +0200rk04(~rk04@user/rajk)
2021-06-18 07:01:11 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-18 07:02:07 +0200beka(~beka@104-244-27-23.static.monkeybrains.net)
2021-06-18 07:02:12 +0200monochrom(trebla@216.138.220.146)
2021-06-18 07:04:28 +0200vicentius(~vicentius@user/vicentius)
2021-06-18 07:05:05 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-18 07:06:33 +0200slice(~slice@user/slice) (Quit: zzz)
2021-06-18 07:06:41 +0200rk04(~rk04@user/rajk) (Ping timeout: 272 seconds)
2021-06-18 07:16:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-18 07:18:31 +0200yd502_(~yd502@180.168.212.6)
2021-06-18 07:19:48 +0200vicentius(~vicentius@user/vicentius) (Quit: Leaving)
2021-06-18 07:21:18 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-06-18 07:22:02 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-06-18 07:25:37 +0200hendursa1(~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-18 07:25:40 +0200muto(~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 268 seconds)
2021-06-18 07:27:35 +0200xff0x(~xff0x@2001:1a81:52fd:ad00:4de3:cb5d:a569:6a3c) (Ping timeout: 272 seconds)
2021-06-18 07:28:51 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 07:29:03 +0200xff0x(~xff0x@2001:1a81:530d:1e00:77eb:b551:ade7:18e6)
2021-06-18 07:29:46 +0200Bartosz(~textual@24.35.90.211)
2021-06-18 07:29:51 +0200hmmmas(~chenqisu1@183.217.200.246)
2021-06-18 07:31:24 +0200jneira(~jneira@212.8.115.226)
2021-06-18 07:33:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 07:33:41 +0200nilof(~olofs@45.83.91.180) (Ping timeout: 268 seconds)
2021-06-18 07:34:24 +0200leshow(~leshow@2607:f2c0:e358:a0:b48e:8758:1530:e1a9) (Quit: WeeChat 3.2)
2021-06-18 07:39:46 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 07:43:59 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds)
2021-06-18 07:44:00 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-18 07:55:31 +0200np(~nerdypepp@user/nerdypepper) (Remote host closed the connection)
2021-06-18 07:58:41 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Quit: Quit)
2021-06-18 07:58:55 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-18 08:03:28 +0200fvr(uid503686@id-503686.highgate.irccloud.com)
2021-06-18 08:05:58 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-18 08:07:20 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 08:07:33 +0200chomwitt(~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295)
2021-06-18 08:07:43 +0200xff0x(~xff0x@2001:1a81:530d:1e00:77eb:b551:ade7:18e6) (Ping timeout: 268 seconds)
2021-06-18 08:08:09 +0200Bartosz(~textual@24.35.90.211)
2021-06-18 08:08:13 +0200xff0x(~xff0x@2001:1a81:530d:1e00:19c5:52c5:3f06:b110)
2021-06-18 08:09:30 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-06-18 08:10:53 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer)
2021-06-18 08:11:11 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 08:12:00 +0200pera(~pera@70.red-88-14-152.dynamicip.rima-tde.net)
2021-06-18 08:12:21 +0200pera(~pera@70.red-88-14-152.dynamicip.rima-tde.net) (Changing host)
2021-06-18 08:12:21 +0200pera(~pera@user/pera)
2021-06-18 08:12:33 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-18 08:13:41 +0200Yun(~Yun@2001-b011-7003-baff-647b-dcbc-b4c8-6431.dynamic-ip6.hinet.net)
2021-06-18 08:15:55 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-06-18 08:16:07 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-18 08:16:07 +0200Yun(~Yun@2001-b011-7003-baff-647b-dcbc-b4c8-6431.dynamic-ip6.hinet.net) ()
2021-06-18 08:18:24 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-18 08:18:56 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com) ()
2021-06-18 08:19:11 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com)
2021-06-18 08:22:03 +0200xff0x(~xff0x@2001:1a81:530d:1e00:19c5:52c5:3f06:b110) (Ping timeout: 272 seconds)
2021-06-18 08:22:23 +0200xff0x(~xff0x@port-92-193-217-187.dynamic.as20676.net)
2021-06-18 08:26:01 +0200killsushi(~killsushi@user/killsushi) (Quit: Leaving)
2021-06-18 08:26:28 +0200fef(~thedawn@user/thedawn)
2021-06-18 08:29:33 +0200hmmmas(~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-18 08:36:18 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-18 08:36:52 +0200ijlx(~ijlx@dsl-50-5-224-196.fuse.net)
2021-06-18 08:37:14 +0200boxscape(~boxscape@user/boxscape)
2021-06-18 08:40:56 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c3b0:1a89:f9cb:1a29)
2021-06-18 08:42:35 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 08:45:06 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-06-18 08:45:43 +0200chrysanthematic(~chrysanth@82.2.21.4)
2021-06-18 08:45:51 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-18 08:47:17 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-18 08:51:29 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-18 08:54:14 +0200trcc_(~trcc@users-1190.st.net.au.dk)
2021-06-18 08:54:20 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-06-18 08:55:01 +0200ijlx(~ijlx@dsl-50-5-224-196.fuse.net) (Quit: Client closed)
2021-06-18 08:55:28 +0200agumonke`(~user@88.163.231.79)
2021-06-18 08:55:44 +0200trcc_(~trcc@users-1190.st.net.au.dk) (Client Quit)
2021-06-18 08:56:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-06-18 08:56:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-18 08:56:45 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-18 08:58:01 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Client Quit)
2021-06-18 08:58:16 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-18 09:00:17 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-18 09:00:35 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 09:00:45 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-18 09:01:40 +0200kuribas(~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be)
2021-06-18 09:02:43 +0200ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-06-18 09:03:01 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-06-18 09:05:38 +0200 <dminuoso> I have a tree in which each branch (top-to-bottom) alternates between "NwD" and "UsDC". Is there a reasonable way to encode this ontop of a plain rose tree?
2021-06-18 09:06:24 +0200Franciman(~francesco@openglass.it) (WeeChat 3.0.1)
2021-06-18 09:06:32 +0200 <dminuoso> I almost feel like this should be encodable as a fixed point type, but I cant figure out how
2021-06-18 09:06:54 +0200 <dminuoso> (i.e. the children of NwD must be UsDC, and the children of UsDC must be NwD)
2021-06-18 09:07:05 +0200chrysanthematic(~chrysanth@82.2.21.4) (Quit: chrysanthematic)
2021-06-18 09:12:27 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-18 09:12:31 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 09:12:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-06-18 09:14:18 +0200zeenk(~zeenk@82.76.113.130)
2021-06-18 09:14:21 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-06-18 09:16:41 +0200hexeme(~hexeme@user/hexeme) (Remote host closed the connection)
2021-06-18 09:17:00 +0200hexeme(~hexeme@user/hexeme)
2021-06-18 09:20:17 +0200 <hololeap> dminuoso: I don't see a way to do that, unless you want to get into type families and a type-level tag
2021-06-18 09:21:27 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com) (Quit: leaving)
2021-06-18 09:21:47 +0200jenkems(~jenkems@226.148.192.35.bc.googleusercontent.com)
2021-06-18 09:22:19 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 09:22:51 +0200beka(~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-18 09:23:51 +0200jumper149(~jumper149@80.240.31.34)
2021-06-18 09:26:32 +0200 <hololeap> even then, it doesn't seem reasonable
2021-06-18 09:27:09 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 09:28:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-06-18 09:29:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-18 09:30:20 +0200 <kuribas> it's easy if you don't want to enforce the invariant
2021-06-18 09:30:39 +0200 <dminuoso> Sure, I can just encode it as `Tree (Either NwD UsDC)` then.
2021-06-18 09:31:07 +0200 <hololeap> the mutually-recursive method seems best to me
2021-06-18 09:31:36 +0200 <dminuoso> hololeap: Yeah I began to suspect as much.
2021-06-18 09:32:51 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-18 09:32:58 +0200hendursa1(~weechat@user/hendursaga)
2021-06-18 09:33:25 +0200 <kuribas> otherwise not possible. You want to constrain the types on value level, which implies some kind of dependent types.
2021-06-18 09:35:47 +0200 <hololeap> it might be possible with a GADT holding a type level list of tags and some kind of constraint that makes sure it's in the proper order, but that's way too much complexity
2021-06-18 09:36:45 +0200tomsmedingthinks of a red-black tree
2021-06-18 09:37:47 +0200 <dminuoso> tomsmeding: Without the balancing. ;)
2021-06-18 09:37:51 +0200 <kuribas> hololeap: how can a GADT check value level information? The "levels" information is not available on type level.
2021-06-18 09:37:52 +0200 <tomsmeding> :p
2021-06-18 09:38:01 +0200chele(~chele@user/chele)
2021-06-18 09:39:15 +0200 <dminuoso> hololeap: Mmm, what about a non-regular data type?
2021-06-18 09:39:23 +0200 <dminuoso> Naively something like:
2021-06-18 09:39:31 +0200 <kuribas> perhaps it could have worked if the tree was in recursion-scheme style.
2021-06-18 09:40:36 +0200 <dminuoso> data Tree n a = Node a [Tree (Succ n) a]
2021-06-18 09:41:13 +0200 <kuribas> data Tree a b = Node { rootLabel :: a, subForest :: [b a] }
2021-06-18 09:41:14 +0200 <dminuoso> Or rather a type family that just flips between lifted 'L and 'R `data D = L | R`
2021-06-18 09:41:41 +0200 <dminuoso> kuribas: that's what I was wondering about initially
2021-06-18 09:42:03 +0200 <dminuoso> but this is not trivial recursion anymore
2021-06-18 09:43:23 +0200 <tomsmeding> note that for `type family Flip d where Flip 'L = 'R ; Flip 'R = 'L` GHC cannot prove that `Flip (Flip d) ~ d`
2021-06-18 09:44:33 +0200 <tomsmeding> re fixed point type: yes if you take the fixed point of `data Node2 f = Node2 NwD [(UsDC, [f])]` :p
2021-06-18 09:44:44 +0200 <dminuoso> tomsmeding: Mmm, I guess Id need an SMT plugged into the type checker for that?
2021-06-18 09:44:51 +0200 <dminuoso> *SMT solver
2021-06-18 09:45:13 +0200 <tomsmeding> or `believeme :: Flip (Flip d) :~: d ; believeme = unsafeCoerce Refl` ;)
2021-06-18 09:45:19 +0200 <tomsmeding> which is what I did
2021-06-18 09:45:28 +0200 <dminuoso> tomsmeding: interesting, re Node2: I think I can actually do that!
2021-06-18 09:45:39 +0200 <dminuoso> Each tree ends with UsDC, so this seems even better.
2021-06-18 09:45:46 +0200 <tomsmeding> it's a kind of weird representation of such a tree though, in my opinion
2021-06-18 09:45:48 +0200 <tomsmeding> but it works
2021-06-18 09:46:00 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-06-18 09:46:00 +0200 <hololeap> kuribas: it wouldn't be checking value level info. it would be pushing the NwD and UsDC tags to the type level, which would mean that you would be checking a tree of tags to ensure proper order using a type family and a constraint. it would be ugly
2021-06-18 09:46:18 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-06-18 09:46:53 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds)
2021-06-18 09:46:55 +0200 <kuribas> dminuoso: newtype Even a = Even (Tree Odd a); newtype Odd a = Odd (Tree Even a);
2021-06-18 09:48:43 +0200 <kuribas> dminuoso: not sure what you get out of this though...
2021-06-18 09:48:49 +0200 <dminuoso> Yeah that's what hololeap suggested with a mutually recursive data type
2021-06-18 09:49:13 +0200 <kuribas> but this requires a functorial encoding
2021-06-18 09:49:27 +0200 <dminuoso> Though tomsmeding's encoding that cute advantage of being uniform as well as guaranteeding that each branch ends with UsDC (a condition I didnt mention because it didnt occur to me to encode this too)
2021-06-18 09:49:44 +0200 <dminuoso> guaranteeding.
2021-06-18 09:49:44 +0200 <tomsmeding> yeah I would go either with the plain, simple, mutually recursive approach, or if I really wanted the node constructor to be the same always, perhaps use that Succ trick with a type family that defines the tag on each level (and even whether the tree can terminate there)
2021-06-18 09:49:57 +0200 <tomsmeding> yes
2021-06-18 09:50:06 +0200 <kuribas> simple is always better IMO
2021-06-18 09:50:37 +0200 <tomsmeding> you can also encode the ends-with-UsDC requirement using the simple mutually recursive approach
2021-06-18 09:50:44 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-18 09:50:56 +0200 <hololeap> well, not exactly. I was suggesting `data Even a = Even a [Odd a]` and `data Odd a = Odd a [Even a]`
2021-06-18 09:51:08 +0200 <tomsmeding> data A = A NwD (NonEmpty B) ; data B = B UsDC [A]
2021-06-18 09:51:11 +0200ukari(~ukari@user/ukari)
2021-06-18 09:51:26 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-18 09:54:45 +0200raek(~raek@2001:9b1:efe:3200:d250:99ff:fec0:e153) ()
2021-06-18 09:56:29 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 09:57:37 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 09:59:03 +0200cfricke(~cfricke@user/cfricke)
2021-06-18 10:00:27 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-18 10:01:11 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 268 seconds)
2021-06-18 10:02:05 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-18 10:02:18 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 10:02:28 +0200boxscape(~boxscape@user/boxscape)
2021-06-18 10:03:20 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-18 10:03:38 +0200fef(~thedawn@user/thedawn)
2021-06-18 10:03:41 +0200 <hololeap> just curious, is there a way to validate a string literal during compile time?
2021-06-18 10:04:19 +0200 <dminuoso> Yes
2021-06-18 10:04:22 +0200 <nitrix> Stare at it intensely :3
2021-06-18 10:04:33 +0200 <dminuoso> hololeap: merjin has a package for that.
2021-06-18 10:04:35 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 10:04:48 +0200 <dminuoso> https://hackage.haskell.org/package/validated-literals
2021-06-18 10:04:52 +0200 <Taneb> I'd imagine it'd need template haskell or quasiquotes or similar
2021-06-18 10:04:59 +0200 <dminuoso> It does
2021-06-18 10:05:03 +0200 <dibblego> not trees, but lists, https://hackage.haskell.org/package/separated
2021-06-18 10:05:24 +0200 <hololeap> dminuoso: neat, thanks
2021-06-18 10:06:33 +0200hendursaga(~weechat@user/hendursaga)
2021-06-18 10:09:05 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-18 10:09:21 +0200qbt(~edun@user/edun)
2021-06-18 10:09:31 +0200hendursa1(~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-18 10:09:51 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-06-18 10:10:35 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-06-18 10:12:06 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-18 10:15:16 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:f9a1:6a30:5a54:d88f)
2021-06-18 10:16:23 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-18 10:17:14 +0200Pickchea(~private@user/pickchea)
2021-06-18 10:17:18 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-18 10:17:41 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-18 10:18:02 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-18 10:18:40 +0200img(~img@user/img)
2021-06-18 10:18:49 +0200chaosite(~chaosite@user/chaosite)
2021-06-18 10:20:24 +0200nanoc(~nanocoast@p200300e127264d00c53eefe97e39bc17.dip0.t-ipconnect.de)
2021-06-18 10:21:05 +0200qbt(~edun@user/edun) (Quit: Leaving)
2021-06-18 10:21:32 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection)
2021-06-18 10:26:06 +0200 <hololeap> dibblego: https://hackage.haskell.org/package/separated -- i'm staring at this and I really don't know how to use it or what it's for
2021-06-18 10:27:10 +0200 <dibblego> it's a list of elements of alternating type
2021-06-18 10:29:52 +0200 <hololeap> ok, i see it now
2021-06-18 10:30:10 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 10:34:18 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 10:35:43 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Ping timeout: 268 seconds)
2021-06-18 10:36:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 10:36:45 +0200vpan(~vilius@212.117.1.172)
2021-06-18 10:36:57 +0200azeem(~azeem@176.200.249.255)
2021-06-18 10:40:30 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 264 seconds)
2021-06-18 10:41:46 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds)
2021-06-18 10:42:33 +0200fabfianda(~fabfianda@mob-5-90-255-176.net.vodafone.it)
2021-06-18 10:43:53 +0200yourname(~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection)
2021-06-18 10:43:59 +0200qbt(~edun@user/edun)
2021-06-18 10:47:19 +0200yourname(~barrucadu@carcosa.barrucadu.co.uk)
2021-06-18 10:49:10 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 268 seconds)
2021-06-18 10:49:13 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2021-06-18 10:49:42 +0200azeem(~azeem@176.200.249.255)
2021-06-18 10:51:16 +0200chaosite(~chaosite@user/chaosite)
2021-06-18 10:51:42 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-18 10:52:22 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
2021-06-18 10:54:26 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-06-18 10:56:41 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 268 seconds)
2021-06-18 10:58:17 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 10:58:53 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 10:58:54 +0200Guest9(~Guest9@42.106.12.98)
2021-06-18 10:59:09 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 268 seconds)
2021-06-18 11:00:35 +0200 <Guest9> if i have m placeholders/bins/boxes & n values/symbols, how many combinations it is possible to make without repeating any value/symbol?
2021-06-18 11:01:01 +0200 <c_wraith> is that a Haskell question?
2021-06-18 11:02:13 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 11:02:32 +0200azeem(~azeem@176.200.249.255)
2021-06-18 11:02:38 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-18 11:02:39 +0200 <c_wraith> (the key phrase to google for is "without replacement", along with whichever of combinations or permutations is your goal)
2021-06-18 11:02:53 +0200juhp(~juhp@128.106.188.66)
2021-06-18 11:02:55 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-18 11:03:00 +0200 <Guest9> ok c_wraith
2021-06-18 11:03:08 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-18 11:03:56 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2021-06-18 11:04:10 +0200 <Profpatsch> I’m trying to generate a Wai.Request by hand, yet https://hackage.haskell.org/package/wai-3.2.2.1/docs/Network-Wai.html#v:requestBody is deprecated
2021-06-18 11:04:26 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 11:04:36 +0200dunj3(~dunj3@2001:16b8:30bb:9200:59f4:20e3:adbd:1a3e)
2021-06-18 11:04:45 +0200 <Profpatsch> The proposed solution https://hackage.haskell.org/package/wai-3.2.2.1/docs/src/Network.Wai.Internal.html#getRequestBodyC… is just an alias, but now you can’t use it as a data type constructor
2021-06-18 11:04:59 +0200 <Profpatsch> So idk how to not use a deprecated field to generate a request
2021-06-18 11:05:14 +0200 <dminuoso> Profpatsch: File a bug report.
2021-06-18 11:05:17 +0200 <Profpatsch> I vaguely remember that there is a way to use the function instead
2021-06-18 11:05:19 +0200 <Profpatsch> but I’m not sure
2021-06-18 11:05:27 +0200 <dminuoso> Not to update, as far as I know
2021-06-18 11:05:30 +0200ubert(~Thunderbi@p200300ecdf259d62e6b318fffe838f33.dip0.t-ipconnect.de)
2021-06-18 11:05:30 +0200 <Profpatsch> ok
2021-06-18 11:05:47 +0200 <Profpatsch> well I guess in that case I’d just mark it as okay
2021-06-18 11:06:46 +0200sekun(~sekun@180.190.218.38)
2021-06-18 11:06:55 +0200MoC(~moc@user/moc)
2021-06-18 11:06:56 +0200 <Profpatsch> Is there anything better than -Wno-deprecations on the module level?
2021-06-18 11:07:03 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 11:07:43 +0200 <dminuoso> Profpatsch: No. There's been a ticket on ghc to improve finer control on code regions, but that one has been unresolved out of overly idealistic wishes.
2021-06-18 11:07:54 +0200 <dminuoso> For a over a decade now.
2021-06-18 11:08:25 +0200 <dminuoso> Of course you could create a stub-module per deprecated thing
2021-06-18 11:08:43 +0200 <Profpatsch> yeah, it sounds like the workaround is not hard
2021-06-18 11:08:46 +0200 <dminuoso> (Or rather, some Deprecated module, which re-binds and re-exports these things, but has the warning disabled)
2021-06-18 11:12:46 +0200fef(~thedawn@user/thedawn) (Ping timeout: 252 seconds)
2021-06-18 11:14:10 +0200Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-06-18 11:14:29 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-18 11:14:36 +0200Erutuon(~Erutuon@user/erutuon) (Client Quit)
2021-06-18 11:14:57 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 272 seconds)
2021-06-18 11:15:10 +0200azeem(~azeem@176.200.249.255)
2021-06-18 11:15:13 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-06-18 11:15:17 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-18 11:15:33 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 11:15:41 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-18 11:15:41 +0200yd502_(~yd502@180.168.212.6) (Ping timeout: 268 seconds)
2021-06-18 11:15:45 +0200 <Profpatsch> whttps://github.com/yesodweb/wai/issues/849
2021-06-18 11:20:42 +0200agumonke`(~user@88.163.231.79) (Ping timeout: 240 seconds)
2021-06-18 11:21:36 +0200 <hololeap> OT question but I've been thinking... is it theoretically possible to create a language that has n-dimensions of type levels? in other words, instead of just types and kinds, also kinds of kinds and kinds of kinds of kinds etc.
2021-06-18 11:21:46 +0200 <dminuoso> hololeap: Yes.
2021-06-18 11:21:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 11:21:58 +0200 <merijn> hololeap: Google (Extended) Calculus of Constructions
2021-06-18 11:22:44 +0200 <dminuoso> Dont Idris and Agda have infinite towers like that?
2021-06-18 11:22:44 +0200 <hololeap> lol I was expecting more of a pause :)
2021-06-18 11:23:03 +0200 <merijn> dminuoso: Yes, iirc
2021-06-18 11:23:04 +0200 <kuribas> in a dependent language type level and kind level are the same.
2021-06-18 11:23:17 +0200 <merijn> kuribas: Yes, but also, no
2021-06-18 11:23:26 +0200 <dminuoso> kuribas: only in GHC Haskell.
2021-06-18 11:23:29 +0200 <merijn> TypeInType is malarkey
2021-06-18 11:23:30 +0200 <dminuoso> or rather, that's a particualr example
2021-06-18 11:23:37 +0200 <merijn> An abomination unto the lord
2021-06-18 11:23:37 +0200 <dminuoso> Idris/Agda do not have TypeInType
2021-06-18 11:23:55 +0200 <kuribas> dminuoso: no, type level and kind level are quite separate in haskell.
2021-06-18 11:24:07 +0200 <merijn> hololeap: CoC uses an infinite hierarchy with indexing instead of GHC's TypeInType
2021-06-18 11:24:08 +0200 <kuribas> in idris kind level *is* type level.
2021-06-18 11:24:10 +0200 <hololeap> well, how would you encode in an actual language, say, the 5th dimension of that stack
2021-06-18 11:24:12 +0200 <merijn> kuribas: No
2021-06-18 11:24:15 +0200 <kuribas> the type of a type is just a type.
2021-06-18 11:24:27 +0200 <dminuoso> 11:23:55 kuribas | dminuoso: no, type level and kind level are quite separate in haskell.
2021-06-18 11:24:29 +0200 <dminuoso> no they are not
2021-06-18 11:24:29 +0200 <merijn> idris uses indexed universes like Extended CoC afaik
2021-06-18 11:24:32 +0200 <hololeap> or have people done stuff like this in idris already?
2021-06-18 11:24:35 +0200 <dminuoso> kuribas: they are the same in GHC Haskell.
2021-06-18 11:24:50 +0200 <dminuoso> kuribas: GHC just has a lot of pleasantries in pretty printing error messages to make you think they are different.
2021-06-18 11:24:57 +0200 <merijn> hololeap: Normally people have either 4 (term, type, kind, sort) or they just generalise to infinity
2021-06-18 11:25:01 +0200 <dminuoso> and there's some ergonomics. but internally, they are the same
2021-06-18 11:25:04 +0200 <Taneb> hololeap: so, in Agda, 3 has type Nat which has type Set which has type Set1 which has type Set2 etc
2021-06-18 11:25:13 +0200 <merijn> hololeap: afaik Idris and Agda generalise to infinity
2021-06-18 11:25:15 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (WeeChat 3.1)
2021-06-18 11:25:40 +0200 <hololeap> interesting. it totally makes sense, though
2021-06-18 11:26:10 +0200 <dminuoso> Im not quite sure when the move happened in GHC, but the conflating of Kinds and Types happened a while ago. boxscape surely knows from the top off his heart.
2021-06-18 11:26:11 +0200sekun(~sekun@180.190.218.38) (Remote host closed the connection)
2021-06-18 11:26:24 +0200 <boxscape> 8.0
2021-06-18 11:26:24 +0200 <merijn> hololeap: I vaguely recall learning most of this stuff for an Extended CoC paper by Luo
2021-06-18 11:26:32 +0200 <merijn> hololeap: But it was...pretty brutal to get through :)
2021-06-18 11:26:48 +0200 <hololeap> will that level of abstraction ever reach GHC, for instance, after dependent types are implemented?
2021-06-18 11:27:03 +0200yd502(~yd502@180.168.212.6)
2021-06-18 11:27:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 240 seconds)
2021-06-18 11:27:17 +0200 <hololeap> I have been tempted to reach for kinds of kinds before, and then realized they dont exist in GHC
2021-06-18 11:27:38 +0200 <kuribas> merijn: ah right, Type == Type 1
2021-06-18 11:27:50 +0200 <kuribas> :t Type => Type 2
2021-06-18 11:27:51 +0200 <lambdabot> error: parse error on input ‘=>’
2021-06-18 11:27:56 +0200yd502_(~yd502@180.168.212.6)
2021-06-18 11:28:01 +0200 <hololeap> (although when I go past kinds it's a signal that I'm "smartifying" the problem)
2021-06-18 11:28:40 +0200sekun(~sekun@180.190.218.38)
2021-06-18 11:28:49 +0200 <kuribas> dminuoso: so GHC supports infinite type hierarchies already?
2021-06-18 11:29:14 +0200 <merijn> kuribas: No
2021-06-18 11:29:16 +0200 <dminuoso> kuribas: no.
2021-06-18 11:29:26 +0200 <merijn> kuribas: GHC just goes "lol, fuck it, who needs consistency in their logic"
2021-06-18 11:29:29 +0200 <dminuoso> kuribas: GHC has TypeInType, meaning `Type :: Type`
2021-06-18 11:29:48 +0200 <dminuoso> Even if you dont enable the extension, that's the reality of it.
2021-06-18 11:30:07 +0200 <boxscape> (in fact the extension is deprecated)
2021-06-18 11:30:16 +0200feliix42(~felix@gibbs.uberspace.de) (Read error: Connection reset by peer)
2021-06-18 11:30:30 +0200 <hololeap> can you use that to (for instance) a kind-level Bool?
2021-06-18 11:30:38 +0200 <hololeap> *create a
2021-06-18 11:30:47 +0200derelict(~derelict@user/derelict) (Ping timeout: 272 seconds)
2021-06-18 11:31:43 +0200yd502(~yd502@180.168.212.6) (Ping timeout: 268 seconds)
2021-06-18 11:32:23 +0200 <hololeap> I suppose that would be encoded as (k -> k -> k)
2021-06-18 11:33:11 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-18 11:33:30 +0200feliix42(~felix@gibbs.uberspace.de)
2021-06-18 11:35:32 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 11:36:18 +0200 <hololeap> it should be `True = (k1 -> k2 -> k1) ; False = (k1 -> k2 -> k2)`
2021-06-18 11:37:18 +0200 <hololeap> is this how DataKinds does it at the low level? does it church-encode an ADT as a type?
2021-06-18 11:37:59 +0200MoC(~moc@user/moc)
2021-06-18 11:38:27 +0200 <hololeap> *as a higher-kinded type
2021-06-18 11:38:54 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-06-18 11:39:02 +0200 <hololeap> mm I got lost
2021-06-18 11:39:28 +0200jneira(~jneira@212.8.115.226)
2021-06-18 11:39:42 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 11:40:21 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 11:41:00 +0200 <boxscape> I'm not sure there's a good reason for it to use a church encoding here
2021-06-18 11:41:25 +0200 <boxscape> it seems like you should be able to do something very similar to how ADTs are handled at runtime
2021-06-18 11:41:34 +0200 <boxscape> but
2021-06-18 11:41:37 +0200 <boxscape> I don't know how it's done
2021-06-18 11:41:37 +0200 <hololeap> boxscape: well, I was just thinking that you could use the current mechanism of higher-level kinds to encode different things already
2021-06-18 11:41:54 +0200 <boxscape> hm
2021-06-18 11:45:35 +0200derelict(~derelict@user/derelict)
2021-06-18 11:46:14 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 11:48:19 +0200fef(~thedawn@user/thedawn)
2021-06-18 11:49:02 +0200CookE[](~thedawn@user/thedawn)
2021-06-18 11:49:06 +0200fabfianda(~fabfianda@mob-5-90-255-176.net.vodafone.it) (Ping timeout: 268 seconds)
2021-06-18 11:49:28 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-06-18 11:49:56 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-18 11:51:03 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-06-18 11:52:48 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
2021-06-18 11:52:55 +0200fef(~thedawn@user/thedawn) (Ping timeout: 252 seconds)
2021-06-18 11:54:54 +0200agumonke`(~user@88.163.231.79)
2021-06-18 11:56:26 +0200mpt(~tom@2a02:908:1862:49e0::2)
2021-06-18 11:58:09 +0200kayprish(~kayprish@46.240.143.86)
2021-06-18 11:58:43 +0200Guest9(~Guest9@42.106.12.98) (Quit: Connection closed)
2021-06-18 11:59:26 +0200kayprish(~kayprish@46.240.143.86) (Remote host closed the connection)
2021-06-18 12:02:27 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 272 seconds)
2021-06-18 12:03:38 +0200agumonke`(~user@88.163.231.79) (Ping timeout: 252 seconds)
2021-06-18 12:04:37 +0200fabfianda(~fabfianda@mob-5-90-248-146.net.vodafone.it)
2021-06-18 12:10:09 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-06-18 12:10:35 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-06-18 12:12:03 +0200fendor(~fendor@178.115.128.93.wireless.dyn.drei.com) (Quit: Leaving)
2021-06-18 12:13:41 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds)
2021-06-18 12:15:13 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 12:15:26 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 12:19:56 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 12:21:22 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 12:22:24 +0200fendor(~fendor@178.115.128.93.wireless.dyn.drei.com)
2021-06-18 12:23:22 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-06-18 12:23:42 +0200jneira(~jneira@212.8.115.226)
2021-06-18 12:26:22 +0200kuribas(~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-06-18 12:30:22 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 12:31:06 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 240 seconds)
2021-06-18 12:31:39 +0200azeem(~azeem@176.200.249.255)
2021-06-18 12:33:36 +0200 <hololeap> boxscape: well, I tried to impment something using that and I get stuck without some notion of partially-applied type families or type-level lambdas
2021-06-18 12:34:17 +0200 <hololeap> type family Foo (_f :: (k -> x) -> k -> x) (_k :: k) :: x where Foo _f _k = ??????
2021-06-18 12:34:25 +0200 <boxscape> hololeap ah, well, you could always install singletons and use its defunctionalization infrastructure to emulate partially applied type families
2021-06-18 12:34:45 +0200 <hololeap> this was all just to see if it was possible
2021-06-18 12:34:59 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-18 12:35:20 +0200agumonke`(~user@88.160.31.174)
2021-06-18 12:37:36 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-18 12:39:01 +0200 <hololeap> oh, I see what I'm doing wrong here
2021-06-18 12:42:21 +0200kuribas(~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be)
2021-06-18 12:42:41 +0200kuribas(~user@ptr-25vy0i8edjvja2944v9.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-06-18 12:43:54 +0200 <hololeap> this works although it's cumbersome: http://dpaste.com/4QWQWYJHV
2021-06-18 12:44:22 +0200amk(~amk@176.61.106.150) (Read error: Connection reset by peer)
2021-06-18 12:44:40 +0200amk(~amk@176.61.106.150)
2021-06-18 12:45:58 +0200 <boxscape> hololeap which ghc version are you on?
2021-06-18 12:46:04 +0200 <hololeap> 8.10.5
2021-06-18 12:46:39 +0200 <boxscape> ok, huh, I'm getting a bunch of `error: Not in scope: type variable ‘k’` with 8.10.4
2021-06-18 12:47:51 +0200 <hololeap> oh heh I changed the names without recompiling
2021-06-18 12:48:09 +0200 <boxscape> ah
2021-06-18 12:48:44 +0200mpt(~tom@2a02:908:1862:49e0::2) (Ping timeout: 252 seconds)
2021-06-18 12:48:44 +0200 <hololeap> http://dpaste.com/CJ765R4U3
2021-06-18 12:48:50 +0200 <boxscape> thanks
2021-06-18 12:48:55 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 12:49:11 +0200 <hololeap> that's surprising that it cant disambiguate between the type-level "k" and the kind-level "k"
2021-06-18 12:49:29 +0200 <boxscape> hololeap the :$ is unnecessary
2021-06-18 12:49:35 +0200 <boxscape> or is that the point
2021-06-18 12:49:53 +0200 <hololeap> it was sort of an aritifact from when I wast trying to figure it out
2021-06-18 12:49:58 +0200 <boxscape> I see
2021-06-18 12:50:14 +0200 <boxscape> hololeap the type-level and kind-level namespaces are the same namespace
2021-06-18 12:50:27 +0200 <hololeap> I did not know that
2021-06-18 12:50:36 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-18 12:50:39 +0200 <boxscape> (since 8.0)
2021-06-18 12:50:44 +0200 <hololeap> I was doing it at first just to keep myself sane
2021-06-18 12:51:01 +0200 <hololeap> (keeping the type and kind variables disambiguous)
2021-06-18 12:51:33 +0200 <boxscape> for what it's worth, you could use ($) here if you wanted instead of (:$)
2021-06-18 12:51:52 +0200 <boxscape> the colon is only required for data constructors
2021-06-18 12:51:54 +0200yd502_(~yd502@180.168.212.6) (Ping timeout: 264 seconds)
2021-06-18 12:52:08 +0200 <hololeap> error: Not in scope: type constructor or class ‘$’
2021-06-18 12:52:15 +0200 <boxscape> hmm
2021-06-18 12:52:33 +0200 <boxscape> hololeap to be clear I mean also rename it in the type family
2021-06-18 12:52:45 +0200 <hololeap> oh, really
2021-06-18 12:52:50 +0200 <boxscape> ghc doesn't automatically promote the term-level ($) (yet), but you can make a separate type-level version of it
2021-06-18 12:53:06 +0200 <hololeap> I thought a type family had to start with a "capital" which included ':'
2021-06-18 12:53:44 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 12:53:45 +0200 <boxscape> understandable, but yeah, only data constructors
2021-06-18 12:53:51 +0200 <hololeap> it seems to work
2021-06-18 12:54:15 +0200 <hololeap> although that would get confusing
2021-06-18 12:54:22 +0200 <boxscape> % (\(+) -> (+)) 4 -- you need it for data constructors so that ghc knows the (+) here isn't supposed to be a constructor
2021-06-18 12:54:22 +0200 <yahb> boxscape: 4
2021-06-18 12:55:12 +0200 <hololeap> infixr 0 $ -- if I change it to this, this seems like it would conflict with ($) in base
2021-06-18 12:55:31 +0200 <hololeap> (although they are the same value)
2021-06-18 12:55:51 +0200 <boxscape> yeah the fixity notations are a bit weird, I think they apply to all type-level and term-level constructors defined in that module
2021-06-18 12:56:08 +0200 <boxscape> so you wouldn't affect the base ($) with that
2021-06-18 12:57:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-18 12:57:36 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 244 seconds)
2021-06-18 12:57:39 +0200fef(~thedawn@user/thedawn)
2021-06-18 12:57:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-06-18 12:58:07 +0200 <hololeap> if I changed it to infixr 1 $, it wouldn't override ($) from base?
2021-06-18 12:58:17 +0200 <boxscape> I don't think so, no
2021-06-18 12:58:17 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-18 12:58:39 +0200fef(~thedawn@user/thedawn)
2021-06-18 12:58:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 12:58:58 +0200 <hololeap> just because of its the placement in a separate module, or because it's just below the type family def... or what?
2021-06-18 12:59:18 +0200 <hololeap> that seems ambiguous to me
2021-06-18 13:00:01 +0200CookE[](~thedawn@user/thedawn) (Ping timeout: 252 seconds)
2021-06-18 13:00:12 +0200 <boxscape> because it's in a separate module
2021-06-18 13:00:37 +0200 <boxscape> (it's not a well designed situation)
2021-06-18 13:01:12 +0200dhil(~dhil@195.213.192.47)
2021-06-18 13:01:30 +0200jlamothe(~jlamothe@198.251.57.81)
2021-06-18 13:01:43 +0200fendor(~fendor@178.115.128.93.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-18 13:03:38 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2021-06-18 13:04:13 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 268 seconds)
2021-06-18 13:04:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-18 13:04:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 13:05:47 +0200ubert(~Thunderbi@p200300ecdf259d62e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-06-18 13:06:01 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-06-18 13:07:12 +0200 <hololeap> ok. good to know!
2021-06-18 13:07:32 +0200derelict(~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-06-18 13:13:09 +0200fendor(~fendor@178.115.128.93.wireless.dyn.drei.com)
2021-06-18 13:13:38 +0200flounders_flounders
2021-06-18 13:14:39 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 272 seconds)
2021-06-18 13:15:16 +0200fabfianda(~fabfianda@mob-5-90-248-146.net.vodafone.it) (Read error: Connection reset by peer)
2021-06-18 13:15:25 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-18 13:15:33 +0200azeem(~azeem@176.200.249.255)
2021-06-18 13:19:23 +0200noctux(~noctux@user/noctux)
2021-06-18 13:19:33 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-06-18 13:20:18 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 13:20:22 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 268 seconds)
2021-06-18 13:21:01 +0200azeem(~azeem@176.200.249.255)
2021-06-18 13:22:57 +0200teaSlurper(~chris@81.96.113.213)
2021-06-18 13:24:09 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 13:24:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 13:24:54 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-18 13:24:57 +0200sekun(~sekun@180.190.218.38) (Remote host closed the connection)
2021-06-18 13:26:04 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-06-18 13:26:28 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Quit: C-x C-c, Shutting down OS...)
2021-06-18 13:27:54 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 264 seconds)
2021-06-18 13:29:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 264 seconds)
2021-06-18 13:29:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-18 13:29:30 +0200chomwitt(~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 240 seconds)
2021-06-18 13:35:20 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-18 13:36:40 +0200teaSlurper(~chris@81.96.113.213)
2021-06-18 13:39:23 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 13:42:52 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-18 13:43:11 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-18 13:43:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 244 seconds)
2021-06-18 13:45:32 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 268 seconds)
2021-06-18 13:46:04 +0200adium(adium@user/adium) (Quit: Stable ZNC by #bnc4you)
2021-06-18 13:50:47 +0200adium(adium@user/adium)
2021-06-18 13:51:11 +0200azeem(~azeem@176.200.249.255)
2021-06-18 13:54:54 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds)
2021-06-18 13:55:02 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-18 13:56:43 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-18 13:57:58 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 13:58:36 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-18 13:59:06 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 268 seconds)
2021-06-18 13:59:19 +0200kosmikus_kosmikus
2021-06-18 14:00:39 +0200 <dminuoso> How exactly does the ($) hack work in GHC that allows for `runST $ ...` ?
2021-06-18 14:01:00 +0200 <dminuoso> Does GHC rewrite the AST to remove ($) directly?
2021-06-18 14:01:43 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 14:02:18 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 240 seconds)
2021-06-18 14:03:40 +0200 <jiribenes> dminuoso: I think that with Quick Look, there is no need for any hacks anymore
2021-06-18 14:04:00 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 14:04:03 +0200 <jiribenes> (Please correct me if I'm wrong)
2021-06-18 14:06:17 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-06-18 14:07:25 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-18 14:07:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 14:09:07 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-18 14:10:41 +0200yournamebarrucadu
2021-06-18 14:12:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 14:14:12 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-06-18 14:14:46 +0200jneira(~jneira@212.8.115.226)
2021-06-18 14:15:00 +0200jneira(~jneira@212.8.115.226) (Client Quit)
2021-06-18 14:15:21 +0200jneira(~jneira@212.8.115.226)
2021-06-18 14:15:45 +0200safinaskar(~safinaska@109.252.90.89)
2021-06-18 14:17:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 272 seconds)
2021-06-18 14:17:23 +0200 <safinaskar> consider this code: <<< i :: a -> a; i x = (x :: a); >>>
2021-06-18 14:17:34 +0200 <safinaskar> how to make it compile?
2021-06-18 14:17:35 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 14:18:03 +0200nf(~n@monade.li) (Quit: Fairfarren.)
2021-06-18 14:18:18 +0200nf(~n@monade.li)
2021-06-18 14:21:00 +0200 <boxscape> % i :: forall a . a -> a; i x = (x :: a)
2021-06-18 14:21:00 +0200 <yahb> boxscape:
2021-06-18 14:21:05 +0200 <boxscape> ^ safinaskar
2021-06-18 14:21:11 +0200 <boxscape> assuming you have turned on ScopedTypeVariables
2021-06-18 14:21:46 +0200yangby(~secret@115.199.97.206)
2021-06-18 14:21:54 +0200 <boxscape> the `a` only becomes available in the rest of the definition if it's explicitly quantified with forall
2021-06-18 14:22:37 +0200 <safinaskar> boxscape: thanks, it works
2021-06-18 14:23:15 +0200safinaskar(~safinaska@109.252.90.89) (Quit: Client closed)
2021-06-18 14:23:44 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-18 14:23:46 +0200qbt(~edun@user/edun) (Ping timeout: 268 seconds)
2021-06-18 14:25:49 +0200Pickchea(~private@user/pickchea)
2021-06-18 14:26:22 +0200 <merijn> Alternatively, just remove the :: :p
2021-06-18 14:26:26 +0200trcc(~trcc@users-1190.st.net.au.dk)
2021-06-18 14:28:07 +0200agumonke`(~user@88.160.31.174) (Ping timeout: 272 seconds)
2021-06-18 14:29:53 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-06-18 14:31:45 +0200lavaman(~lavaman@98.38.249.169)
2021-06-18 14:32:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 14:33:14 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-18 14:35:43 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8)
2021-06-18 14:36:01 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-18 14:36:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-18 14:37:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 264 seconds)
2021-06-18 14:37:30 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-18 14:41:30 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 14:42:00 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-06-18 14:42:25 +0200jneira(~jneira@212.8.115.226)
2021-06-18 14:43:54 +0200jneira(~jneira@212.8.115.226) (Client Quit)
2021-06-18 14:43:57 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 272 seconds)
2021-06-18 14:44:12 +0200jneira(~jneira@212.8.115.226)
2021-06-18 14:45:54 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 14:46:19 +0200lbseale(~lbseale@user/ep1ctetus)
2021-06-18 14:47:11 +0200johny9(~bc817c21@217.29.117.252)
2021-06-18 14:47:18 +0200jneira(~jneira@212.8.115.226) (Client Quit)
2021-06-18 14:47:59 +0200lbseale_(~lbseale@user/ep1ctetus)
2021-06-18 14:49:31 +0200azeem(~azeem@176.200.249.255)
2021-06-18 14:51:16 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 244 seconds)
2021-06-18 14:52:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 14:54:33 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-18 14:56:06 +0200Pickchea(~private@user/pickchea) (Ping timeout: 264 seconds)
2021-06-18 14:57:28 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 244 seconds)
2021-06-18 15:01:14 +0200alx741(~alx741@181.196.68.42)
2021-06-18 15:06:23 +0200shelle(~shelle@ip-96-43-230-90.dsl.netrevolution.com) (Quit: WeeChat 3.1)
2021-06-18 15:08:20 +0200vpan(~vilius@212.117.1.172) (Quit: Leaving.)
2021-06-18 15:10:38 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds)
2021-06-18 15:12:18 +0200amk(~amk@176.61.106.150) (Ping timeout: 264 seconds)
2021-06-18 15:12:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 15:13:40 +0200amk(~amk@176.61.106.150)
2021-06-18 15:13:49 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 15:14:35 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-06-18 15:15:04 +0200trcc(~trcc@users-1190.st.net.au.dk) (Ping timeout: 268 seconds)
2021-06-18 15:16:28 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-18 15:17:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 240 seconds)
2021-06-18 15:18:18 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-18 15:21:42 +0200 <juri_> ok, down to 212 stan warnings.
2021-06-18 15:21:50 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 15:23:07 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 15:26:02 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-18 15:27:26 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-18 15:27:40 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-18 15:27:41 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-18 15:28:06 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 15:28:09 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2021-06-18 15:28:38 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-06-18 15:29:54 +0200lbseale_(~lbseale@user/ep1ctetus) (Quit: Leaving)
2021-06-18 15:31:19 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 15:32:24 +0200hexo(~hexo@user/hexo) (Ping timeout: 244 seconds)
2021-06-18 15:37:04 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 15:41:30 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 240 seconds)
2021-06-18 15:42:47 +0200azeem(~azeem@176.200.249.255)
2021-06-18 15:45:01 +0200hexo(~hexo@2a02-ab04-2843-9500-d14a-9fc4-4095-4081.dynamic.v6.chello.sk)
2021-06-18 15:45:02 +0200hexo(~hexo@2a02-ab04-2843-9500-d14a-9fc4-4095-4081.dynamic.v6.chello.sk) (Changing host)
2021-06-18 15:45:02 +0200hexo(~hexo@user/hexo)
2021-06-18 15:46:15 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 15:46:26 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-06-18 15:46:57 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-18 15:50:01 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 15:50:31 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: No Ping reply in 180 seconds.)
2021-06-18 15:50:41 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-06-18 15:51:12 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 244 seconds)
2021-06-18 15:53:34 +0200delYsid(~user@213.208.157.38)
2021-06-18 15:54:18 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 244 seconds)
2021-06-18 15:54:28 +0200 <delYsid> Any Emacs lsp users here? I have it setup, but I am in emacs -nw and code lenses dont seem to work, or at least I dont get it. What else does lsp give me which I should check out, now that I am in modern IDE world?
2021-06-18 15:55:24 +0200azeem(~azeem@176.200.249.255)
2021-06-18 15:56:27 +0200jess(~jess@libera/staff/jess) ()
2021-06-18 15:56:52 +0200delYsid(~user@213.208.157.38) (Remote host closed the connection)
2021-06-18 15:57:05 +0200delYsid(~user@213.208.157.38)
2021-06-18 15:57:23 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 15:59:42 +0200 <janus> delYsid: it can make explicit import lists automatically
2021-06-18 15:59:59 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-06-18 16:01:12 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-18 16:02:28 +0200 <delYsid> janus: Yeah, that sounds useful. How do I do that?
2021-06-18 16:03:08 +0200 <janus> delYsid: on my machine it suggests it automatically if you hover over the import
2021-06-18 16:03:15 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 16:03:16 +0200 <janus> delYsid: maybe that is a "code lens" ?
2021-06-18 16:03:23 +0200 <janus> note sure what they are
2021-06-18 16:03:25 +0200 <janus> *not
2021-06-18 16:04:36 +0200koishi_(~user@185.209.85.134)
2021-06-18 16:04:38 +0200 <delYsid> Thats what I am suspecting, it looks like a mouse-only feature... :-(
2021-06-18 16:04:44 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-06-18 16:05:29 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-18 16:06:30 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed)
2021-06-18 16:07:55 +0200koishi_(~user@185.209.85.134) (Client Quit)
2021-06-18 16:08:21 +0200koishi_(~user@185.209.85.134)
2021-06-18 16:08:56 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 252 seconds)
2021-06-18 16:11:20 +0200fendor_(~fendor@77.119.131.188.wireless.dyn.drei.com)
2021-06-18 16:13:46 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-18 16:14:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 16:14:16 +0200fendor(~fendor@178.115.128.93.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-06-18 16:14:22 +0200koishi_koishi`
2021-06-18 16:14:29 +0200koishi`koishi_
2021-06-18 16:18:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 268 seconds)
2021-06-18 16:19:37 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (Quit: WeeChat 3.1)
2021-06-18 16:21:48 +0200dunj3(~dunj3@2001:16b8:30bb:9200:59f4:20e3:adbd:1a3e) (Remote host closed the connection)
2021-06-18 16:26:00 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2021-06-18 16:26:55 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 16:28:23 +0200pavonia(~user@user/siracusa)
2021-06-18 16:30:00 +0200phma(phma@2001:5b0:215d:8f48:bacd:d5e3:1440:7006) (Read error: Connection reset by peer)
2021-06-18 16:30:02 +0200dajoer(~david@softbank126019120204.bbtec.net) (Quit: leaving)
2021-06-18 16:30:44 +0200phma(phma@2001:5b0:210b:98b8:ef83:24f5:5460:8a3e)
2021-06-18 16:31:37 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-18 16:32:03 +0200jorjor(~jorgemene@85.251.190.6.dyn.user.ono.com)
2021-06-18 16:32:04 +0200dunkeln(~dunkeln@94.129.65.28) (Quit: leaving)
2021-06-18 16:32:51 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-18 16:33:41 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 252 seconds)
2021-06-18 16:34:08 +0200fendor__(~fendor@77.119.131.188.wireless.dyn.drei.com)
2021-06-18 16:37:57 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 16:38:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 16:38:42 +0200nanoc(~nanocoast@p200300e127264d00c53eefe97e39bc17.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-06-18 16:39:00 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:c87c:bd1f:7ebb:5b0b)
2021-06-18 16:39:24 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-18 16:39:38 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-18 16:41:47 +0200lalbornoz_(~lalbornoz@185.213.155.162)
2021-06-18 16:41:49 +0200 <lalbornoz_> https://i.imgur.com/zkMEoVo.jpeg
2021-06-18 16:41:54 +0200 <janus> delYsid: No, the cursor can be your text cursor. I had it working in nvim, i think
2021-06-18 16:42:02 +0200lalbornoz_(~lalbornoz@185.213.155.162) (Remote host closed the connection)
2021-06-18 16:42:42 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 240 seconds)
2021-06-18 16:43:23 +0200 <janus> how do i unset -Werror from inside GHCi? I tried ":set -Wno-error" but it doesn't exist
2021-06-18 16:43:33 +0200muto(~muto@d75-159-225-7.abhsia.telus.net)
2021-06-18 16:44:02 +0200 <merijn> Isn't that just -Wwarn ?
2021-06-18 16:44:37 +0200 <janus> aah maybe, thanks!
2021-06-18 16:45:46 +0200 <janus> delYsid: pretty sure the LSP protocol doesn't care about pixel positions within a text character. so it is not specific to mouse.
2021-06-18 16:45:55 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 16:46:01 +0200 <lortabac> there is ':unset', but apparently it doesn't work with -Werror
2021-06-18 16:46:28 +0200 <delYsid> merijn: TH was interesting, but the moment I had to learn th-compat to work around Q (TExp a) vs Code Q a I was for a short moment hating the moment I followed your advice :-)
2021-06-18 16:46:51 +0200hueso(~root@152.170.216.40) (Changing host)
2021-06-18 16:46:51 +0200hueso(~root@user/hueso)
2021-06-18 16:47:10 +0200 <delYsid> janus: I guessed as much. However, the emacs lsp impl. I use seems to have forgotten about terminals.
2021-06-18 16:47:22 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-18 16:47:30 +0200fendor__(~fendor@77.119.131.188.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-06-18 16:48:50 +0200fm(~fm@user/fm)
2021-06-18 16:49:11 +0200 <janus> delYsid: i never saw an emacs mode that only worked in GUI mode so i dunno about that... but i guess theory in it could exist
2021-06-18 16:49:48 +0200 <janus> but why would anyone write an LSP mode like that? still doesn't make sense to me
2021-06-18 16:50:07 +0200 <delYsid> janus: Yeah, usually emacs is pretty nice about terminal vs gui compatibility. But the new wave of young and spiffy coders seem to have forgotten about it.
2021-06-18 16:50:27 +0200 <janus> i would verify it before making assertions like that ;)
2021-06-18 16:50:39 +0200 <delYsid> I fucking read the code! :-)
2021-06-18 16:50:49 +0200 <delYsid> reading through lsp-lens.el makes the story quite clear
2021-06-18 16:50:59 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-18 16:51:06 +0200 <delYsid> Fun is, I remember there was a way to do this a year ago, but they seem to have it removed since...
2021-06-18 16:51:31 +0200listofoptions(~haha@nat.syssrc.com) (Read error: Connection reset by peer)
2021-06-18 16:52:01 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-06-18 16:52:38 +0200muto(~muto@d75-159-225-7.abhsia.telus.net) ()
2021-06-18 16:52:58 +0200lbseale(~lbseale@user/ep1ctetus)
2021-06-18 16:54:49 +0200jneira[m](~jneira@242.red-176-83-168.dynamicip.rima-tde.net)
2021-06-18 16:54:51 +0200altern(~altern@altern.corbina.com.ua) (Ping timeout: 268 seconds)
2021-06-18 16:55:10 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 250 seconds)
2021-06-18 16:56:12 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 268 seconds)
2021-06-18 16:57:47 +0200listofoptions(~haha@nat.syssrc.com)
2021-06-18 17:01:49 +0200Sgeo(~Sgeo@user/sgeo)
2021-06-18 17:06:42 +0200azeem(~azeem@176.200.249.255) (Ping timeout: 240 seconds)
2021-06-18 17:06:50 +0200azeem(~azeem@176.200.249.255)
2021-06-18 17:10:32 +0200shaprhugs delYsid
2021-06-18 17:11:30 +0200 <shapr> delYsid: someone from the Haskell Foundation recently asked me about Haskell coders who might have accessibility issues
2021-06-18 17:11:47 +0200 <shapr> I linked them to your braille backend for diagrams, and suggested you might be a person to ask
2021-06-18 17:12:01 +0200 <shapr> delYsid: do you have an orbit reader?
2021-06-18 17:12:13 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 17:13:41 +0200Guest9(~Guest9@103.250.137.30)
2021-06-18 17:13:56 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 17:17:13 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 272 seconds)
2021-06-18 17:17:38 +0200fef(~thedawn@user/thedawn)
2021-06-18 17:18:30 +0200jneira[m](~jneira@242.red-176-83-168.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-18 17:20:53 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2021-06-18 17:21:04 +0200delYsid(~user@213.208.157.38) (Remote host closed the connection)
2021-06-18 17:22:55 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-18 17:24:24 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 17:26:30 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 17:28:04 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 17:29:44 +0200koishi_(~user@185.209.85.134) (Remote host closed the connection)
2021-06-18 17:31:14 +0200derelict(~derelict@user/derelict)
2021-06-18 17:31:49 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-18 17:37:12 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection)
2021-06-18 17:37:16 +0200 <Guest9> if 3(m) symbols then 2^3(2^m) possible sequence, how?
2021-06-18 17:37:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection)
2021-06-18 17:37:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-18 17:37:38 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 17:37:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 17:38:45 +0200pera(~pera@user/pera) (Ping timeout: 272 seconds)
2021-06-18 17:39:33 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-06-18 17:39:34 +0200jneira[m](~jneira@242.red-176-83-168.dynamicip.rima-tde.net)
2021-06-18 17:39:52 +0200jorjor(~jorgemene@85.251.190.6.dyn.user.ono.com) (Ping timeout: 268 seconds)
2021-06-18 17:42:26 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c3b0:1a89:f9cb:1a29) (Ping timeout: 252 seconds)
2021-06-18 17:43:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-06-18 17:43:19 +0200andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-06-18 17:43:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 17:44:04 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 17:44:38 +0200fendor__(~fendor@e254-166.eduroam.tuwien.ac.at)
2021-06-18 17:44:45 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 17:47:50 +0200andreas31(~andreas@gateway/tor-sasl/andreas303) (Client Quit)
2021-06-18 17:48:20 +0200andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-06-18 17:48:59 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-18 17:49:33 +0200andreas31(~andreas@gateway/tor-sasl/andreas303) (Client Quit)
2021-06-18 17:49:44 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 17:51:27 +0200 <pavonia> Guest9: What's the context of that question?
2021-06-18 17:51:55 +0200 <dminuoso> 11:00:35 Guest9 | if i have m placeholders/bins/boxes & n values/symbols, how many combinations it is possible to make without repeating any value/symbol?
2021-06-18 17:51:59 +0200Pickchea(~private@user/pickchea)
2021-06-18 17:52:01 +0200 <Guest9> i am reaidng CLRS book, came across that statememnt i am trying to understand it. pavonia
2021-06-18 17:52:12 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds)
2021-06-18 17:52:37 +0200 <Guest9> dminuoso that issue was resolved.
2021-06-18 17:52:40 +0200jneira[m](~jneira@242.red-176-83-168.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-06-18 17:52:55 +0200 <Guest9> n!/(n-m)!
2021-06-18 17:53:07 +0200Bartosz(~textual@24.35.90.211)
2021-06-18 17:53:18 +0200 <dminuoso> are you sure its not n!/m!(n-m)! ?
2021-06-18 17:53:42 +0200 <Guest9> 100 values, 2 boxes so total 100*99 combinations
2021-06-18 17:53:53 +0200 <Guest9> 100!/(100-2)!
2021-06-18 17:54:29 +0200 <dminuoso> Guest9: Ah, I guess you care about the order of symbols?
2021-06-18 17:54:34 +0200 <Guest9> unique-without repeating any value/symbol
2021-06-18 17:54:45 +0200 <dminuoso> Right, gotcha
2021-06-18 17:55:10 +0200 <dminuoso> Guest9: So sn and ns are both valid combinations, correct?
2021-06-18 17:55:20 +0200 <Guest9> yes
2021-06-18 17:55:23 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-06-18 17:55:29 +0200 <Guest9> so what does this gives?n!/m!(n-m)!
2021-06-18 17:55:35 +0200 <Guest9> what is intuition for it?
2021-06-18 17:56:03 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 17:56:06 +0200boxscape(~boxscape@user/boxscape)
2021-06-18 17:57:03 +0200lbseale(~lbseale@user/ep1ctetus)
2021-06-18 17:58:08 +0200lbseale_(~lbseale@user/ep1ctetus)
2021-06-18 17:58:16 +0200 <Guest9> so does it mean if values=1,2,3=>(1,2)(1,3)(2,3)
2021-06-18 17:58:26 +0200 <pavonia> All sequences where order doesn't matter, I think
2021-06-18 17:59:15 +0200 <hrnz> this counts the number of m-subsets of an n-elemnent st.
2021-06-18 17:59:17 +0200 <hrnz> set*
2021-06-18 17:59:34 +0200lechner(~lechner@letbox-vps.us-core.com) (Changing host)
2021-06-18 17:59:34 +0200lechner(~lechner@debian/lechner)
2021-06-18 18:00:10 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 18:01:29 +0200 <janus> is there a way that i can set a preprocessor flag if a C header contains a symbol? i imagine i'll have to use a custom Setup.hs build script?
2021-06-18 18:01:31 +0200 <Guest9> is it same as m choose n?
2021-06-18 18:01:58 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-06-18 18:02:14 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 252 seconds)
2021-06-18 18:02:28 +0200 <hrnz> if you have a little knowledge of group theory, the orbit stabiliser theorem gives you some nice intuition
2021-06-18 18:02:51 +0200mousey(~skymouse@gateway/tor-sasl/mousey)
2021-06-18 18:02:58 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-18 18:03:01 +0200 <hrnz> n!/m!(n-m)! is n choose m.
2021-06-18 18:03:06 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 240 seconds)
2021-06-18 18:03:12 +0200juhp(~juhp@128.106.188.66)
2021-06-18 18:03:18 +0200 <dminuoso> janus: Yes.
2021-06-18 18:03:37 +0200 <dminuoso> janus: A random example of how that might look is https://github.com/cdepillabout/termonad/blob/f2ae93c84afd83d24cc276a802099909dafc4d72/Setup.hs#L120
2021-06-18 18:04:25 +0200 <janus> very cool, thank you. i wonder whether i could just have two packages, then the one with the common subset of functionality can stay with a Simple build
2021-06-18 18:04:39 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
2021-06-18 18:04:43 +0200 <hrnz> the symmetric group on n letters acts transitively on the set of m-element subsets. The stabilisers of that actions are direct products of S_m and S_{n-m} (you can freely permute the elements in your subsets and those not in your subset)
2021-06-18 18:05:10 +0200andreas3-(andreas303@ip227.orange.bnc4free.com)
2021-06-18 18:05:41 +0200 <dminuoso> janus: Sure, that sounds like it would work.
2021-06-18 18:05:56 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-06-18 18:06:56 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-06-18 18:07:17 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-18 18:08:13 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-18 18:12:32 +0200azeem(~azeem@176.200.249.255) (Read error: Connection reset by peer)
2021-06-18 18:13:06 +0200dhil(~dhil@195.213.192.47)
2021-06-18 18:13:16 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-18 18:13:21 +0200derelict(~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-06-18 18:13:50 +0200derelict(~derelict@user/derelict)
2021-06-18 18:13:57 +0200 <Guest9> what is the key word for 23 combination is allowed while 32 not allowed likewise 213 is counted but not 123 or 321?
2021-06-18 18:15:08 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds)
2021-06-18 18:15:21 +0200 <Guest9> i mean any one of (23,32) (213,123,321,231,132,213)
2021-06-18 18:16:14 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 18:16:37 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 18:17:26 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 18:17:36 +0200idnar(sid12240@id-12240.tooting.irccloud.com) (Changing host)
2021-06-18 18:17:36 +0200idnar(sid12240@debian/mithrandi)
2021-06-18 18:17:56 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 18:18:53 +0200 <pavonia> Guest9: Doesn't "combination" already imply that order doesn't matter?
2021-06-18 18:19:18 +0200 <Guest9> checking wiki/dictionary for combinaton
2021-06-18 18:19:35 +0200fendor__fendor
2021-06-18 18:20:36 +0200 <Guest9> yes
2021-06-18 18:20:55 +0200 <pavonia> :)
2021-06-18 18:20:56 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-18 18:22:12 +0200nvmd(~nvmd@user/nvmd)
2021-06-18 18:22:25 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 18:22:39 +0200andreas3-(andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
2021-06-18 18:22:51 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2021-06-18 18:23:18 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-06-18 18:23:42 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 18:28:55 +0200 <zzz> still no tunes-like logging?
2021-06-18 18:29:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 18:33:03 +0200 <janus> how do i use a function that returns "Q Exp" . i know i can use [Shakespeare.Text.text| ...] to use `text`. But how to use `textFile`?
2021-06-18 18:34:08 +0200 <janus> ooh is it $( ... ) syntax
2021-06-18 18:34:12 +0200 <c_wraith> yes
2021-06-18 18:34:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 18:34:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-18 18:36:34 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 18:38:40 +0200fendor(~fendor@e254-166.eduroam.tuwien.ac.at) (Remote host closed the connection)
2021-06-18 18:39:47 +0200fendor(~fendor@e254-166.eduroam.tuwien.ac.at)
2021-06-18 18:42:28 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 18:42:51 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-18 18:44:08 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 18:44:10 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-06-18 18:46:38 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-18 18:51:12 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 18:51:47 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-18 18:51:57 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 18:51:58 +0200fendor__(~fendor@e232-108.eduroam.tuwien.ac.at)
2021-06-18 18:52:55 +0200fluffyballoonstickybearloon
2021-06-18 18:54:16 +0200stickybearloonfluffyballoon
2021-06-18 18:54:25 +0200fendor(~fendor@e254-166.eduroam.tuwien.ac.at) (Ping timeout: 244 seconds)
2021-06-18 18:56:36 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection)
2021-06-18 18:57:08 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 18:57:34 +0200Pickchea(~private@user/pickchea) (Ping timeout: 268 seconds)
2021-06-18 18:58:09 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
2021-06-18 18:58:34 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2021-06-18 18:59:19 +0200jim`(~user@host-79-78-246-49.static.as9105.net)
2021-06-18 18:59:25 +0200derelict(~derelict@user/derelict) (Ping timeout: 268 seconds)
2021-06-18 19:01:03 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2021-06-18 19:01:39 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
2021-06-18 19:01:43 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 272 seconds)
2021-06-18 19:02:03 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2021-06-18 19:02:39 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 19:05:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 19:06:00 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 19:07:24 +0200 <monochrom> Actually I am inclined to be pessimistic about tunes.org logs. It had stopped logging unrelated before our switch to libera.
2021-06-18 19:07:37 +0200 <monochrom> s/unrelated/unrelatedly/
2021-06-18 19:07:49 +0200 <jim`> With any cabal command I get "Could not deserialize <repo>/root.json: Malformed: (line 1, column 1) unexpected end of line expecting white space or JSON value"
2021-06-18 19:08:03 +0200alex3(~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds)
2021-06-18 19:08:33 +0200 <jim`> ubuntu 20.04.2 LTS
2021-06-18 19:08:59 +0200alex3(~alex3@BSN-77-82-41.static.siol.net)
2021-06-18 19:09:08 +0200fendor__(~fendor@e232-108.eduroam.tuwien.ac.at) (Remote host closed the connection)
2021-06-18 19:09:14 +0200 <monochrom> Does "cabal update" help?
2021-06-18 19:10:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-18 19:11:12 +0200dudek(~dudek@185.150.236.112)
2021-06-18 19:11:20 +0200 <jim`> any cabal command produces the same error from cabal-install-2.4.0.0 compiled with cabal-2.4.0.1
2021-06-18 19:11:34 +0200dudek(~dudek@185.150.236.112) (Remote host closed the connection)
2021-06-18 19:11:52 +0200Guest9(~Guest9@103.250.137.30) (Ping timeout: 268 seconds)
2021-06-18 19:12:29 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 19:12:32 +0200lalbornoz_(~lalbornoz@n112118160160.netvigator.com)
2021-06-18 19:12:34 +0200 <lalbornoz_> YOUR SHIT CHATS MAKE ME SO MAD I PUNCH HOLES IN MY WALL!!! THATS Y I MOVED 2 IRC.LIBERA.CHAT #MIDIPIX https://i.imgur.com/zkMEoVo.jpeg
2021-06-18 19:12:40 +0200ChanServ+o monochrom
2021-06-18 19:12:41 +0200lalbornoz_(~lalbornoz@n112118160160.netvigator.com) (K-Lined)
2021-06-18 19:12:46 +0200monochrom-o monochrom
2021-06-18 19:13:05 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7)
2021-06-18 19:13:30 +0200 <blackbart> Does anyone know of a haskell library that could do something like this (from BOSL2 library for OpenSCAD) https://github.com/revarbat/BOSL2/wiki/walls.scad#module-sparse_strut ?
2021-06-18 19:14:15 +0200alx741(~alx741@181.196.68.42) (Ping timeout: 244 seconds)
2021-06-18 19:16:42 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 240 seconds)
2021-06-18 19:18:40 +0200 <blackbart> To save the need to load the link, it basicly creates sort of wireframe rectangles (ideally, I'd like to do trapezoids as well)
2021-06-18 19:18:55 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 19:21:26 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 252 seconds)
2021-06-18 19:23:09 +0200 <[exa]> blackbart: there's been some scad-like library recently
2021-06-18 19:26:23 +0200 <[exa]> https://github.com/Haskell-Things/ImplicitCAD <- I guess you should be able to express it with this one
2021-06-18 19:26:58 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 19:27:38 +0200alx741(~alx741@181.196.68.241)
2021-06-18 19:28:57 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 272 seconds)
2021-06-18 19:32:07 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-06-18 19:34:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 19:34:57 +0200 <blackbart> [exa]: taking a look, thanks
2021-06-18 19:35:12 +0200finsternis(~Y@23.226.237.192)
2021-06-18 19:35:32 +0200 <[exa]> it's a wild guess but it looked pretty advanced
2021-06-18 19:39:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-18 19:41:26 +0200dhil(~dhil@80.208.56.181)
2021-06-18 19:42:19 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-18 19:43:35 +0200 <maerwald[m]> It can't represent hulls
2021-06-18 19:47:23 +0200johny9(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-06-18 19:50:31 +0200econo(uid147250@user/econo)
2021-06-18 19:55:30 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:c87c:bd1f:7ebb:5b0b) (Quit: Leaving)
2021-06-18 19:58:00 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 268 seconds)
2021-06-18 19:58:44 +0200fef(~thedawn@user/thedawn)
2021-06-18 19:59:02 +0200teaSlurper(~chris@81.96.113.213)
2021-06-18 20:00:04 +0200ec(~ec@gateway/tor-sasl/ec)
2021-06-18 20:00:48 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru)
2021-06-18 20:01:16 +0200 <safinaskar> hi. i didn't specify "-O2" in cabal file and published a package to hackage
2021-06-18 20:01:28 +0200 <safinaskar> does it mean that my package will be slower for all users?!
2021-06-18 20:01:49 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 20:02:23 +0200 <monochrom> Apart from a few very rare exceptions, you are not supposed to specify -O2 in the first place. This one is supposed to be a user choice, not an author choice.
2021-06-18 20:02:35 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 20:02:46 +0200 <sclv> right. hackage actually yells at you if you try to upload with O2
2021-06-18 20:02:57 +0200 <monochrom> And the cabal default is -O1.
2021-06-18 20:05:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 20:06:02 +0200oxide(~lambda@user/oxide)
2021-06-18 20:06:19 +0200pippijn(~pippijn@ra.xinutec.org)
2021-06-18 20:06:24 +0200curiousgay(~quassel@178.217.208.8) (Read error: Connection reset by peer)
2021-06-18 20:06:28 +0200derelict(~derelict@user/derelict)
2021-06-18 20:07:06 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 240 seconds)
2021-06-18 20:09:01 +0200sedeki(~textual@user/sedeki)
2021-06-18 20:09:59 +0200 <safinaskar> thanks
2021-06-18 20:10:11 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru) (Quit: Client closed)
2021-06-18 20:10:15 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-18 20:10:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-06-18 20:10:31 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 20:12:31 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 20:13:27 +0200favonia(~favonia@user/favonia)
2021-06-18 20:14:02 +0200Guest9(~Guest9@103.250.137.30)
2021-06-18 20:14:28 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 20:17:05 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-18 20:20:25 +0200sedeki(~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-06-18 20:23:02 +0200awth13(~user@user/awth13) (Read error: Connection reset by peer)
2021-06-18 20:24:38 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net)
2021-06-18 20:27:30 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds)
2021-06-18 20:30:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-18 20:32:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-18 20:32:23 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 20:32:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 20:35:26 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:35e3:9001:de86:167f)
2021-06-18 20:35:42 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds)
2021-06-18 20:43:23 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 20:46:25 +0200fef(~thedawn@user/thedawn) (Ping timeout: 252 seconds)
2021-06-18 20:47:03 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-18 20:47:47 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-18 20:49:18 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-18 20:49:18 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-18 20:49:32 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection)
2021-06-18 20:49:49 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 20:51:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-06-18 20:51:35 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-18 20:54:10 +0200teaSlurper(~chris@81.96.113.213)
2021-06-18 20:54:49 +0200curiousgay(~quassel@178.217.208.8)
2021-06-18 20:55:51 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 20:56:00 +0200teaSlurper(~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-06-18 20:56:07 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-18 20:56:17 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-18 20:56:21 +0200teaSlurper(~chris@81.96.113.213)
2021-06-18 21:00:03 +0200qrpnxz(~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown)
2021-06-18 21:00:13 +0200qrpnxz(abc4f95c31@user/qrpnxz)
2021-06-18 21:00:54 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 21:03:16 +0200acid(~acid@user/acid) (Ping timeout: 244 seconds)
2021-06-18 21:03:37 +0200acid(~acid@user/acid)
2021-06-18 21:04:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a6ac:8c1e:9557:b0f1)
2021-06-18 21:09:35 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 21:11:01 +0200seeg(~thelounge@static.89.161.217.95.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2021-06-18 21:11:11 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-18 21:11:23 +0200seeg(~thelounge@static.89.161.217.95.clients.your-server.de)
2021-06-18 21:11:32 +0200acid(~acid@user/acid) (Ping timeout: 244 seconds)
2021-06-18 21:12:08 +0200acid(~acid@user/acid)
2021-06-18 21:14:35 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-18 21:14:57 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-06-18 21:15:53 +0200chrysanthematic(~chrysanth@109.70.150.245)
2021-06-18 21:16:18 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 21:17:02 +0200boxscape(~boxscape@user/boxscape)
2021-06-18 21:21:20 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-18 21:23:18 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-18 21:23:21 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 21:28:45 +0200wombat875(~neilfulwi@2a02:c7f:821d:4000:99c2:65b1:d31c:c668)
2021-06-18 21:32:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection)
2021-06-18 21:34:23 +0200wombat875(~neilfulwi@2a02:c7f:821d:4000:99c2:65b1:d31c:c668) (Quit: WeeChat 2.2-dev)
2021-06-18 21:37:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-18 21:38:01 +0200jespada(~jespada@90.254.247.46) (Quit: Textual IRC Client: www.textualapp.com)
2021-06-18 21:39:29 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-06-18 21:40:43 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-18 21:40:52 +0200notzmv(~zmv@user/notzmv)
2021-06-18 21:41:47 +0200chrysanthematic(~chrysanth@109.70.150.245) (Quit: chrysanthematic)
2021-06-18 21:46:41 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 21:46:58 +0200Guest9(~Guest9@103.250.137.30) (Quit: Connection closed)
2021-06-18 21:53:06 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-06-18 21:53:34 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 21:58:30 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-18 21:58:43 +0200chrysanthematic(~chrysanth@89.38.69.171)
2021-06-18 22:02:03 +0200zangi(~zangi@103.154.230.130)
2021-06-18 22:03:01 +0200chrysanthematic(~chrysanth@89.38.69.171) (Changing host)
2021-06-18 22:03:01 +0200chrysanthematic(~chrysanth@user/chrysanthematic)
2021-06-18 22:03:23 +0200chrysanthematic(~chrysanth@user/chrysanthematic) (Quit: chrysanthematic)
2021-06-18 22:04:11 +0200chrysanthematic(~chrysanth@user/chrysanthematic)
2021-06-18 22:05:06 +0200juhp(~juhp@128.106.188.66) (Ping timeout: 264 seconds)
2021-06-18 22:05:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-18 22:06:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-18 22:06:09 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-18 22:06:12 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-18 22:07:06 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-06-18 22:07:16 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-06-18 22:07:40 +0200juhp(~juhp@128.106.188.66)
2021-06-18 22:08:50 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-18 22:09:24 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-06-18 22:11:57 +0200cesar-(~cesar@2600:1700:9490:79f0::44)
2021-06-18 22:12:42 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-06-18 22:14:54 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-18 22:16:39 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 22:19:32 +0200cesar-(~cesar@2600:1700:9490:79f0::44) (Remote host closed the connection)
2021-06-18 22:21:02 +0200pieguy128(~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca)
2021-06-18 22:21:53 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-18 22:22:04 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-18 22:26:32 +0200Deide(~Deide@wire.desu.ga)
2021-06-18 22:26:32 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-06-18 22:26:32 +0200Deide(~Deide@user/deide)
2021-06-18 22:28:12 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-06-18 22:28:20 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 22:31:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-18 22:32:41 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a6ac:8c1e:9557:b0f1) (Quit: WeeChat 2.8)
2021-06-18 22:32:54 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 22:33:40 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 22:34:31 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-18 22:36:15 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-18 22:37:13 +0200chaosite(~chaosite@user/chaosite)
2021-06-18 22:37:43 +0200fizbin(~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-18 22:39:01 +0200willbush(~user@47.183.200.14)
2021-06-18 22:40:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-18 22:41:10 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
2021-06-18 22:41:30 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-18 22:42:07 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 272 seconds)
2021-06-18 22:51:33 +0200__monty__(~toonn@user/toonn)
2021-06-18 22:52:01 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds)
2021-06-18 22:53:36 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-18 22:57:34 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-18 23:00:15 +0200Igfoo(~ian@matrix.chaos.earth.li) (Ping timeout: 252 seconds)
2021-06-18 23:00:23 +0200Igfoo(~ian@matrix.chaos.earth.li)
2021-06-18 23:01:46 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 268 seconds)
2021-06-18 23:02:43 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-18 23:03:38 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-18 23:05:06 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-06-18 23:06:39 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-18 23:07:19 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-18 23:10:06 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-18 23:11:03 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-18 23:11:48 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-18 23:12:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-18 23:14:39 +0200dhil(~dhil@195.213.192.47)
2021-06-18 23:23:55 +0200Morrow(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-06-18 23:25:56 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
2021-06-18 23:28:33 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-06-18 23:28:45 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Remote host closed the connection)
2021-06-18 23:30:56 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-06-18 23:33:52 +0200slice(~slice@user/slice)
2021-06-18 23:35:01 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Remote host closed the connection)
2021-06-18 23:35:10 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 244 seconds)
2021-06-18 23:37:05 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2021-06-18 23:38:05 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:35e3:9001:de86:167f) (Read error: Connection reset by peer)
2021-06-18 23:39:13 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Quit: C-x C-c, Shutting down OS...)
2021-06-18 23:39:22 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-06-18 23:39:52 +0200forell(~forell@user/forell)
2021-06-18 23:40:37 +0200Ariakenom_(~Ariakenom@h-158-174-187-115.NA.cust.bahnhof.se)
2021-06-18 23:44:11 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds)
2021-06-18 23:44:58 +0200Ariakenom__(~Ariakenom@2001:9b1:efb:fc00:35e3:9001:de86:167f)
2021-06-18 23:48:18 +0200Ariakenom_(~Ariakenom@h-158-174-187-115.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2021-06-18 23:49:41 +0200jesus_centaur(~Guest91@cpe-172-89-127-163.socal.res.rr.com)
2021-06-18 23:52:35 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-06-18 23:54:14 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-06-18 23:54:57 +0200killsushi(~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com)
2021-06-18 23:54:57 +0200killsushi(~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com) (Changing host)
2021-06-18 23:54:57 +0200killsushi(~killsushi@user/killsushi)
2021-06-18 23:57:43 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-18 23:59:13 +0200warnz(~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection)
2021-06-18 23:59:38 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)