2021-12-12 00:01:27 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 00:05:42 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds) |
2021-12-12 00:05:51 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 00:06:25 +0100 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::48) |
2021-12-12 00:06:44 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
2021-12-12 00:07:07 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-12 00:14:02 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
2021-12-12 00:14:12 +0100 | Guest81 | (~Guest81@2a01cb0589202e00edc070a9acc1d4bb.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
2021-12-12 00:14:43 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 00:15:00 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
2021-12-12 00:15:32 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 00:15:52 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 00:16:56 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Read error: Connection reset by peer) |
2021-12-12 00:17:05 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 00:18:26 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-12-12 00:21:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-12-12 00:22:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 00:22:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 00:22:18 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 00:22:24 +0100 | nf | nfir |
2021-12-12 00:23:42 +0100 | snake | (~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 +0100 | nfir | sapinf |
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 +0100 | shapr | (~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 +0100 | AlexNoo_ | (~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 +0100 | sapinf | nfir |
2021-12-12 00:30:57 +0100 | wanko | (~wanko@51.15.4.226) (Quit: leaving) |
2021-12-12 00:32:57 +0100 | Alex_test | (~al_test@94.233.241.193) (Ping timeout: 265 seconds) |
2021-12-12 00:33:03 +0100 | AlexNoo | (~AlexNoo@94.233.241.193) (Ping timeout: 256 seconds) |
2021-12-12 00:33:08 +0100 | AlexZenon | (~alzenon@94.233.241.193) (Ping timeout: 256 seconds) |
2021-12-12 00:36:40 +0100 | dudek | (~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 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
2021-12-12 00:37:27 +0100 | Alex_test | (~al_test@178.34.163.33) |
2021-12-12 00:37:33 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 00:37:35 +0100 | AlexZenon | (~alzenon@178.34.163.33) |
2021-12-12 00:37:42 +0100 | azimut | (~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 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
2021-12-12 00:41:15 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-12-12 00:41:55 +0100 | fizbin | (~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 +0100 | Jing | (~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 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
2021-12-12 00:47:39 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 00:48:05 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 00:48:51 +0100 | neurocyte0132889 | (~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 +0100 | trcc | (~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 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
2021-12-12 00:54:38 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-12 00:56:04 +0100 | Guest75 | (~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 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
2021-12-12 01:01:35 +0100 | max22- | (~maxime@2a01cb08833598004fea75dc1e636bbe.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-12-12 01:03:33 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-12 01:03:47 +0100 | timCF | (~timCF@m91-129-100-224.cust.tele2.ee) |
2021-12-12 01:06:25 +0100 | Erutuon | (~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 +0100 | pfurla | (~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52) |
2021-12-12 01:15:42 +0100 | Erutuon | (~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 +0100 | Erutuon | (~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 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
2021-12-12 01:21:38 +0100 | timCF | (~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 +0100 | namkeleser | (~namkelese@101.179.128.103) |
2021-12-12 01:34:43 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2021-12-12 01:35:30 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-12 01:35:37 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit) |
2021-12-12 01:36:22 +0100 | tromp | (~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 +0100 | slice | (~slice@user/slice) |
2021-12-12 01:38:01 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 01:42:17 +0100 | fizbin | (~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 +0100 | jespada | (~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 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-12 01:49:37 +0100 | jespada | (~jespada@87.74.33.157) |
2021-12-12 01:52:15 +0100 | son0p | (~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 +0100 | Jing | (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
2021-12-12 02:04:35 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 02:11:40 +0100 | <sm> | what vintage ? |
2021-12-12 02:13:24 +0100 | sszark | (~sszark@h-155-4-130-230.NA.cust.bahnhof.se) |
2021-12-12 02:17:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 02:17:45 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 02:17:46 +0100 | pfurla_ | (~pfurla@177.25.188.35) |
2021-12-12 02:18:11 +0100 | <mjrosenb> | 2.4 |
2021-12-12 02:18:43 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
2021-12-12 02:21:09 +0100 | pfurla | (~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52) (Ping timeout: 250 seconds) |
2021-12-12 02:24:46 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2021-12-12 02:29:32 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-12-12 02:29:42 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-12-12 02:30:21 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-12-12 02:32:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-12-12 02:35:39 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:11c1:36c3:fe48:2c6f) (Quit: Textual IRC Client: www.textualapp.com) |
2021-12-12 02:39:55 +0100 | machinedgod | (~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 +0100 | bollu | (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 +0100 | hololeap | waits for a 2001 ASO joke |
2021-12-12 02:49:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
2021-12-12 02:51:24 +0100 | merijn | (~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 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-12 03:02:41 +0100 | sszark | (~sszark@h-155-4-130-230.NA.cust.bahnhof.se) (Quit: WeeChat 3.3) |
2021-12-12 03:04:32 +0100 | AndrewYu | (~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 +0100 | earendel | (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
2021-12-12 03:09:33 +0100 | xff0x | (~xff0x@port-92-193-224-19.dynamic.as20676.net) (Ping timeout: 252 seconds) |
2021-12-12 03:11:27 +0100 | xff0x | (~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 +0100 | Jing | (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
2021-12-12 03:24:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
2021-12-12 03:24:50 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2021-12-12 03:25:19 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
2021-12-12 03:25:28 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 03:30:51 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-12 03:31:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 03:36:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
2021-12-12 03:39:38 +0100 | darkstarx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 03:44:32 +0100 | mmhat | (~mmh@55d45c6c.access.ecotel.net) (Ping timeout: 240 seconds) |
2021-12-12 03:45:30 +0100 | earendel | (uid498179@user/earendel) |
2021-12-12 03:53:32 +0100 | abrantesasf | (~abrantesa@187.36.170.211) (Read error: Connection reset by peer) |
2021-12-12 03:53:46 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 03:56:16 +0100 | abrantesasf | (~abrantesa@187.36.170.211) |
2021-12-12 03:57:59 +0100 | mmhat | (~mmh@55d44624.access.ecotel.net) |
2021-12-12 03:58:16 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
2021-12-12 04:00:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2021-12-12 04:00:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2021-12-12 04:01:22 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
2021-12-12 04:05:12 +0100 | zebrag | (~chris@user/zebrag) |
2021-12-12 04:06:23 +0100 | johnjay | (~pi@154.6.152.74) (Ping timeout: 252 seconds) |
2021-12-12 04:07:38 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 04:08:12 +0100 | johnjay | (~pi@154.6.152.74) |
2021-12-12 04:08:40 +0100 | curiousgay | (~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 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-12-12 04:11:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2021-12-12 04:11:18 +0100 | finn_elija | FinnElija |
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 +0100 | abrantesasf | (~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 +0100 | pzanco | (~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 +0100 | pzanco | (~Android@2804:14c:3bc3:466:a4b2:cfe3:46ff:192a) (Client Quit) |
2021-12-12 04:18:02 +0100 | darkstardevx | (~darkstard@50.39.115.145) |
2021-12-12 04:19:01 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 04:19:26 +0100 | darkstardevx | (~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 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 04:20:29 +0100 | darkstardevx | (~darkstard@50.39.115.145) |
2021-12-12 04:20:47 +0100 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2021-12-12 04:24:07 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Read error: Connection reset by peer) |
2021-12-12 04:26:09 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 04:27:44 +0100 | td_ | (~td@94.134.91.156) (Ping timeout: 256 seconds) |
2021-12-12 04:27:59 +0100 | darkstardevx | (~darkstard@50.39.115.145) |
2021-12-12 04:28:52 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 04:29:16 +0100 | darkstardevx | (~darkstard@50.39.115.145) |
2021-12-12 04:29:27 +0100 | td_ | (~td@muedsl-82-207-238-103.citykom.de) |
2021-12-12 04:30:39 +0100 | fizbin | (~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 +0100 | bitdex | (~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 +0100 | shapr | (~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 +0100 | merijn | (~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 +0100 | paraseba | (~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 +0100 | fizbin | (~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 +0100 | mmhat | (~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 +0100 | fizbin | (~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 +0100 | curiousgay | (~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 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-12 05:23:52 +0100 | mbuf | (~Shakthi@122.174.253.173) |
2021-12-12 05:26:01 +0100 | <xerox> | `_^ |
2021-12-12 05:29:00 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3) |
2021-12-12 05:30:58 +0100 | nfd | (~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 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-12 05:32:55 +0100 | Gurkenglas | (~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 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-12 05:36:52 +0100 | Hawker | (~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net) |
2021-12-12 05:36:52 +0100 | Hawker | (~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net) (Changing host) |
2021-12-12 05:36:52 +0100 | Hawker | (~pi@user/hawker) |
2021-12-12 05:39:28 +0100 | deadmarshal | (~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 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 05:43:33 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-12-12 05:44:39 +0100 | Hawker | (~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 +0100 | Hawker | (~pi@user/hawker) |
2021-12-12 05:46:08 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-12-12 05:46:58 +0100 | bollu | (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 +0100 | Hawker | (~pi@user/hawker) (Quit: Lost terminal) |
2021-12-12 05:56:01 +0100 | Akiva | (~Akiva@user/Akiva) |
2021-12-12 05:56:26 +0100 | Hawker | (~pi@user/hawker) |
2021-12-12 05:57:30 +0100 | the_last_immorta | (~thelastim@2001:470:69fc:105::1:4d57) |
2021-12-12 05:58:37 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-12-12 06:00:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:719f:b1db:e5b1:8e4a) (Ping timeout: 240 seconds) |
2021-12-12 06:00:38 +0100 | the_last_immorta | uploaded 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 +0100 | Hawker | (~pi@user/hawker) (Quit: leaving) |
2021-12-12 06:03:47 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds) |
2021-12-12 06:04:01 +0100 | Hawker | (~pi@user/hawker) |
2021-12-12 06:14:04 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 06:16:38 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-12-12 06:16:48 +0100 | curiousgay | (~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 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 06:18:43 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 06:19:03 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 06:19:12 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
2021-12-12 06:20:35 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 06:20:35 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 06:29:54 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 06:34:27 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
2021-12-12 06:38:56 +0100 | deadmarshal_ | (~deadmarsh@95.38.230.202) |
2021-12-12 06:39:32 +0100 | deadmarshal | (~deadmarsh@95.38.114.98) (Ping timeout: 268 seconds) |
2021-12-12 06:45:03 +0100 | pfurla_ | (~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 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 06:52:40 +0100 | pfurla | (~pfurla@177.25.188.35) |
2021-12-12 06:59:37 +0100 | darkstardevx | (~darkstard@50.39.115.145) |
2021-12-12 07:00:52 +0100 | darkstardevx | (~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 +0100 | darkstardevx | (~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 +0100 | darkstardevx | (~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 +0100 | darkstardevx | (~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 +0100 | darkstardevx | (~darkstard@50.39.115.145) (Remote host closed the connection) |
2021-12-12 07:07:51 +0100 | darkstardevx | (~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 +0100 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
2021-12-12 07:15:15 +0100 | tubogram | (~tubogram@user/tubogram) (*.net *.split) |
2021-12-12 07:15:24 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-12 07:15:36 +0100 | tubogram | (~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 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
2021-12-12 07:18:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 07:22:27 +0100 | slice | (~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 +0100 | pfurla_ | (~pfurla@172.58.160.227) |
2021-12-12 07:26:48 +0100 | pfurla | (~pfurla@177.25.188.35) (Ping timeout: 256 seconds) |
2021-12-12 07:28:34 +0100 | mikoto-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 +0100 | arjun | (~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 +0100 | lavaman | (~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 +0100 | Guest75 | (~Guest75@c-73-51-111-196.hsd1.il.comcast.net) (Quit: Client closed) |
2021-12-12 07:38:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
2021-12-12 07:38:25 +0100 | takuan | (~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 +0100 | paraseba | (~paraseba@187.121.45.193) (Quit: Client closed) |
2021-12-12 07:42:08 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
2021-12-12 07:43:14 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-12 07:47:07 +0100 | pfurla_ | (~pfurla@172.58.160.227) (Read error: Connection reset by peer) |
2021-12-12 07:47:20 +0100 | pfurla | (~pfurla@172.58.160.227) |
2021-12-12 07:50:28 +0100 | pfurla | (~pfurla@172.58.160.227) (Read error: Connection reset by peer) |
2021-12-12 07:50:35 +0100 | pfurla_ | (~pfurla@172.58.160.227) |
2021-12-12 07:51:35 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-12 07:52:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-12 07:53:34 +0100 | mei | (~mei@user/mei) |
2021-12-12 07:58:36 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
2021-12-12 07:59:58 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 07:59:58 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 07:59:58 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 08:00:24 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
2021-12-12 08:05:54 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-12 08:09:52 +0100 | pfurla_ | (~pfurla@172.58.160.227) (Ping timeout: 256 seconds) |
2021-12-12 08:11:15 +0100 | pfurla | (~pfurla@172.58.27.177) |
2021-12-12 08:11:40 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
2021-12-12 08:26:44 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 08:27:36 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
2021-12-12 08:28:05 +0100 | namkeleser | (~namkelese@101.179.128.103) |
2021-12-12 08:33:44 +0100 | fr33domlover | (~fr33@2.55.43.13) |
2021-12-12 08:34:14 +0100 | pfurla | (~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 +0100 | pfurla_ | (~pfurla@172.58.107.238) |
2021-12-12 08:37:16 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
2021-12-12 08:39:05 +0100 | pfurla_ | (~pfurla@172.58.107.238) (Client Quit) |
2021-12-12 08:39:07 +0100 | earendel | (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
2021-12-12 08:40:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
2021-12-12 08:41:42 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 08:41:54 +0100 | pfurla | (~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 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 240 seconds) |
2021-12-12 08:57:26 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 08:59:43 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-12 08:59:49 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 09:00:18 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 09:00:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 09:03:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 09:04:32 +0100 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
2021-12-12 09:05:04 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
2021-12-12 09:05:52 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-12 09:07:09 +0100 | nfd | (~nfd@user/nfd) |
2021-12-12 09:10:40 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2021-12-12 09:11:01 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-12-12 09:12:13 +0100 | pfurla | (~pfurla@177.25.188.35) (Quit: gone to sleep. ZZZzzz…) |
2021-12-12 09:13:16 +0100 | AlexNoo_ | AlexNoo |
2021-12-12 09:14:47 +0100 | pfurla | (~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7) |
2021-12-12 09:15:09 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-12-12 09:16:54 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 09:21:21 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds) |
2021-12-12 09:31:41 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
2021-12-12 09:33:28 +0100 | pfurla_ | (~pfurla@177.25.183.253) |
2021-12-12 09:34:02 +0100 | pfurla | (~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7) (Ping timeout: 240 seconds) |
2021-12-12 09:35:11 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 09:36:10 +0100 | pfurla | (~pfurla@172.58.142.250) |
2021-12-12 09:38:46 +0100 | pfurla_ | (~pfurla@177.25.183.253) (Ping timeout: 260 seconds) |
2021-12-12 09:39:29 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
2021-12-12 09:40:55 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
2021-12-12 09:45:11 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds) |
2021-12-12 09:45:29 +0100 | pfurla | (~pfurla@172.58.142.250) (Quit: gone to sleep. ZZZzzz…) |
2021-12-12 09:46:08 +0100 | thevishy | (~Nishant@2405:201:f005:c007:81f3:ee3c:76f0:8869) |
2021-12-12 09:46:12 +0100 | deadmarshal_ | (~deadmarsh@95.38.230.202) (Ping timeout: 256 seconds) |
2021-12-12 09:56:52 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-12 10:00:08 +0100 | lambdandy[m] | (~lambdandy@2001:470:69fc:105::1:3045) (Quit: You have been kicked for being idle) |
2021-12-12 10:00:27 +0100 | coot_ | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-12 10:00:38 +0100 | coot_ | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
2021-12-12 10:01:49 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
2021-12-12 10:04:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-12-12 10:08:41 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 10:08:42 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-12 10:13:55 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
2021-12-12 10:15:05 +0100 | deadmarshal | (~deadmarsh@95.38.230.202) |
2021-12-12 10:15:28 +0100 | astra` | astra |
2021-12-12 10:19:46 +0100 | max22- | (~maxime@2a01cb0883359800c0740bac5cfe1b89.ipv6.abo.wanadoo.fr) |
2021-12-12 10:22:28 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) |
2021-12-12 10:26:06 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) (Client Quit) |
2021-12-12 10:26:10 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 10:26:59 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-12-12 10:31:02 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds) |
2021-12-12 10:31:38 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) |
2021-12-12 10:32:07 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) (Client Quit) |
2021-12-12 10:32:25 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
2021-12-12 10:33:12 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Client Quit) |
2021-12-12 10:33:29 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
2021-12-12 10:36:00 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-12-12 10:39:27 +0100 | deadmarshal | (~deadmarsh@95.38.230.202) (Ping timeout: 252 seconds) |
2021-12-12 10:41:21 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) |
2021-12-12 10:45:30 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
2021-12-12 10:50:14 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds) |
2021-12-12 10:55:54 +0100 | fr33domlover | (~fr33@2.55.43.13) (Ping timeout: 256 seconds) |
2021-12-12 10:56:33 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) |
2021-12-12 11:00:02 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-12-12 11:00:07 +0100 | justSleigh | (~justache@user/justache) (Remote host closed the connection) |
2021-12-12 11:00:08 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 11:00:37 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
2021-12-12 11:01:05 +0100 | justSleigh | (~justache@user/justache) |
2021-12-12 11:04:51 +0100 | sprout | (~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 +0100 | mbuf | (~Shakthi@122.174.253.173) (Quit: Leaving) |
2021-12-12 11:12:14 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
2021-12-12 11:13:02 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-12-12 11:13:30 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2021-12-12 11:15:52 +0100 | Lord_of_Life_ | Lord_of_Life |
2021-12-12 11:17:18 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 11:24:55 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 252 seconds) |
2021-12-12 11:28:03 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 11:28:03 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 11:29:40 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 11:29:40 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 11:30:49 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 11:30:57 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
2021-12-12 11:31:08 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 11:31:33 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 11:31:33 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 11:31:56 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 11:32:36 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 11:35:34 +0100 | lavaman | (~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 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
2021-12-12 11:39:02 +0100 | chomwitt | (~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 +0100 | lavaman | (~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 +0100 | Jing | (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
2021-12-12 11:45:13 +0100 | Jing | (~hedgehog@103.121.208.36) |
2021-12-12 11:46:07 +0100 | Jing | (~hedgehog@103.121.208.36) (Remote host closed the connection) |
2021-12-12 11:46:38 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 11:47:37 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Quit: ERC (IRC client for Emacs 27.1)) |
2021-12-12 11:48:17 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
2021-12-12 11:51:31 +0100 | fr33domlover | (~fr33@2.55.25.254) |
2021-12-12 11:56:11 +0100 | earendel | (uid498179@user/earendel) |
2021-12-12 11:56:26 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Ping timeout: 260 seconds) |
2021-12-12 12:00:31 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 250 seconds) |
2021-12-12 12:00:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 12:05:39 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 12:07:05 +0100 | Vajb | (~Vajb@85-76-39-222-nat.elisa-mobile.fi) |
2021-12-12 12:08:00 +0100 | <xerox> | sweet |
2021-12-12 12:10:45 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds) |
2021-12-12 12:15:48 +0100 | retroid_ | (~retro@05412d78.skybroadband.com) |
2021-12-12 12:16:22 +0100 | Vajb | (~Vajb@85-76-39-222-nat.elisa-mobile.fi) (Ping timeout: 256 seconds) |
2021-12-12 12:17:26 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-12 12:17:28 +0100 | retro_ | (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
2021-12-12 12:18:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
2021-12-12 12:21:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-12-12 12:23:02 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds) |
2021-12-12 12:23:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 12:26:17 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-12-12 12:28:10 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds) |
2021-12-12 12:29:23 +0100 | xkuru | (~xkuru@user/xkuru) |
2021-12-12 12:35:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-12 12:35:38 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2021-12-12 12:35:54 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
2021-12-12 12:38:28 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 12:42:04 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 12:43:13 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-12-12 12:44:59 +0100 | gustik | (~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) (Quit: Leaving) |
2021-12-12 12:45:04 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-12 12:45:45 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-12 12:46:35 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 12:52:53 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
2021-12-12 12:56:13 +0100 | max22- | (~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 +0100 | mmhat | (~mmh@55d44624.access.ecotel.net) |
2021-12-12 13:05:44 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 13:12:09 +0100 | zaquest | (~notzaques@5.130.79.72) (Quit: Leaving) |
2021-12-12 13:13:18 +0100 | zaquest | (~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 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
2021-12-12 13:20:40 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-12-12 13:25:42 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-12-12 13:29:48 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-12 13:30:21 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
2021-12-12 13:30:23 +0100 | arjun | (~user@user/arjun) (Remote host closed the connection) |
2021-12-12 13:30:44 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-12 13:31:00 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) |
2021-12-12 13:32:02 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) (Client Quit) |
2021-12-12 13:32:29 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) |
2021-12-12 13:32:37 +0100 | PVPANTHONY | (~The_viole@203.77.49.232) (Client Quit) |
2021-12-12 13:34:43 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Ping timeout: 252 seconds) |
2021-12-12 13:37:20 +0100 | neurocyte0132889 | (~neurocyte@45.128.180.15) |
2021-12-12 13:37:20 +0100 | neurocyte0132889 | (~neurocyte@45.128.180.15) (Changing host) |
2021-12-12 13:37:20 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-12-12 13:50:19 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-12-12 13:53:43 +0100 | Jing | (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
2021-12-12 13:54:27 +0100 | Jing | (~hedgehog@125.106.89.1) |
2021-12-12 14:01:30 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds) |
2021-12-12 14:02:44 +0100 | Alex_test | (~al_test@178.34.163.33) (Quit: ;-) |
2021-12-12 14:02:47 +0100 | AlexZenon | (~alzenon@178.34.163.33) (Quit: ;-) |
2021-12-12 14:02:59 +0100 | AlexNoo | (~AlexNoo@178.34.163.33) (Quit: Leaving) |
2021-12-12 14:10:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 14:11:48 +0100 | tromp | (~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 +0100 | Guest|87 | (~Guest|87@46.32.66.42) |
2021-12-12 14:15:04 +0100 | Guest|87 | (~Guest|87@46.32.66.42) (Client Quit) |
2021-12-12 14:15:38 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) |
2021-12-12 14:16:10 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-12-12 14:16:33 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-12 14:17:38 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
2021-12-12 14:19:35 +0100 | timCF | (~timCF@m91-129-100-224.cust.tele2.ee) |
2021-12-12 14:21:31 +0100 | phma | (~phma@host-67-44-209-24.hnremote.net) (Read error: Connection reset by peer) |
2021-12-12 14:22:25 +0100 | phma | (phma@2001:5b0:212a:ba68:a7e4:c90f:fe43:cf4b) |
2021-12-12 14:22:40 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds) |
2021-12-12 14:23:24 +0100 | deadmarshal | (~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 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds) |
2021-12-12 14:24:22 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
2021-12-12 14:24:49 +0100 | AlexZenon | (~alzenon@178.34.163.33) |
2021-12-12 14:25:03 +0100 | AlexNoo | (~AlexNoo@178.34.163.33) |
2021-12-12 14:27:10 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-12-12 14:28:10 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-12-12 14:28:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-12-12 14:28:13 +0100 | allbery_b | geekosaur |
2021-12-12 14:29:31 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 14:31:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 14:34:38 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds) |
2021-12-12 14:41:34 +0100 | Alex_test | (~al_test@178.34.163.33) |
2021-12-12 14:42:44 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2021-12-12 14:44:00 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 14:44:14 +0100 | tomku | (~tomku@user/tomku) |
2021-12-12 14:45:31 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
2021-12-12 14:45:47 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
2021-12-12 14:46:42 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 14:49:33 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-12 14:49:53 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds) |
2021-12-12 14:50:08 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
2021-12-12 14:51:26 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds) |
2021-12-12 14:53:30 +0100 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
2021-12-12 14:53:47 +0100 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
2021-12-12 14:54:03 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 14:57:09 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 14:58:25 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
2021-12-12 15:02:15 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 15:02:21 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
2021-12-12 15:02:35 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-12 15:03:01 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Client Quit) |
2021-12-12 15:03:13 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-12 15:04:19 +0100 | TranquilEcho | (~grom@user/tranquilecho) |
2021-12-12 15:05:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-12-12 15:06:13 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-12-12 15:07:14 +0100 | deadmarshal | (~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 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 15:12:11 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 15:15:30 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-12-12 15:16:31 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
2021-12-12 15:21:18 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Ping timeout: 260 seconds) |
2021-12-12 15:26:46 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-12 15:28:48 +0100 | noex | (~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 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-12-12 15:33:22 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
2021-12-12 15:33:29 +0100 | Morrow | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 15:38:02 +0100 | <Arsen> | hm, okay |
2021-12-12 15:38:05 +0100 | curiousgay | (~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 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
2021-12-12 15:39:08 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds) |
2021-12-12 15:41:28 +0100 | tromp | (~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 +0100 | lavaman | (~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 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
2021-12-12 15:53:30 +0100 | fr33domlover | (~fr33@2.55.25.254) (Ping timeout: 260 seconds) |
2021-12-12 15:53:30 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
2021-12-12 15:53:55 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 15:56:01 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-12 15:58:20 +0100 | tromp | (~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 +0100 | Vajb | (~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 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 16:13:07 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 252 seconds) |
2021-12-12 16:14:39 +0100 | mmhat | (~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3) |
2021-12-12 16:16:07 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
2021-12-12 16:16:51 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
2021-12-12 16:20:31 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
2021-12-12 16:22:45 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 16:24:44 +0100 | max22- | (~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr) |
2021-12-12 16:30:09 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 16:35:14 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-12-12 16:35:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-12-12 16:38:48 +0100 | Jing | (~hedgehog@125.106.89.1) (Read error: Connection reset by peer) |
2021-12-12 16:39:31 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 16:40:42 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 16:41:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 16:41:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 16:41:27 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 16:43:16 +0100 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
2021-12-12 16:44:43 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 16:45:46 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds) |
2021-12-12 16:50:05 +0100 | lupulo | (~lupulo_@128.red-83-35-42.dynamicip.rima-tde.net) |
2021-12-12 16:50:05 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 16:54:33 +0100 | xff0x | (~xff0x@2001:1a81:5203:4200:a63b:498f:dba9:bef9) (Ping timeout: 250 seconds) |
2021-12-12 16:55:39 +0100 | xff0x | (~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532) |
2021-12-12 16:58:06 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 17:00:06 +0100 | iammrinal0[m] | (~iammrinal@2001:470:69fc:105::1:2248) (Quit: You have been kicked for being idle) |
2021-12-12 17:01:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 17:03:49 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-12 17:03:52 +0100 | altern | (~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 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 17:10:14 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-12-12 17:11:54 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds) |
2021-12-12 17:12:58 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-12 17:13:28 +0100 | mimmy | (~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 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
2021-12-12 17:20:34 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 17:22:01 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Remote host closed the connection) |
2021-12-12 17:22:27 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
2021-12-12 17:23:04 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 17:24:53 +0100 | cfebs | (~cfebs@user/cfebs) () |
2021-12-12 17:26:07 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) |
2021-12-12 17:26:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
2021-12-12 17:26:25 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-12-12 17:33:07 +0100 | xff0x | (~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532) (Ping timeout: 250 seconds) |
2021-12-12 17:33:52 +0100 | xff0x | (~xff0x@2001:1a81:5203:4200:40b7:e822:93c8:fd81) |
2021-12-12 17:35:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-12-12 17:39:38 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 17:44:00 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 17:45:10 +0100 | mimmy | (~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 +0100 | mimmy | (~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 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-12-12 17:58:30 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-12 18:03:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 18:03:51 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-12-12 18:10:23 +0100 | altern | (~Sergii@altern.corbina.com.ua) (Ping timeout: 250 seconds) |
2021-12-12 18:13:42 +0100 | sebeko | (uid530526@id-530526.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-12 18:13:57 +0100 | ph88 | (~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 +0100 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
2021-12-12 18:16:45 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-12 18:16:51 +0100 | mimmy | (~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 +0100 | burnsidesLlama | (~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 +0100 | alx741 | (~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 +0100 | mimmy | (~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 +0100 | burnsidesLlama | (~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 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
2021-12-12 18:28:42 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-12-12 18:33:20 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
2021-12-12 18:36:29 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-12-12 18:38:43 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) |
2021-12-12 18:49:36 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-12-12 18:50:25 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 18:53:07 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 18:53:07 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 18:53:07 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 18:54:16 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 18:57:23 +0100 | gdd | (~gdd@129.199.146.230) (Ping timeout: 252 seconds) |
2021-12-12 18:57:41 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-12 18:57:50 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
2021-12-12 18:59:05 +0100 | <ph88> | thanks EvanR |
2021-12-12 18:59:42 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds) |
2021-12-12 18:59:53 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-12-12 19:00:56 +0100 | gdd | (~gdd@129.199.146.230) |
2021-12-12 19:02:40 +0100 | alx741 | (~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 +0100 | shapr | (~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 +0100 | slice | (~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 +0100 | emf | (~emf@cpe-174-109-36-85.nc.res.rr.com) |
2021-12-12 19:12:07 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
2021-12-12 19:12:32 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-12 19:12:50 +0100 | emf | (~emf@cpe-174-109-36-85.nc.res.rr.com) (Client Quit) |
2021-12-12 19:14:44 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-12-12 19:15:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 19:18:30 +0100 | jakalx | (~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 +0100 | alx741 | (~alx741@181.199.42.79) |
2021-12-12 19:21:51 +0100 | namkeleser | (~namkelese@101.179.128.103) |
2021-12-12 19:22:45 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-12-12 19:23:58 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 19:24:02 +0100 | pfurla[m] | (uid345156@id-345156.tinside.irccloud.com) |
2021-12-12 19:26:34 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
2021-12-12 19:27:09 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 19:29:09 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
2021-12-12 19:30:02 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2021-12-12 19:32:13 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
2021-12-12 19:32:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-12 19:33:07 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
2021-12-12 19:35:46 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
2021-12-12 19:37:32 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 19:37:42 +0100 | emresaurus | (~emresauru@78.173.60.185) |
2021-12-12 19:38:21 +0100 | jkaye | (~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net) |
2021-12-12 19:40:15 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 268 seconds) |
2021-12-12 19:40:49 +0100 | emresaurus | (~emresauru@78.173.60.185) (Client Quit) |
2021-12-12 19:41:42 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot) |
2021-12-12 19:42:28 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 19:42:51 +0100 | jkaye | (~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-12-12 19:45:47 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 268 seconds) |
2021-12-12 19:49:03 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
2021-12-12 19:50:15 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 19:52:08 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 19:55:11 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-12 19:58:52 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 19:59:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
2021-12-12 20:01:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 20:02:01 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 20:03:29 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 250 seconds) |
2021-12-12 20:06:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-12 20:08:00 +0100 | max22- | (~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
2021-12-12 20:08:48 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2021-12-12 20:09:50 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
2021-12-12 20:12:58 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-12-12 20:15:37 +0100 | pfurla | (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) |
2021-12-12 20:16:00 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
2021-12-12 20:17:41 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 252 seconds) |
2021-12-12 20:18:28 +0100 | alx741 | (~alx741@181.199.42.79) |
2021-12-12 20:19:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
2021-12-12 20:19:41 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 20:28:00 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3) |
2021-12-12 20:30:34 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 20:31:13 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
2021-12-12 20:31:51 +0100 | nickdaly | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
2021-12-12 20:31:59 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
2021-12-12 20:34:24 +0100 | max22- | (~maxime@2a01cb0883359800ce4fb8a82cc4438c.ipv6.abo.wanadoo.fr) |
2021-12-12 20:35:30 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-12 20:35:36 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 256 seconds) |
2021-12-12 20:36:10 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
2021-12-12 20:39:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-12-12 20:41:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-12-12 20:42:47 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
2021-12-12 20:43:18 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
2021-12-12 20:45:00 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 20:48:44 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 20:55:27 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-12-12 21:00:20 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 21:02:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
2021-12-12 21:02:16 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 21:05:10 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
2021-12-12 21:05:27 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 250 seconds) |
2021-12-12 21:05:42 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 21:06:43 +0100 | juhp | (~juhp@128.106.188.82) |
2021-12-12 21:07:11 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
2021-12-12 21:11:18 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
2021-12-12 21:12:11 +0100 | econo | (uid147250@user/econo) |
2021-12-12 21:12:33 +0100 | gustik | (~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) |
2021-12-12 21:15:58 +0100 | nfir | nf |
2021-12-12 21:16:10 +0100 | cjb | (~cjb@user/cjb) |
2021-12-12 21:16:52 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-12-12 21:17:23 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
2021-12-12 21:18:19 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 21:18:52 +0100 | sagax | (~sagax_nb@user/sagax) (Excess Flood) |
2021-12-12 21:19:55 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-12 21:20:53 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 21:22:53 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 21:24:43 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 21:25:20 +0100 | Akiva | (~Akiva@user/Akiva) |
2021-12-12 21:25:23 +0100 | bbear58 | (~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) |
2021-12-12 21:26:05 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-12-12 21:26:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 21:26:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 21:26:44 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 21:28:27 +0100 | jespada | (~jespada@87.74.33.157) (Ping timeout: 252 seconds) |
2021-12-12 21:29:03 +0100 | pfurla | (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Quit: gone to sleep. ZZZzzz…) |
2021-12-12 21:29:33 +0100 | jespada | (~jespada@87.74.33.157) |
2021-12-12 21:29:39 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) |
2021-12-12 21:29:49 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) |
2021-12-12 21:31:15 +0100 | neurocyte0132889 | (~neurocyte@94.46.81.14) |
2021-12-12 21:31:16 +0100 | neurocyte0132889 | (~neurocyte@94.46.81.14) (Changing host) |
2021-12-12 21:31:16 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-12-12 21:31:33 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
2021-12-12 21:32:44 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) |
2021-12-12 21:33:58 +0100 | deadmarshal | (~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds) |
2021-12-12 21:33:59 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 21:34:58 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 21:34:58 +0100 | pfurla | (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) |
2021-12-12 21:35:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 21:35:33 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-12 21:36:47 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
2021-12-12 21:39:15 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
2021-12-12 21:40:51 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 21:41:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f458:37c0:1547:7436) |
2021-12-12 21:42:18 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2021-12-12 21:44:38 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2021-12-12 21:46:16 +0100 | bbear58 | (~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) (Quit: Client closed) |
2021-12-12 21:50:29 +0100 | Pickchea | (~private@user/pickchea) |
2021-12-12 21:51:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 21:51:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 21:51:34 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 21:51:55 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-12 21:53:06 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 21:54:15 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-12-12 21:54:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 21:55:51 +0100 | acidjnk | (~acidjnk@p200300d0c7271e62c4e0968b1a8deb03.dip0.t-ipconnect.de) |
2021-12-12 21:56:19 +0100 | wroathe | (~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 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 22:01:44 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 22:02:30 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
2021-12-12 22:02:49 +0100 | smartin | (~Thunderbi@88.135.18.171) (Remote host closed the connection) |
2021-12-12 22:03:07 +0100 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
2021-12-12 22:03:07 +0100 | smartin | (~Thunderbi@88.135.18.171) |
2021-12-12 22:03:10 +0100 | merijn | (~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 +0100 | lavaman | (~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 +0100 | mimmy | (~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 +0100 | trcc | (~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 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 22:08:15 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 22:08:15 +0100 | wroathe | (~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 +0100 | dolio | (~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 +0100 | mimmy | (~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 +0100 | dolio | (~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 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 22:18:20 +0100 | mmhat | (~mmh@55d44624.access.ecotel.net) |
2021-12-12 22:21:21 +0100 | pfurla[m] | (uid345156@id-345156.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-12 22:22:22 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-12 22:23:10 +0100 | Pickchea | (~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 +0100 | justsomeguy | (~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 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 22:37:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-12-12 22:37:24 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 22:38:42 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 22:40:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-12-12 22:40:32 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-12 22:42:36 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 265 seconds) |
2021-12-12 22:43:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-12 22:45:09 +0100 | kranius | (~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 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 260 seconds) |
2021-12-12 22:55:15 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 22:55:21 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Changing host) |
2021-12-12 22:55:21 +0100 | kranius | (~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 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
2021-12-12 22:57:45 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Remote host closed the connection) |
2021-12-12 22:58:01 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
2021-12-12 22:59:01 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-12-12 22:59:35 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-12 22:59:35 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-12 22:59:35 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-12 23:00:32 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-12-12 23:01:30 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 23:02:54 +0100 | kranius | (~kranius@user/kranius) (Ping timeout: 265 seconds) |
2021-12-12 23:03:09 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) |
2021-12-12 23:04:31 +0100 | husixu | (~husixu@137.132.119.2) |
2021-12-12 23:04:42 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-12-12 23:05:47 +0100 | husixu | (~husixu@137.132.119.2) (Remote host closed the connection) |
2021-12-12 23:07:24 +0100 | husixu | (~husixu@137.132.119.2) |
2021-12-12 23:09:05 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 23:09:08 +0100 | pfurla_ | (~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916) |
2021-12-12 23:11:19 +0100 | pfurla | (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Ping timeout: 250 seconds) |
2021-12-12 23:13:32 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 240 seconds) |
2021-12-12 23:14:14 +0100 | pfurla_ | (~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916) (Ping timeout: 268 seconds) |
2021-12-12 23:14:52 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
2021-12-12 23:15:12 +0100 | pfurla | (~pfurla@2804:18:5820:1d6d:95e6:204:998d:de68) |
2021-12-12 23:16:21 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-12 23:18:48 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds) |
2021-12-12 23:19:30 +0100 | pavonia | (~user@user/siracusa) |
2021-12-12 23:19:51 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-12 23:19:51 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-12 23:24:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
2021-12-12 23:24:20 +0100 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-12 23:25:32 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2021-12-12 23:31:13 +0100 | Jing | (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
2021-12-12 23:31:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-12 23:33:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-12-12 23:34:04 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-12-12 23:35:45 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-12-12 23:36:09 +0100 | Jing | (~hedgehog@2604:a840:3::1001) |
2021-12-12 23:36:22 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2021-12-12 23:37:16 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-12-12 23:38:10 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-12 23:40:48 +0100 | mimmy | (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
2021-12-12 23:41:06 +0100 | TranquilEcho | (~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 +0100 | alx741 | (~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 +0100 | tromp | (~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 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
2021-12-12 23:59:26 +0100 | husixu | (~husixu@137.132.119.2) (Quit: Leaving) |