IRCBrowse

2021/12/12

2021-12-12 00:01:27 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 00:05:42 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds)
2021-12-12 00:05:51 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 00:06:25 +0100d34df00d(~d34df00d@2600:1700:8c60:3a10::48)
2021-12-12 00:06:44 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-12-12 00:07:07 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 00:14:02 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection)
2021-12-12 00:14:12 +0100Guest81(~Guest81@2a01cb0589202e00edc070a9acc1d4bb.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2021-12-12 00:14:43 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 00:15:00 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection)
2021-12-12 00:15:32 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 00:15:52 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 00:16:56 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Read error: Connection reset by peer)
2021-12-12 00:17:05 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 00:18:26 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-12 00:21:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-12-12 00:22:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 00:22:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 00:22:18 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 00:22:24 +0100nfnfir
2021-12-12 00:23:42 +0100snake(~snake@user/snake)
2021-12-12 00:24:14 +0100 <snake> is there an installer for the haskell platform with batteries included on windows without chocolatey?
2021-12-12 00:24:22 +0100nfirsapinf
2021-12-12 00:24:50 +0100 <snake> pretty sure microsuck is gonna make their own package manager perhaps in the next few years so i dont want to install chocolatey
2021-12-12 00:26:23 +0100 <snake> OH, that is what haskell stack is huh?
2021-12-12 00:26:54 +0100 <snake> that was not 100% obvious to me, idk why LOL
2021-12-12 00:26:56 +0100 <snake> thanks
2021-12-12 00:28:43 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-12-12 00:28:59 +0100 <geekosaur> the platform is dead. stack and cabal both provide similar functionality but there is no such thing as "batteries included" any more
2021-12-12 00:29:16 +0100 <geekosaur> things not only change too quickly but depend on different versions of other things
2021-12-12 00:29:38 +0100AlexNoo_(~AlexNoo@178.34.163.33)
2021-12-12 00:29:45 +0100 <hpc> and if you just want to install haskell in an easy way on windows, use ghcup
2021-12-12 00:30:17 +0100sapinfnfir
2021-12-12 00:30:57 +0100wanko(~wanko@51.15.4.226) (Quit: leaving)
2021-12-12 00:32:57 +0100Alex_test(~al_test@94.233.241.193) (Ping timeout: 265 seconds)
2021-12-12 00:33:03 +0100AlexNoo(~AlexNoo@94.233.241.193) (Ping timeout: 256 seconds)
2021-12-12 00:33:08 +0100AlexZenon(~alzenon@94.233.241.193) (Ping timeout: 256 seconds)
2021-12-12 00:36:40 +0100dudek(~dudek@185.150.236.103) (Quit: Leaving)
2021-12-12 00:37:23 +0100 <snake> thanks
2021-12-12 00:37:25 +0100 <earendel> snake: nuget?
2021-12-12 00:37:25 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2021-12-12 00:37:27 +0100Alex_test(~al_test@178.34.163.33)
2021-12-12 00:37:33 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 00:37:35 +0100AlexZenon(~alzenon@178.34.163.33)
2021-12-12 00:37:42 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-12-12 00:38:02 +0100 <snake> earendel, nah not that
2021-12-12 00:38:16 +0100 <earendel> i thought they mainly used nuget..but you can click together whatever you want with the vs
2021-12-12 00:38:26 +0100 <earendel> k k.
2021-12-12 00:38:27 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 250 seconds)
2021-12-12 00:41:15 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-12 00:41:55 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 250 seconds)
2021-12-12 00:43:03 +0100 <snake> hpc, i wonder if i can run the ghcup install from inside cygwin
2021-12-12 00:45:40 +0100 <snake> windows is a sad mess lol
2021-12-12 00:47:02 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 00:47:24 +0100 <Square> Not sure i *really* understand the currying(?) here. Check out https://hackage.haskell.org/package/schemas-0.3.0.2/docs/src/Schemas.Class.html#encode. It calls "schema". id be fine if : encode val = encodeWith (schema val) val ... but here it seems extra magic is going on
2021-12-12 00:47:25 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection)
2021-12-12 00:47:39 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 00:48:05 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 00:48:51 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-12-12 00:50:58 +0100 <Square> Ah, shema doesnt take arguments. That settles it
2021-12-12 00:51:27 +0100 <d34df00d> I have a newtype MyType = MyType Word32. Can I make ghc derive instance A.Array A.UArray MyType based on Word32, where A is the usual Data.Array set of modules?
2021-12-12 00:52:02 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-12-12 00:52:19 +0100 <d34df00d> Looks like I can't (UArray has type roles explicitly set to nominal), but (1) I just wanted to confirm I actually have to write all the methods myself, and (2) I'm just curious why the type itself does not have representional role?
2021-12-12 00:52:51 +0100 <d34df00d> s/derive instance A.Array A.UArray MyType/derive instance A.IArray A.UArray MyType/
2021-12-12 00:54:15 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-12-12 00:54:38 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 00:56:04 +0100Guest75(~Guest75@c-73-51-111-196.hsd1.il.comcast.net)
2021-12-12 00:57:01 +0100 <d34df00d> There's a comment in the Array sources that says "There are class-based invariants on both parameters. See also #9220.", but my google-fu is too weak to give meaningful results on "data array bug 9220 haskell"
2021-12-12 01:00:22 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-12-12 01:01:35 +0100max22-(~maxime@2a01cb08833598004fea75dc1e636bbe.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-12 01:03:33 +0100Techcable(~Techcable@168.235.93.147)
2021-12-12 01:03:47 +0100timCF(~timCF@m91-129-100-224.cust.tele2.ee)
2021-12-12 01:06:25 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 01:14:16 +0100 <glguy> data UArray i e = UArray !i !i !Int ByteArray#
2021-12-12 01:14:31 +0100 <glguy> how you interpret those raw bytes very much depends on which Unbox instance you use
2021-12-12 01:14:55 +0100 <glguy> err, which IArray instance
2021-12-12 01:15:09 +0100pfurla(~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52)
2021-12-12 01:15:42 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2021-12-12 01:17:36 +0100 <d34df00d> glguy: yep, and I'm writing my own newtype wrapper around some base type (Word32 in this case), and I want to use its Unbox instance.
2021-12-12 01:17:57 +0100 <d34df00d> Sure, I could decorate all the reads/writes with the newtype constructor/accessor names, but that seems ugly and exposes implementation details to the client code.
2021-12-12 01:18:07 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 01:18:17 +0100 <d34df00d> I'd much rather have the unbox instance in my module that the rest of the world can use not caring about how my thing actually gets stored.
2021-12-12 01:19:00 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-12 01:21:38 +0100timCF(~timCF@m91-129-100-224.cust.tele2.ee) (Quit: leaving)
2021-12-12 01:22:20 +0100 <geekosaur> d34df00d, I think the ticket it was pointing to was https://gitlab.haskell.org/ghc/ghc/-/issues/9220 ?
2021-12-12 01:22:38 +0100 <d34df00d> Somehow that ticket evaded me. Thanks!
2021-12-12 01:23:23 +0100 <d34df00d> Yeah, I agree they shouldn't be phantom, but not so sure about nominal vs representational.
2021-12-12 01:23:41 +0100 <d34df00d> > I think they should all be nominal, since a newtype of an existing type could have a totally unrelated MArray or Storable instance.
2021-12-12 01:23:42 +0100 <d34df00d> dunno
2021-12-12 01:23:42 +0100 <lambdabot> <hint>:1:35: error: parse error on input ‘,’
2021-12-12 01:24:40 +0100 <d34df00d> If you have a newtype with a different instance, just parametrize it with a dummy nominal type variable, I think?
2021-12-12 01:24:55 +0100 <d34df00d> I have to read through comments carefully though. geekosaur thanks again for the link!
2021-12-12 01:28:09 +0100namkeleser(~namkelese@101.179.128.103)
2021-12-12 01:34:43 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2021-12-12 01:35:30 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-12 01:35:37 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit)
2021-12-12 01:36:22 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 01:36:26 +0100 <hololeap> awpr: this actually compiles. thanks for the advice: http://sprunge.us/BeUDUJ
2021-12-12 01:37:29 +0100slice(~slice@user/slice)
2021-12-12 01:38:01 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 01:42:17 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-12-12 01:47:27 +0100 <mjrosenb> cabal: Cannot open a repl for the executable 'app' because it is marked as buildable: False' within the 'MatchRex.cabal' file (at least for the current...
2021-12-12 01:47:35 +0100 <mjrosenb> so, I'm confused about why I'm getting this
2021-12-12 01:47:51 +0100jespada(~jespada@87.74.33.157) (Ping timeout: 268 seconds)
2021-12-12 01:47:51 +0100 <mjrosenb> I don't have buildable: False in the config for `app`
2021-12-12 01:47:58 +0100 <mjrosenb> and I don't have a file MatchRex.cabal
2021-12-12 01:48:04 +0100 <mjrosenb> the file is match-rex.cabal.
2021-12-12 01:48:09 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-12 01:49:37 +0100jespada(~jespada@87.74.33.157)
2021-12-12 01:52:15 +0100son0p(~ff@2800:484:1d81:b700::4) (Remote host closed the connection)
2021-12-12 01:55:47 +0100 <mjrosenb> ahh, the cabal-install I'm using is *ancient*
2021-12-12 01:56:05 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-12-12 02:00:30 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 02:04:35 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 02:11:40 +0100 <sm> what vintage ?
2021-12-12 02:13:24 +0100sszark(~sszark@h-155-4-130-230.NA.cust.bahnhof.se)
2021-12-12 02:17:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 02:17:45 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 02:17:46 +0100pfurla_(~pfurla@177.25.188.35)
2021-12-12 02:18:11 +0100 <mjrosenb> 2.4
2021-12-12 02:18:43 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Client Quit)
2021-12-12 02:21:09 +0100pfurla(~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52) (Ping timeout: 250 seconds)
2021-12-12 02:24:46 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-12-12 02:29:32 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-12 02:29:42 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-12 02:30:21 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-12-12 02:32:06 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-12-12 02:35:39 +0100DNH(~DNH@2a02:8108:1100:16d8:11c1:36c3:fe48:2c6f) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-12 02:39:55 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-12 02:41:05 +0100 <hololeap> anyone know how you're "supposed to" access the underlying Representable when using Control.Comonad.Representable.Store
2021-12-12 02:41:23 +0100 <sm> a classic year
2021-12-12 02:41:35 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-12 02:41:56 +0100 <hololeap> when I'm done using the comonad interface I want to get my Representable full of values
2021-12-12 02:43:49 +0100hololeapwaits for a 2001 ASO joke
2021-12-12 02:49:08 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection)
2021-12-12 02:51:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-12 02:53:02 +0100 <hololeap> I guess (tabulate . flip peek) works
2021-12-12 02:57:19 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-12 03:02:41 +0100sszark(~sszark@h-155-4-130-230.NA.cust.bahnhof.se) (Quit: WeeChat 3.3)
2021-12-12 03:04:32 +0100AndrewYu(~andrew@user/andrewyu) (Remote host closed the connection)
2021-12-12 03:06:28 +0100 <hololeap> well, this disproves that you cannot use vector-sized for vectors parsed at runtime
2021-12-12 03:06:50 +0100 <hololeap> you just gotta get existential...
2021-12-12 03:09:07 +0100earendel(uid498179@user/earendel) (Quit: Connection closed for inactivity)
2021-12-12 03:09:33 +0100xff0x(~xff0x@port-92-193-224-19.dynamic.as20676.net) (Ping timeout: 252 seconds)
2021-12-12 03:11:27 +0100xff0x(~xff0x@2001:1a81:5203:4200:a63b:498f:dba9:bef9)
2021-12-12 03:15:01 +0100 <EvanR> that's pretty cool
2021-12-12 03:21:39 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 03:24:24 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1)
2021-12-12 03:24:50 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2021-12-12 03:25:19 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-12-12 03:25:28 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 03:30:51 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 03:31:55 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 03:36:19 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-12 03:39:38 +0100darkstarx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 03:44:32 +0100mmhat(~mmh@55d45c6c.access.ecotel.net) (Ping timeout: 240 seconds)
2021-12-12 03:45:30 +0100earendel(uid498179@user/earendel)
2021-12-12 03:53:32 +0100abrantesasf(~abrantesa@187.36.170.211) (Read error: Connection reset by peer)
2021-12-12 03:53:46 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 03:56:16 +0100abrantesasf(~abrantesa@187.36.170.211)
2021-12-12 03:57:59 +0100mmhat(~mmh@55d44624.access.ecotel.net)
2021-12-12 03:58:16 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-12-12 04:00:35 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-12-12 04:00:55 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2021-12-12 04:01:22 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds)
2021-12-12 04:05:12 +0100zebrag(~chris@user/zebrag)
2021-12-12 04:06:23 +0100johnjay(~pi@154.6.152.74) (Ping timeout: 252 seconds)
2021-12-12 04:07:38 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 04:08:12 +0100johnjay(~pi@154.6.152.74)
2021-12-12 04:08:40 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 04:10:27 +0100 <dsal> I tried to rewrite last night's AoC thing with ST Arrays. It's a little faster. A lot more code and the type system freaks out in ways I don't fully understand when I make small changes.
2021-12-12 04:10:45 +0100 <slowButPresent> ~888888888888888„„„„„„„„„„„„„„
2021-12-12 04:10:58 +0100 <dsal> Exactly.
2021-12-12 04:11:18 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-12 04:11:18 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-12 04:11:18 +0100finn_elijaFinnElija
2021-12-12 04:11:41 +0100 <c_wraith> I just used UArray and bulk updates. That's fast enough for everything that matters.
2021-12-12 04:12:55 +0100 <int-e> Data.Map is generally fast enough for AoC.
2021-12-12 04:12:59 +0100 <c_wraith> also much harder to get wrong
2021-12-12 04:13:03 +0100 <dsal> I used a map and that's fine. I thought MArray would be much faster. But it's just a little faster. Entirely too much code.
2021-12-12 04:13:27 +0100 <c_wraith> I think array as a package is very underrated.
2021-12-12 04:13:29 +0100abrantesasf(~abrantesa@187.36.170.211) (Remote host closed the connection)
2021-12-12 04:13:41 +0100 <dsal> It's pretty weird. Especially as it intersects with ST.
2021-12-12 04:14:03 +0100 <c_wraith> the mutable stuff is not as good as the immutable stuff
2021-12-12 04:15:14 +0100 <dsal> There's really not much there. I'm kind of surprised most of the mutation stuff requires me to do another read when I'm done. Like... you had the value, just give it to me.
2021-12-12 04:15:20 +0100 <int-e> Ix is pretty bad though; it's insane how much performancy one can often gain by using unsafeWrite/unsafeRead instead
2021-12-12 04:15:37 +0100 <dsal> I think ix is pretty great.
2021-12-12 04:15:42 +0100 <dsal> Though it's differently weird.
2021-12-12 04:15:43 +0100 <c_wraith> Ix is the best part
2021-12-12 04:15:46 +0100 <int-e> it's *slow*
2021-12-12 04:15:54 +0100 <dsal> What part of Ix is slow?
2021-12-12 04:16:18 +0100 <int-e> mostly the part where you do bounds checking on accessing two-dimensional arrays
2021-12-12 04:16:27 +0100 <int-e> (1D is usually okay-ish)
2021-12-12 04:16:50 +0100pzanco(~Android@2804:14c:3bc3:466:a4b2:cfe3:46ff:192a)
2021-12-12 04:17:23 +0100 <int-e> it's sad, because as an abstraction it's rather neat
2021-12-12 04:17:31 +0100pzanco(~Android@2804:14c:3bc3:466:a4b2:cfe3:46ff:192a) (Client Quit)
2021-12-12 04:18:02 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 04:19:01 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 04:19:26 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 04:19:52 +0100 <c_wraith> Ix gives me trivially-easy edge clamping behavior, as I can just re-use inRange. That's incredibly nice.
2021-12-12 04:20:06 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 04:20:29 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 04:20:47 +0100x_kuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-12 04:24:07 +0100darkstardevx(~darkstard@50.39.115.145) (Read error: Connection reset by peer)
2021-12-12 04:26:09 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 04:27:44 +0100td_(~td@94.134.91.156) (Ping timeout: 256 seconds)
2021-12-12 04:27:59 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 04:28:52 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 04:29:16 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 04:29:27 +0100td_(~td@muedsl-82-207-238-103.citykom.de)
2021-12-12 04:30:39 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-12-12 04:33:29 +0100 <EvanR> I've been pretending those grids are infinite and using an appropriate value past the edge
2021-12-12 04:35:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-12 04:38:08 +0100 <int-e> . o O ( invisible octopodes have -inf energy )
2021-12-12 04:39:20 +0100 <c_wraith> did anyone do any research into worst-case inputs for part 2?
2021-12-12 04:45:14 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-12-12 04:45:52 +0100 <int-e> c_wraith: it can loop without synchronizing
2021-12-12 04:46:34 +0100 <int-e> e.g. http://paste.debian.net/1223090/
2021-12-12 04:48:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 04:48:14 +0100 <int-e> (Good, now I can stop wondering how to prove that :-P)
2021-12-12 04:48:30 +0100 <EvanR> not -infinity didn't cause a problem with octupuses
2021-12-12 04:49:00 +0100 <EvanR> but I did try to put -200 at first before coming to my senses
2021-12-12 04:49:11 +0100paraseba(~paraseba@187.121.45.193)
2021-12-12 04:50:28 +0100 <int-e> c_wraith: Of course that doesn't invalidate your question... you can still restrict to patterns that do synchronize and ask about the worst case for those.
2021-12-12 04:50:41 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 04:51:38 +0100 <int-e> There's only 10^100 states, Google should be able to solve this.
2021-12-12 04:51:51 +0100mmhat(~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-12 04:52:26 +0100 <int-e> (a joke based on https://en.wikipedia.org/wiki/Googol)
2021-12-12 04:52:39 +0100 <c_wraith> don't worry, I got it! :P
2021-12-12 04:53:16 +0100 <EvanR> oof
2021-12-12 04:53:37 +0100 <paraseba> How would I implement ( zip :: [a] -> [b] -> [(a,b)] )  using lens package? transposeOf comes close, but it replaces the tuple with a list of size 2
2021-12-12 04:55:30 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-12-12 04:56:04 +0100 <glguy> paraseba: zip isn't really too closely related to lenses
2021-12-12 04:56:25 +0100 <c_wraith> well, there's https://r6research.livejournal.com/28050.html
2021-12-12 04:56:41 +0100 <c_wraith> but... that isn't in lens
2021-12-12 04:57:25 +0100 <paraseba> oh, very interesting ....
2021-12-12 04:59:19 +0100 <c_wraith> Still, the nice thing about lens is that the internals are all open. You could just write that part yourself and it would mostly integrate with the rest of the library
2021-12-12 04:59:42 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 05:02:23 +0100 <paraseba> zip is one of the things I miss when I try to use lens as a prelude. I wonder if that practice is relatively common...
2021-12-12 05:03:00 +0100 <paraseba> particularly because zip is so commonly needed across different types of containers
2021-12-12 05:05:15 +0100 <dsal> @src zip
2021-12-12 05:05:15 +0100 <lambdabot> zip (a:as) (b:bs) = (a,b) : zip as bs
2021-12-12 05:05:15 +0100 <lambdabot> zip _ _ = []
2021-12-12 05:06:04 +0100 <EvanR> > repeat (,) <*> [0..] <*> ['a','b'..]
2021-12-12 05:06:05 +0100 <lambdabot> [(0,'a'),(0,'b'),(0,'c'),(0,'d'),(0,'e'),(0,'f'),(0,'g'),(0,'h'),(0,'i'),(0,...
2021-12-12 05:06:08 +0100 <EvanR> cool
2021-12-12 05:06:18 +0100 <EvanR> who needs zip
2021-12-12 05:06:26 +0100 <c_wraith> that's... not a zip. :P
2021-12-12 05:06:31 +0100 <EvanR> oops
2021-12-12 05:06:39 +0100 <paraseba> you'd need ZipList
2021-12-12 05:07:15 +0100 <dsal> > ['a'..]
2021-12-12 05:07:17 +0100 <lambdabot> "abcdefghijklmnopqrstuvwxyz{|}~\DEL\128\129\130\131\132\133\134\135\136\137\...
2021-12-12 05:07:37 +0100 <EvanR> > ['b','a'...]
2021-12-12 05:07:39 +0100 <lambdabot> error:
2021-12-12 05:07:39 +0100 <lambdabot> A section must be enclosed in parentheses thus: ('a' ...)
2021-12-12 05:07:47 +0100 <EvanR> > ['b','a'..]
2021-12-12 05:07:48 +0100 <lambdabot> "ba`_^]\\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#\"! \US\RS...
2021-12-12 05:08:10 +0100 <EvanR> iicsa
2021-12-12 05:08:19 +0100 <dsal> heh
2021-12-12 05:22:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-12 05:23:52 +0100mbuf(~Shakthi@122.174.253.173)
2021-12-12 05:26:01 +0100 <xerox> `_^
2021-12-12 05:29:00 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-12 05:30:58 +0100nfd(~nfd@user/nfd) (Ping timeout: 260 seconds)
2021-12-12 05:31:43 +0100 <int-e> c_wraith: I wonder how lucky I got with this (I'm generating random starting positions): https://paste.debian.net/1223091/
2021-12-12 05:32:22 +0100 <c_wraith> how many steps did that take?
2021-12-12 05:32:30 +0100 <int-e> try it :)
2021-12-12 05:32:32 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-12 05:32:55 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2021-12-12 05:32:58 +0100 <c_wraith> I'm nowhere near a computer! (uh.... well. sort of.)
2021-12-12 05:33:08 +0100 <int-e> almost 30k
2021-12-12 05:36:47 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-12 05:36:52 +0100Hawker(~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net)
2021-12-12 05:36:52 +0100Hawker(~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net) (Changing host)
2021-12-12 05:36:52 +0100Hawker(~pi@user/hawker)
2021-12-12 05:39:28 +0100deadmarshal(~deadmarsh@95.38.114.98)
2021-12-12 05:39:35 +0100 <int-e> I suspect that was very lucky; with a different seed I'm only up to 2.4k after twice as much time
2021-12-12 05:42:03 +0100 <int-e> code in the forbidden language: https://paste.debian.net/1223092/
2021-12-12 05:42:43 +0100 <glguy> Your Haskell has so many language extensions!
2021-12-12 05:42:58 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 05:43:33 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-12-12 05:44:39 +0100Hawker(~pi@user/hawker) (Quit: leaving)
2021-12-12 05:44:50 +0100 <int-e> Eh, it's number crunching code; the logic is dead simple but optimizing the tight loops matters... ghc/Haskell is a bad fit for that type of thing.
2021-12-12 05:44:55 +0100Hawker(~pi@user/hawker)
2021-12-12 05:46:08 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-12-12 05:46:58 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-12 05:47:32 +0100 <int-e> (I bet the step function is far from optimal; doing several linear scans until things stabilize has a very good chance of being faster)
2021-12-12 05:54:34 +0100Hawker(~pi@user/hawker) (Quit: Lost terminal)
2021-12-12 05:56:01 +0100Akiva(~Akiva@user/Akiva)
2021-12-12 05:56:26 +0100Hawker(~pi@user/hawker)
2021-12-12 05:57:30 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57)
2021-12-12 05:58:37 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-12 06:00:32 +0100sprout(~quassel@2a02:a467:ccd6:1:719f:b1db:e5b1:8e4a) (Ping timeout: 240 seconds)
2021-12-12 06:00:38 +0100the_last_immortauploaded a video: (44467KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/ijbzjuLcVlWzvYcuxmYznkId/yt5s.com-Sim…(480p).mp4 >
2021-12-12 06:02:21 +0100 <the_last_immorta> quickSort [] = []
2021-12-12 06:02:21 +0100 <the_last_immorta> quickSort (x:xs) = quickSort [a | a <- xs, a < x]
2021-12-12 06:02:21 +0100 <the_last_immorta> ++ [x] ++ quickSort [a | a <- xs, a >= x]
2021-12-12 06:02:28 +0100 <the_last_immorta> im interested
2021-12-12 06:03:09 +0100 <the_last_immorta> can i ........am currently experimenting....can i add conditional statetements, but still apart of the object?
2021-12-12 06:03:38 +0100Hawker(~pi@user/hawker) (Quit: leaving)
2021-12-12 06:03:47 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds)
2021-12-12 06:04:01 +0100Hawker(~pi@user/hawker)
2021-12-12 06:14:04 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 06:16:38 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-12 06:16:48 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 06:17:34 +0100 <pavonia> What is the object to you?
2021-12-12 06:17:49 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 06:18:43 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 06:19:03 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 06:19:12 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds)
2021-12-12 06:20:35 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 06:20:35 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 06:29:54 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 06:34:27 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds)
2021-12-12 06:38:56 +0100deadmarshal_(~deadmarsh@95.38.230.202)
2021-12-12 06:39:32 +0100deadmarshal(~deadmarsh@95.38.114.98) (Ping timeout: 268 seconds)
2021-12-12 06:45:03 +0100pfurla_(~pfurla@177.25.188.35) (Ping timeout: 250 seconds)
2021-12-12 06:45:38 +0100 <monochrom> Also, no "statement". Only expressions.
2021-12-12 06:45:58 +0100 <monochrom> Conditional expressions exist, but they are not conditional statements.
2021-12-12 06:50:52 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 06:52:40 +0100pfurla(~pfurla@177.25.188.35)
2021-12-12 06:59:37 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 07:00:52 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 07:01:04 +0100 <xerox> int-e: \o/
2021-12-12 07:01:17 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 07:03:21 +0100 <int-e> xerox: you're not safe yet though :P
2021-12-12 07:03:32 +0100 <xerox> darn
2021-12-12 07:03:54 +0100 <xerox> oh him again! :)
2021-12-12 07:04:05 +0100 <int-e> 2 people in fact
2021-12-12 07:04:27 +0100 <xerox> who's the other
2021-12-12 07:04:31 +0100darkstardevx(~darkstard@50.39.115.145) (Read error: Connection reset by peer)
2021-12-12 07:05:04 +0100 <int-e> > 3917 + 380 - 2*11 - 4
2021-12-12 07:05:06 +0100 <lambdabot> 4271
2021-12-12 07:05:18 +0100 <int-e> > 3917 + 380 - 2*11 - 4 > 4241
2021-12-12 07:05:19 +0100 <lambdabot> True
2021-12-12 07:05:48 +0100 <xerox> gotcha
2021-12-12 07:06:17 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 07:06:30 +0100 <int-e> I lost so much time by violating the KISS principle :-/
2021-12-12 07:06:46 +0100 <xerox> what did you not keep simple
2021-12-12 07:07:22 +0100 <int-e> I wrote code to eliminate UPPER CASE nodes from the graph.
2021-12-12 07:07:26 +0100darkstardevx(~darkstard@50.39.115.145) (Remote host closed the connection)
2021-12-12 07:07:51 +0100darkstardevx(~darkstard@50.39.115.145)
2021-12-12 07:08:23 +0100 <xerox> I see
2021-12-12 07:10:07 +0100 <xerox> I went for brute code duplication which is kind of a way to keep it simple
2021-12-12 07:10:14 +0100 <xerox> time to smoothen it out
2021-12-12 07:10:48 +0100 <int-e> Of course. I do duplicate all the code (I copy the file).
2021-12-12 07:13:02 +0100 <int-e> Adding insult to the injury, I wrote that code and missed a subtlety regarding the start node and ended up not even using it.
2021-12-12 07:15:15 +0100Axman6(~Axman6@user/axman6) (*.net *.split)
2021-12-12 07:15:15 +0100tubogram(~tubogram@user/tubogram) (*.net *.split)
2021-12-12 07:15:24 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-12 07:15:36 +0100tubogram(~tubogram@user/tubogram)
2021-12-12 07:18:02 +0100 <xerox> yesterday I learned about ghcid --test=:main which was quite helpful, I kept getting the paths printed on save, instanteously looking at their features: at some point a bunch of "start"s started popping up in the middle!
2021-12-12 07:18:27 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan)
2021-12-12 07:18:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 07:22:27 +0100slice(~slice@user/slice) (Quit: zzz)
2021-12-12 07:24:08 +0100 <int-e> Don't get me wrong, this /does/ help performance. But the naive version runs in less than a second compiled (~860ms for me), so improving that by a factor of 100 (~7 milliseconds), while impressive, really doesn't matter.
2021-12-12 07:25:23 +0100pfurla_(~pfurla@172.58.160.227)
2021-12-12 07:26:48 +0100pfurla(~pfurla@177.25.188.35) (Ping timeout: 256 seconds)
2021-12-12 07:28:34 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-12 07:29:57 +0100 <EvanR> that's funny you got starts in the middle somehow...
2021-12-12 07:30:08 +0100 <EvanR> I didn't and forgot to even think about it
2021-12-12 07:30:47 +0100 <int-e> ...startling behavior...
2021-12-12 07:31:57 +0100arjun(~user@user/arjun)
2021-12-12 07:33:33 +0100 <EvanR> i feel like haskell is making some of these puzzles really easy... then I assume other people with ridiculous scores are not using haskell, and being flabbergasted
2021-12-12 07:33:50 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 07:33:52 +0100 <EvanR> what magic languages are out there xD
2021-12-12 07:34:31 +0100Guest75(~Guest75@c-73-51-111-196.hsd1.il.comcast.net) (Quit: Client closed)
2021-12-12 07:38:19 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-12 07:38:25 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-12-12 07:38:25 +0100 <Taneb> int-e: thanks from stopping me from thinking too hard about it :D
2021-12-12 07:40:38 +0100paraseba(~paraseba@187.121.45.193) (Quit: Client closed)
2021-12-12 07:42:08 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan)
2021-12-12 07:43:14 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-12 07:47:07 +0100pfurla_(~pfurla@172.58.160.227) (Read error: Connection reset by peer)
2021-12-12 07:47:20 +0100pfurla(~pfurla@172.58.160.227)
2021-12-12 07:50:28 +0100pfurla(~pfurla@172.58.160.227) (Read error: Connection reset by peer)
2021-12-12 07:50:35 +0100pfurla_(~pfurla@172.58.160.227)
2021-12-12 07:51:35 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-12 07:52:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-12 07:53:34 +0100mei(~mei@user/mei)
2021-12-12 07:58:36 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-12 07:59:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 07:59:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 07:59:58 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 08:00:24 +0100joo-_(~joo-_@fsf/member/joo--)
2021-12-12 08:05:54 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-12 08:09:52 +0100pfurla_(~pfurla@172.58.160.227) (Ping timeout: 256 seconds)
2021-12-12 08:11:15 +0100pfurla(~pfurla@172.58.27.177)
2021-12-12 08:11:40 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-12 08:26:44 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 08:27:36 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Client Quit)
2021-12-12 08:28:05 +0100namkeleser(~namkelese@101.179.128.103)
2021-12-12 08:33:44 +0100fr33domlover(~fr33@2.55.43.13)
2021-12-12 08:34:14 +0100pfurla(~pfurla@172.58.27.177) (Ping timeout: 256 seconds)
2021-12-12 08:34:52 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-12 08:35:39 +0100pfurla_(~pfurla@172.58.107.238)
2021-12-12 08:37:16 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-12-12 08:39:05 +0100pfurla_(~pfurla@172.58.107.238) (Client Quit)
2021-12-12 08:39:07 +0100earendel(uid498179@user/earendel) (Quit: Connection closed for inactivity)
2021-12-12 08:40:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection)
2021-12-12 08:41:42 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 08:41:54 +0100pfurla(~pfurla@177.25.188.35)
2021-12-12 08:42:16 +0100 <int-e> c_wraith: darn you, now I have to resist the temptation to implement day 11 with SSE3 operations
2021-12-12 08:42:29 +0100 <c_wraith> hah
2021-12-12 08:46:32 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 240 seconds)
2021-12-12 08:57:26 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 08:59:43 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-12 08:59:49 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 09:00:18 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 09:00:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 09:03:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 09:04:32 +0100Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-12-12 09:05:04 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds)
2021-12-12 09:05:52 +0100Techcable(~Techcable@168.235.93.147)
2021-12-12 09:07:09 +0100nfd(~nfd@user/nfd)
2021-12-12 09:10:40 +0100mc47(~mc47@xmonad/TheMC47)
2021-12-12 09:11:01 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-12-12 09:12:13 +0100pfurla(~pfurla@177.25.188.35) (Quit: gone to sleep. ZZZzzz…)
2021-12-12 09:13:16 +0100AlexNoo_AlexNoo
2021-12-12 09:14:47 +0100pfurla(~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7)
2021-12-12 09:15:09 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-12 09:16:54 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 09:21:21 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds)
2021-12-12 09:31:41 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2021-12-12 09:33:28 +0100pfurla_(~pfurla@177.25.183.253)
2021-12-12 09:34:02 +0100pfurla(~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7) (Ping timeout: 240 seconds)
2021-12-12 09:35:11 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 09:36:10 +0100pfurla(~pfurla@172.58.142.250)
2021-12-12 09:38:46 +0100pfurla_(~pfurla@177.25.183.253) (Ping timeout: 260 seconds)
2021-12-12 09:39:29 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds)
2021-12-12 09:40:55 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1)
2021-12-12 09:45:11 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds)
2021-12-12 09:45:29 +0100pfurla(~pfurla@172.58.142.250) (Quit: gone to sleep. ZZZzzz…)
2021-12-12 09:46:08 +0100thevishy(~Nishant@2405:201:f005:c007:81f3:ee3c:76f0:8869)
2021-12-12 09:46:12 +0100deadmarshal_(~deadmarsh@95.38.230.202) (Ping timeout: 256 seconds)
2021-12-12 09:56:52 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-12 10:00:08 +0100lambdandy[m](~lambdandy@2001:470:69fc:105::1:3045) (Quit: You have been kicked for being idle)
2021-12-12 10:00:27 +0100coot_(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb)
2021-12-12 10:00:38 +0100coot_(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection)
2021-12-12 10:01:49 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb)
2021-12-12 10:04:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-12-12 10:08:41 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 10:08:42 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-12 10:13:55 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds)
2021-12-12 10:15:05 +0100deadmarshal(~deadmarsh@95.38.230.202)
2021-12-12 10:15:28 +0100astra`astra
2021-12-12 10:19:46 +0100max22-(~maxime@2a01cb0883359800c0740bac5cfe1b89.ipv6.abo.wanadoo.fr)
2021-12-12 10:22:28 +0100PVPANTHONY(~The_viole@203.77.49.232)
2021-12-12 10:26:06 +0100PVPANTHONY(~The_viole@203.77.49.232) (Client Quit)
2021-12-12 10:26:10 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 10:26:59 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-12-12 10:31:02 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds)
2021-12-12 10:31:38 +0100PVPANTHONY(~The_viole@203.77.49.232)
2021-12-12 10:32:07 +0100PVPANTHONY(~The_viole@203.77.49.232) (Client Quit)
2021-12-12 10:32:25 +0100SummerSonw(~The_viole@203.77.49.232)
2021-12-12 10:33:12 +0100SummerSonw(~The_viole@203.77.49.232) (Client Quit)
2021-12-12 10:33:29 +0100SummerSonw(~The_viole@203.77.49.232)
2021-12-12 10:36:00 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-12-12 10:39:27 +0100deadmarshal(~deadmarsh@95.38.230.202) (Ping timeout: 252 seconds)
2021-12-12 10:41:21 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 10:45:30 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi)
2021-12-12 10:50:14 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds)
2021-12-12 10:55:54 +0100fr33domlover(~fr33@2.55.43.13) (Ping timeout: 256 seconds)
2021-12-12 10:56:33 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 11:00:02 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-12 11:00:07 +0100justSleigh(~justache@user/justache) (Remote host closed the connection)
2021-12-12 11:00:08 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 11:00:37 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-12-12 11:01:05 +0100justSleigh(~justache@user/justache)
2021-12-12 11:04:51 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds)
2021-12-12 11:05:26 +0100 <int-e> c_wraith: I lost :-/ https://paste.debian.net/1223102/ (it is noticably faster though!)
2021-12-12 11:05:51 +0100 <int-e> also unreadable, as usual
2021-12-12 11:06:30 +0100 <c_wraith> only the SSE ops are unreadable!
2021-12-12 11:06:47 +0100 <int-e> yeah that's what I meant
2021-12-12 11:06:52 +0100mbuf(~Shakthi@122.174.253.173) (Quit: Leaving)
2021-12-12 11:12:14 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-12-12 11:13:02 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-12 11:13:30 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2021-12-12 11:15:52 +0100Lord_of_Life_Lord_of_Life
2021-12-12 11:17:18 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 11:24:55 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 252 seconds)
2021-12-12 11:28:03 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 11:28:03 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 11:29:40 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 11:29:40 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 11:30:49 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 11:30:57 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-12 11:31:08 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 11:31:33 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 11:31:33 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 11:31:56 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 11:32:36 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 11:35:34 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 11:37:42 +0100 <xerox> how can I know if a rewrite rule is taking effect?
2021-12-12 11:38:00 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds)
2021-12-12 11:39:02 +0100chomwitt(~chomwitt@2a02:587:dc0d:3700:12c3:7bff:fe6d:d374)
2021-12-12 11:39:44 +0100 <c_wraith> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/debugging.html#ghc-flag--ddump-rule…
2021-12-12 11:40:06 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-12 11:40:08 +0100 <c_wraith> Or the flag below that one, for more details. It says.
2021-12-12 11:44:38 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 11:45:13 +0100Jing(~hedgehog@103.121.208.36)
2021-12-12 11:46:07 +0100Jing(~hedgehog@103.121.208.36) (Remote host closed the connection)
2021-12-12 11:46:38 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 11:47:37 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Quit: ERC (IRC client for Emacs 27.1))
2021-12-12 11:48:17 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-12-12 11:51:31 +0100fr33domlover(~fr33@2.55.25.254)
2021-12-12 11:56:11 +0100earendel(uid498179@user/earendel)
2021-12-12 11:56:26 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Ping timeout: 260 seconds)
2021-12-12 12:00:31 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 250 seconds)
2021-12-12 12:00:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 12:05:39 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 12:07:05 +0100Vajb(~Vajb@85-76-39-222-nat.elisa-mobile.fi)
2021-12-12 12:08:00 +0100 <xerox> sweet
2021-12-12 12:10:45 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds)
2021-12-12 12:15:48 +0100retroid_(~retro@05412d78.skybroadband.com)
2021-12-12 12:16:22 +0100Vajb(~Vajb@85-76-39-222-nat.elisa-mobile.fi) (Ping timeout: 256 seconds)
2021-12-12 12:17:26 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-12 12:17:28 +0100retro_(~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds)
2021-12-12 12:18:36 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-12-12 12:21:33 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-12 12:23:02 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds)
2021-12-12 12:23:38 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 12:26:17 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-12 12:28:10 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds)
2021-12-12 12:29:23 +0100xkuru(~xkuru@user/xkuru)
2021-12-12 12:35:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-12 12:35:38 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2021-12-12 12:35:54 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9)
2021-12-12 12:38:28 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 12:42:04 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 12:43:13 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-12-12 12:44:59 +0100gustik(~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) (Quit: Leaving)
2021-12-12 12:45:04 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-12 12:45:45 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-12 12:46:35 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 12:52:53 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9)
2021-12-12 12:56:13 +0100max22-(~maxime@2a01cb0883359800c0740bac5cfe1b89.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2021-12-12 13:01:39 +0100__monty__(~toonn@user/toonn)
2021-12-12 13:05:25 +0100mmhat(~mmh@55d44624.access.ecotel.net)
2021-12-12 13:05:44 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 13:12:09 +0100zaquest(~notzaques@5.130.79.72) (Quit: Leaving)
2021-12-12 13:13:18 +0100zaquest(~notzaques@5.130.79.72)
2021-12-12 13:15:55 +0100 <Arsen> hey, I asked a while ago in #haskell-stack, but it appears to be more inactive, so I'm reposting here, if that's alright: can stack fetch deps? building pandoc on CI isn't great
2021-12-12 13:18:13 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds)
2021-12-12 13:20:40 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-12 13:25:42 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-12-12 13:29:48 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-12 13:30:21 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3)
2021-12-12 13:30:23 +0100arjun(~user@user/arjun) (Remote host closed the connection)
2021-12-12 13:30:44 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-12 13:31:00 +0100PVPANTHONY(~The_viole@203.77.49.232)
2021-12-12 13:32:02 +0100PVPANTHONY(~The_viole@203.77.49.232) (Client Quit)
2021-12-12 13:32:29 +0100PVPANTHONY(~The_viole@203.77.49.232)
2021-12-12 13:32:37 +0100PVPANTHONY(~The_viole@203.77.49.232) (Client Quit)
2021-12-12 13:34:43 +0100SummerSonw(~The_viole@203.77.49.232) (Ping timeout: 252 seconds)
2021-12-12 13:37:20 +0100neurocyte0132889(~neurocyte@45.128.180.15)
2021-12-12 13:37:20 +0100neurocyte0132889(~neurocyte@45.128.180.15) (Changing host)
2021-12-12 13:37:20 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-12-12 13:50:19 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-12 13:53:43 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 13:54:27 +0100Jing(~hedgehog@125.106.89.1)
2021-12-12 14:01:30 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds)
2021-12-12 14:02:44 +0100Alex_test(~al_test@178.34.163.33) (Quit: ;-)
2021-12-12 14:02:47 +0100AlexZenon(~alzenon@178.34.163.33) (Quit: ;-)
2021-12-12 14:02:59 +0100AlexNoo(~AlexNoo@178.34.163.33) (Quit: Leaving)
2021-12-12 14:10:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 14:11:48 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 14:14:06 +0100 <geekosaur> can and does. that's kinda the point, in fact
2021-12-12 14:14:38 +0100 <geekosaur> both stack and modern cabal manage the dependencies for you
2021-12-12 14:14:53 +0100Guest|87(~Guest|87@46.32.66.42)
2021-12-12 14:15:04 +0100Guest|87(~Guest|87@46.32.66.42) (Client Quit)
2021-12-12 14:15:38 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 14:16:10 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-12 14:16:33 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-12 14:17:38 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9)
2021-12-12 14:19:35 +0100timCF(~timCF@m91-129-100-224.cust.tele2.ee)
2021-12-12 14:21:31 +0100phma(~phma@host-67-44-209-24.hnremote.net) (Read error: Connection reset by peer)
2021-12-12 14:22:25 +0100phma(phma@2001:5b0:212a:ba68:a7e4:c90f:fe43:cf4b)
2021-12-12 14:22:40 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds)
2021-12-12 14:23:24 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 14:23:35 +0100 <timCF> Hello! I did already asked yesterday question about dealing with such issue, and as I understood there is the way how I can write Eq instance manually, but I didn't understood how to do that exactly https://gist.github.com/21it/5e6f822ee61408e98818b94f51dde4da
2021-12-12 14:23:54 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds)
2021-12-12 14:24:22 +0100tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2021-12-12 14:24:49 +0100AlexZenon(~alzenon@178.34.163.33)
2021-12-12 14:25:03 +0100AlexNoo(~AlexNoo@178.34.163.33)
2021-12-12 14:27:10 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-12 14:28:10 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-12-12 14:28:10 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-12 14:28:13 +0100allbery_bgeekosaur
2021-12-12 14:29:31 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 14:31:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 14:34:38 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds)
2021-12-12 14:41:34 +0100Alex_test(~al_test@178.34.163.33)
2021-12-12 14:42:44 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-12 14:44:00 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 14:44:14 +0100tomku(~tomku@user/tomku)
2021-12-12 14:45:31 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1)
2021-12-12 14:45:47 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2021-12-12 14:46:42 +0100alx741(~alx741@157.100.93.160)
2021-12-12 14:49:33 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-12 14:49:53 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds)
2021-12-12 14:50:08 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-12 14:51:26 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds)
2021-12-12 14:53:30 +0100tom__(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection)
2021-12-12 14:53:47 +0100tom__(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2021-12-12 14:54:03 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 14:57:09 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 14:58:25 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 15:02:15 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 15:02:21 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3)
2021-12-12 15:02:35 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-12 15:03:01 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Client Quit)
2021-12-12 15:03:13 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-12 15:04:19 +0100TranquilEcho(~grom@user/tranquilecho)
2021-12-12 15:05:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-12-12 15:06:13 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-12-12 15:07:14 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 15:07:31 +0100 <iphy> is there a "m [f a] -> m (f [a])"?
2021-12-12 15:07:39 +0100 <iphy> I can't find one on hoogle
2021-12-12 15:08:59 +0100 <iphy> or: [a] -> (a -> m (f a)) -> m (f [a])
2021-12-12 15:09:04 +0100 <xerox> shouldn't be that far from traverse
2021-12-12 15:09:17 +0100 <iphy> hmm, hoogle says sequenceA <$> traverse
2021-12-12 15:09:46 +0100 <iphy> yep, that's it
2021-12-12 15:10:30 +0100 <iphy> sequenceA <$> traverse f xs
2021-12-12 15:12:01 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 15:12:11 +0100alx741(~alx741@157.100.93.160)
2021-12-12 15:15:30 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-12-12 15:16:31 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9)
2021-12-12 15:21:18 +0100DNH(~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Ping timeout: 260 seconds)
2021-12-12 15:26:46 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-12 15:28:48 +0100noex(~null@2600:8804:1280:aa0:5857:94a:25de:c513)
2021-12-12 15:30:36 +0100 <Arsen> geekosaur: fetch built deps*
2021-12-12 15:30:47 +0100 <Arsen> since the point is reproducible builds, I'd expect it to be possible
2021-12-12 15:33:16 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-12 15:33:22 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer)
2021-12-12 15:33:29 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-12-12 15:34:29 +0100 <geekosaur> on CI you'd want to save the .stack-work dir so the deps are already available
2021-12-12 15:34:46 +0100 <geekosaur> I believe there are CI tools which do this for you
2021-12-12 15:37:41 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 15:38:02 +0100 <Arsen> hm, okay
2021-12-12 15:38:05 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 15:38:09 +0100 <Arsen> surely, GitHub actions have a way to do this
2021-12-12 15:38:46 +0100 <Arsen> that'd still take about an hour on first build, though, hmm
2021-12-12 15:38:46 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3)
2021-12-12 15:39:08 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds)
2021-12-12 15:41:28 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 15:41:30 +0100 <geekosaur> https://github.com/freckle/stack-cache-action ?
2021-12-12 15:42:00 +0100 <geekosaur> also I though there was a standardized haskell ci template or something that included stack caching
2021-12-12 15:42:18 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-12-12 15:42:44 +0100 <geekosaur> stack doesn't cache built objects upstream, because they depend too much on precise compile options and the like
2021-12-12 15:48:54 +0100 <geekosaur> mrr, found haskell-ci but it's cabal, not stack
2021-12-12 15:49:17 +0100 <geekosaur> does cache .cabal/store (rough equivalent of .stack-work)
2021-12-12 15:51:27 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds)
2021-12-12 15:53:30 +0100fr33domlover(~fr33@2.55.25.254) (Ping timeout: 260 seconds)
2021-12-12 15:53:30 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se)
2021-12-12 15:53:55 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 15:56:01 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-12 15:58:20 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 16:01:16 +0100 <geekosaur> only haskell-ci configs I can find are for cabal 2+. looked for stack but found only travis-ci configs
2021-12-12 16:01:24 +0100 <smichel17[m]> There's also a `-outputdir` ghc option. Not sure if that helps in this case (doesn't speed up the initial build), and I'm not sure how it relates to .stack-work
2021-12-12 16:03:43 +0100 <smichel17[m]> (If anybody knows whether/how it relates to `.stack-work`, I'd much appreciate an explanation!)
2021-12-12 16:04:31 +0100 <geekosaur> it doesn't. stack saves packages, not individual files
2021-12-12 16:04:40 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-12 16:05:15 +0100 <geekosaur> it's more closely related to using ghc-pkg to register a new package
2021-12-12 16:10:13 +0100alx741(~alx741@157.100.93.160)
2021-12-12 16:13:07 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 252 seconds)
2021-12-12 16:14:39 +0100mmhat(~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-12 16:16:07 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds)
2021-12-12 16:16:51 +0100sprout(~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3)
2021-12-12 16:20:31 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net)
2021-12-12 16:22:45 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 16:24:44 +0100max22-(~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr)
2021-12-12 16:30:09 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 16:35:14 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-12-12 16:35:48 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-12-12 16:38:48 +0100Jing(~hedgehog@125.106.89.1) (Read error: Connection reset by peer)
2021-12-12 16:39:31 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 16:40:42 +0100alx741(~alx741@157.100.93.160)
2021-12-12 16:41:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 16:41:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 16:41:27 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 16:43:16 +0100mei(~mei@user/mei) (Ping timeout: 268 seconds)
2021-12-12 16:44:43 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 16:45:46 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds)
2021-12-12 16:50:05 +0100lupulo(~lupulo_@128.red-83-35-42.dynamicip.rima-tde.net)
2021-12-12 16:50:05 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 16:54:33 +0100xff0x(~xff0x@2001:1a81:5203:4200:a63b:498f:dba9:bef9) (Ping timeout: 250 seconds)
2021-12-12 16:55:39 +0100xff0x(~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532)
2021-12-12 16:58:06 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 17:00:06 +0100iammrinal0[m](~iammrinal@2001:470:69fc:105::1:2248) (Quit: You have been kicked for being idle)
2021-12-12 17:01:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 17:03:49 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-12 17:03:52 +0100altern(~Sergii@altern.corbina.com.ua)
2021-12-12 17:04:24 +0100 <altern> /msg NickServ IDENTIFY altern ehgdae
2021-12-12 17:08:08 +0100 <altern> Hi! I am having a weird problem with running cmd command 'git pull --tags --dry-run' when calling the function from servant API endpoint. More details here: https://stackoverflow.com/questions/70324007/why-does-a-command-line-call-behaves-not-as-expected-… Would be grateful if somebody could help
2021-12-12 17:08:14 +0100alx741(~alx741@157.100.93.160)
2021-12-12 17:10:14 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-12 17:11:54 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds)
2021-12-12 17:12:58 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-12 17:13:28 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 17:17:23 +0100 <robbert-vdh> Is there some convenient way to include internal developer-oriented documentation to in Haddock docstrings other than just splitting the comment into two and restarting the second comment with just `-- `? For things like todo comments and notes about the implementation that aren't relevant to consumers of the library.
2021-12-12 17:18:24 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 17:20:34 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 17:22:01 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Remote host closed the connection)
2021-12-12 17:22:27 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-12-12 17:23:04 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 17:24:53 +0100cfebs(~cfebs@user/cfebs) ()
2021-12-12 17:26:07 +0100DNH(~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912)
2021-12-12 17:26:18 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1)
2021-12-12 17:26:25 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-12-12 17:33:07 +0100xff0x(~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532) (Ping timeout: 250 seconds)
2021-12-12 17:33:52 +0100xff0x(~xff0x@2001:1a81:5203:4200:40b7:e822:93c8:fd81)
2021-12-12 17:35:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-12-12 17:39:38 +0100alx741(~alx741@157.100.93.160)
2021-12-12 17:44:00 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 17:45:10 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 17:49:52 +0100 <EvanR> lol altern you might want to change your nickserv password
2021-12-12 17:50:10 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds)
2021-12-12 17:51:25 +0100 <altern> changed
2021-12-12 17:52:52 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-12 17:58:30 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-12 18:03:19 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 18:03:51 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-12-12 18:10:23 +0100altern(~Sergii@altern.corbina.com.ua) (Ping timeout: 250 seconds)
2021-12-12 18:13:42 +0100sebeko(uid530526@id-530526.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-12 18:13:57 +0100ph88(~ph88@2a02:8109:9e00:71d0:943d:5b05:e9f7:79b5)
2021-12-12 18:15:11 +0100 <ph88> when i have a piece of data that is part of several lists and other data structures, would it be ok to make it mutable so that i can just update it and don't have to go around finding and updating in several places? or is that too heretic ?
2021-12-12 18:15:20 +0100machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-12-12 18:16:45 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-12 18:16:51 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 18:17:21 +0100 <EvanR> then you'd have to make what is in those lists merely a reference to the mutable object instead of the object itself
2021-12-12 18:17:42 +0100 <EvanR> e.g. an IORef or Int key into a mutable store, or something
2021-12-12 18:19:09 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 18:19:20 +0100 <EvanR> then you can't access the data without IO
2021-12-12 18:21:03 +0100alx741(~alx741@181.199.42.79)
2021-12-12 18:21:40 +0100 <ph88> yes, just that i never done it like that
2021-12-12 18:21:51 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 250 seconds)
2021-12-12 18:22:41 +0100 <EvanR> probably for the best xD
2021-12-12 18:23:35 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 250 seconds)
2021-12-12 18:24:27 +0100 <EvanR> you could also keep your "pieces" in an IntMap, and speak of their Int key elsewhere
2021-12-12 18:24:48 +0100 <EvanR> but don't mix up the keys
2021-12-12 18:25:29 +0100 <EvanR> you can add some type safety with a dependent map and typed keys
2021-12-12 18:27:25 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-12-12 18:28:42 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-12-12 18:33:20 +0100alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-12 18:36:29 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-12 18:38:43 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 18:49:36 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-12-12 18:50:25 +0100alx741(~alx741@157.100.93.160)
2021-12-12 18:53:07 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 18:53:07 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 18:53:07 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 18:54:16 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 18:57:23 +0100gdd(~gdd@129.199.146.230) (Ping timeout: 252 seconds)
2021-12-12 18:57:41 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-12-12 18:57:50 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-12 18:59:05 +0100 <ph88> thanks EvanR
2021-12-12 18:59:42 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds)
2021-12-12 18:59:53 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-12 19:00:56 +0100gdd(~gdd@129.199.146.230)
2021-12-12 19:02:40 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 19:03:41 +0100 <ph88> is there an out of the box function that works on list that either inserts a new item or updates an existing item based on a comparison predicate ?
2021-12-12 19:04:34 +0100shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-12-12 19:04:53 +0100 <monochrom> No, but there are some for Data.Map.
2021-12-12 19:05:00 +0100 <monochrom> or Data.Set
2021-12-12 19:07:44 +0100 <ph88> this ? https://hackage.haskell.org/package/containers-0.6.5.1/docs/Data-Set.html#v:alterF
2021-12-12 19:07:49 +0100 <EvanR> List turns out to be a bad container usually
2021-12-12 19:08:12 +0100 <EvanR> maybe they didn't want to encourage it xD
2021-12-12 19:08:17 +0100slice(~slice@user/slice)
2021-12-12 19:10:11 +0100 <ph88> actually i'm implementing in purescript, but looking at haskell for inspiration
2021-12-12 19:11:28 +0100emf(~emf@cpe-174-109-36-85.nc.res.rr.com)
2021-12-12 19:12:07 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds)
2021-12-12 19:12:32 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-12 19:12:50 +0100emf(~emf@cpe-174-109-36-85.nc.res.rr.com) (Client Quit)
2021-12-12 19:14:44 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-12 19:15:39 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 19:18:30 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-12 19:19:30 +0100 <sm> python wrestles with the upper bounds issue: https://news.ycombinator.com/item?id=29507681
2021-12-12 19:20:54 +0100alx741(~alx741@181.199.42.79)
2021-12-12 19:21:51 +0100namkeleser(~namkelese@101.179.128.103)
2021-12-12 19:22:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-12-12 19:23:58 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 19:24:02 +0100pfurla[m](uid345156@id-345156.tinside.irccloud.com)
2021-12-12 19:26:34 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-12-12 19:27:09 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 19:29:09 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds)
2021-12-12 19:30:02 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-12-12 19:32:13 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 19:32:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 19:33:07 +0100alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-12 19:35:46 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-12-12 19:37:32 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 19:37:42 +0100emresaurus(~emresauru@78.173.60.185)
2021-12-12 19:38:21 +0100jkaye(~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net)
2021-12-12 19:40:15 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 268 seconds)
2021-12-12 19:40:49 +0100emresaurus(~emresauru@78.173.60.185) (Client Quit)
2021-12-12 19:41:42 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot)
2021-12-12 19:42:28 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 19:42:51 +0100jkaye(~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net) (Ping timeout: 252 seconds)
2021-12-12 19:45:47 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-12-12 19:49:03 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection)
2021-12-12 19:50:15 +0100alx741(~alx741@157.100.93.160)
2021-12-12 19:52:08 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 19:55:11 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-12 19:58:52 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 19:59:08 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1)
2021-12-12 20:01:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 20:02:01 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 20:03:29 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 250 seconds)
2021-12-12 20:06:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-12 20:08:00 +0100max22-(~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-12-12 20:08:48 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-12 20:09:50 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-12 20:12:58 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-12-12 20:15:37 +0100pfurla(~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4)
2021-12-12 20:16:00 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-12 20:17:41 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 252 seconds)
2021-12-12 20:18:28 +0100alx741(~alx741@181.199.42.79)
2021-12-12 20:19:02 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-12-12 20:19:41 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 20:28:00 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3)
2021-12-12 20:30:34 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 20:31:13 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-12-12 20:31:51 +0100nickdaly(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2021-12-12 20:31:59 +0100alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-12 20:34:24 +0100max22-(~maxime@2a01cb0883359800ce4fb8a82cc4438c.ipv6.abo.wanadoo.fr)
2021-12-12 20:35:30 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-12 20:35:36 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 256 seconds)
2021-12-12 20:36:10 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-12 20:39:33 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-12-12 20:41:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-12 20:42:47 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2021-12-12 20:43:18 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2021-12-12 20:45:00 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 20:48:44 +0100alx741(~alx741@157.100.93.160)
2021-12-12 20:55:27 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-12-12 21:00:20 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 21:02:08 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection)
2021-12-12 21:02:16 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 21:05:10 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection)
2021-12-12 21:05:27 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 250 seconds)
2021-12-12 21:05:42 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 21:06:43 +0100juhp(~juhp@128.106.188.82)
2021-12-12 21:07:11 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 21:11:18 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-12-12 21:12:11 +0100econo(uid147250@user/econo)
2021-12-12 21:12:33 +0100gustik(~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353)
2021-12-12 21:15:58 +0100nfirnf
2021-12-12 21:16:10 +0100cjb(~cjb@user/cjb)
2021-12-12 21:16:52 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-12 21:17:23 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-12 21:18:19 +0100alx741(~alx741@157.100.93.160)
2021-12-12 21:18:52 +0100sagax(~sagax_nb@user/sagax) (Excess Flood)
2021-12-12 21:19:55 +0100DNH(~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-12 21:20:53 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 21:22:53 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 21:24:43 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 21:25:20 +0100Akiva(~Akiva@user/Akiva)
2021-12-12 21:25:23 +0100bbear58(~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877)
2021-12-12 21:26:05 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-12-12 21:26:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 21:26:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 21:26:44 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 21:28:27 +0100jespada(~jespada@87.74.33.157) (Ping timeout: 252 seconds)
2021-12-12 21:29:03 +0100pfurla(~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Quit: gone to sleep. ZZZzzz…)
2021-12-12 21:29:33 +0100jespada(~jespada@87.74.33.157)
2021-12-12 21:29:39 +0100deadmarshal(~deadmarsh@95.38.116.191)
2021-12-12 21:29:49 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-12 21:31:15 +0100neurocyte0132889(~neurocyte@94.46.81.14)
2021-12-12 21:31:16 +0100neurocyte0132889(~neurocyte@94.46.81.14) (Changing host)
2021-12-12 21:31:16 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-12-12 21:31:33 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-12-12 21:32:44 +0100DNH(~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912)
2021-12-12 21:33:58 +0100deadmarshal(~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds)
2021-12-12 21:33:59 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 21:34:58 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 21:34:58 +0100pfurla(~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4)
2021-12-12 21:35:16 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 21:35:33 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-12-12 21:36:47 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 268 seconds)
2021-12-12 21:39:15 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 21:40:51 +0100alx741(~alx741@157.100.93.160)
2021-12-12 21:41:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:f458:37c0:1547:7436)
2021-12-12 21:42:18 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-12 21:44:38 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2021-12-12 21:46:16 +0100bbear58(~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) (Quit: Client closed)
2021-12-12 21:50:29 +0100Pickchea(~private@user/pickchea)
2021-12-12 21:51:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 21:51:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 21:51:34 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 21:51:55 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-12 21:53:06 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 21:54:15 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-12 21:54:45 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 21:55:51 +0100acidjnk(~acidjnk@p200300d0c7271e62c4e0968b1a8deb03.dip0.t-ipconnect.de)
2021-12-12 21:56:19 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-12 21:56:57 +0100 <dmj`> Is it a bug that the Haskell2010 report didn't include "qtycls" in the lexical spec. ? It's mentioned in BNF, but technically not a lexeme
2021-12-12 22:00:19 +0100 <dmj`> GHC's parser doesn't include it as an identifier either https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser.y#L691
2021-12-12 22:00:29 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-12 22:00:59 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 22:01:44 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 22:02:30 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection)
2021-12-12 22:02:49 +0100smartin(~Thunderbi@88.135.18.171) (Remote host closed the connection)
2021-12-12 22:03:07 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2021-12-12 22:03:07 +0100smartin(~Thunderbi@88.135.18.171)
2021-12-12 22:03:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-12 22:04:09 +0100 <Pickchea> Why can't GHC type «let g = \x -> x in \f -> (f 0, f True)»? I thought that's what the let rule in the Hindley-Milner type system was for and it's called let-polymorphism.
2021-12-12 22:04:54 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-12 22:05:19 +0100 <lyxia> dmj`: I think it's intentional. Section 2.4 explicitly mentions "two namespaces" vs "six different kinds of names", although the exact meaning of this distinction remains vague.
2021-12-12 22:05:30 +0100 <glguy> Pickchea: did you mean to use g?
2021-12-12 22:05:32 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 22:07:21 +0100 <Pickchea> glguy, sorry, I meant: let g = (\x -> x) in (\f -> (f 0, f True)) g
2021-12-12 22:07:46 +0100trcc(~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-12-12 22:07:58 +0100 <glguy> Pickchea: the f in \f-> has to have one (unquantified) type
2021-12-12 22:08:11 +0100 <glguy> it doesn't have to do with let polymorphism
2021-12-12 22:08:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 22:08:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 22:08:15 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 22:08:21 +0100 <glguy> (\f -> (f 0, f True)) id
2021-12-12 22:08:23 +0100 <glguy> same thing
2021-12-12 22:09:05 +0100 <hololeap> so I can right click on a unexported function name and click on "quick fix" from the LSP menu. what does it do? 1. adds {-# OPTIONS_GHC -Wno-unused-top-binds #-} 2. adds the function name to the module exports 3. deletes the function entirely
2021-12-12 22:09:27 +0100 <hololeap> answer: all of the above XD
2021-12-12 22:10:21 +0100dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-12 22:10:31 +0100 <Pickchea> glguy, I know that that doesn't work but I thought the let would permit polymorphic types that way.
2021-12-12 22:10:42 +0100 <glguy> it does:
2021-12-12 22:10:42 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-12-12 22:10:43 +0100 <glguy> :t let g = \x -> x in (g 0, g True)
2021-12-12 22:10:44 +0100 <lambdabot> Num a => (a, Bool)
2021-12-12 22:11:07 +0100 <c_wraith> as long as you actually use the *name* bound in the let
2021-12-12 22:11:19 +0100 <c_wraith> it's syntactic
2021-12-12 22:11:59 +0100 <glguy> This lambda just can't be typed: (\f -> (f (0::Int), f True))
2021-12-12 22:12:48 +0100 <glguy> With RankNTypes you can do: (\(f :: forall a. a -> a) -> (f 'a', f True))
2021-12-12 22:12:59 +0100 <glguy> but it's up to you to annotate the polymorphism
2021-12-12 22:13:08 +0100 <Pickchea> glguy, ah I see. Yes, have tried RankNTypes already, crazy stuff.
2021-12-12 22:13:20 +0100 <Square> Whats going on in this exotic signature : f' :: RecordField from a -> ([] `Compose` (,) [Text] `Compose` (->) Value `Compose` (Except D)) ... (taken from https://hackage.haskell.org/package/schemas-0.3.0.2/docs/src/Schemas.Internal.html#local-698958662… )local-6989586621679105820
2021-12-12 22:13:59 +0100 <Square> I guess i mean ... whats the `Compose` thing?
2021-12-12 22:15:05 +0100 <EvanR> it composes two type constructors
2021-12-12 22:15:29 +0100 <EvanR> like type level .
2021-12-12 22:15:41 +0100dolio(~dolio@130.44.130.54)
2021-12-12 22:17:47 +0100 <Square> ah ok. Is that part of an extension or basic functionality?
2021-12-12 22:17:56 +0100 <Square> ghc extension that is
2021-12-12 22:17:57 +0100alx741(~alx741@157.100.93.160)
2021-12-12 22:18:20 +0100mmhat(~mmh@55d44624.access.ecotel.net)
2021-12-12 22:21:21 +0100pfurla[m](uid345156@id-345156.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-12 22:22:22 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 22:23:10 +0100Pickchea(~private@user/pickchea) (Ping timeout: 260 seconds)
2021-12-12 22:26:42 +0100 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.16.0.0/Data-Functor-Compose.html
2021-12-12 22:27:27 +0100 <dmj`> I still chuckle at this "Enable MultiParamTypeClasses to allow no-parameter classes"
2021-12-12 22:28:01 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-12 22:30:38 +0100 <hpc> in english, zero is plural
2021-12-12 22:33:48 +0100 <Square> geekosaur, thanks
2021-12-12 22:35:27 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 22:37:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-12 22:37:24 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 22:38:42 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 22:40:16 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-12 22:40:32 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-12 22:42:36 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 265 seconds)
2021-12-12 22:43:23 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-12-12 22:45:09 +0100kranius(~kranius@222.186.245.213.rev.sfr.net)
2021-12-12 22:52:53 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-12 22:53:30 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 260 seconds)
2021-12-12 22:55:15 +0100alx741(~alx741@157.100.93.160)
2021-12-12 22:55:21 +0100kranius(~kranius@222.186.245.213.rev.sfr.net) (Changing host)
2021-12-12 22:55:21 +0100kranius(~kranius@user/kranius)
2021-12-12 22:56:17 +0100 <dmj`> lyxia: yea, a simple translation of the 2010 spec gives ~80 reduce/reduce conflicts in happy
2021-12-12 22:56:18 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-12-12 22:57:45 +0100slowtyper(~slowtyper@user/slowtyper) (Remote host closed the connection)
2021-12-12 22:58:01 +0100slowtyper(~slowtyper@user/slowtyper)
2021-12-12 22:59:01 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-12 22:59:35 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-12 22:59:35 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-12 22:59:35 +0100wroathe(~wroathe@user/wroathe)
2021-12-12 23:00:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-12-12 23:01:30 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 23:02:54 +0100kranius(~kranius@user/kranius) (Ping timeout: 265 seconds)
2021-12-12 23:03:09 +0100mvk(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-12 23:04:31 +0100husixu(~husixu@137.132.119.2)
2021-12-12 23:04:42 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-12-12 23:05:47 +0100husixu(~husixu@137.132.119.2) (Remote host closed the connection)
2021-12-12 23:07:24 +0100husixu(~husixu@137.132.119.2)
2021-12-12 23:09:05 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 23:09:08 +0100pfurla_(~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916)
2021-12-12 23:11:19 +0100pfurla(~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Ping timeout: 250 seconds)
2021-12-12 23:13:32 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 240 seconds)
2021-12-12 23:14:14 +0100pfurla_(~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916) (Ping timeout: 268 seconds)
2021-12-12 23:14:52 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-12-12 23:15:12 +0100pfurla(~pfurla@2804:18:5820:1d6d:95e6:204:998d:de68)
2021-12-12 23:16:21 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-12 23:18:48 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds)
2021-12-12 23:19:30 +0100pavonia(~user@user/siracusa)
2021-12-12 23:19:51 +0100alx741(~alx741@157.100.93.160)
2021-12-12 23:19:51 +0100lavaman(~lavaman@98.38.249.169)
2021-12-12 23:24:19 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-12 23:24:20 +0100burnsidesLlama(~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-12 23:25:32 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-12-12 23:31:13 +0100Jing(~hedgehog@2604:a840:3::1001) (Remote host closed the connection)
2021-12-12 23:31:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-12 23:33:54 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-12 23:34:04 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-12-12 23:35:45 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-12-12 23:36:09 +0100Jing(~hedgehog@2604:a840:3::1001)
2021-12-12 23:36:22 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-12-12 23:37:16 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-12-12 23:38:10 +0100nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-12 23:40:48 +0100mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2021-12-12 23:41:06 +0100TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-12-12 23:44:07 +0100 <hololeap> Square: it's mostly used to extend typeclass instances to composed type constructors, e.g. instance (Applicative f, Applicative g) => Applicative (Compose f g)
2021-12-12 23:44:33 +0100 <hololeap> so you could get the combined Applicative for e.g. [Maybe a]
2021-12-12 23:45:40 +0100 <Square> hololeap, oh right. And thats no possible wo that trick?
2021-12-12 23:46:53 +0100 <hololeap> it's possible. you could make a newtype wrapping [Maybe a] and then just define your own Applicative instance, but you'd most likely just be recreating the Applicative for (Compose [] Maybe)
2021-12-12 23:47:50 +0100alx741(~alx741@181.199.42.79)
2021-12-12 23:49:04 +0100 <hololeap> likewise, they could have wrapped [([Text], Value -> Except D a)] in a newtype, but they chose to leverage all the instances that you get by using Compose
2021-12-12 23:49:30 +0100 <hololeap> (at least I assume that's why they did that)
2021-12-12 23:50:30 +0100 <hololeap> personally, I like to use Compose with the DerivingVia extension, that way you don't have to have a bunch of Compose constructors that you will eventually have to deal with
2021-12-12 23:51:57 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-12 23:52:12 +0100 <hololeap> newtype MyThing a = MyThing (Either String [Maybe a]) ; deriving Applicative via Compose (Either String) (Compose [] Maybe)
2021-12-12 23:52:20 +0100 <hololeap> hope that makes sense
2021-12-12 23:57:18 +0100alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-12 23:59:26 +0100husixu(~husixu@137.132.119.2) (Quit: Leaving)