Logs on 2024-08-01 (liberachat/#haskell)
| 00:01:08 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 00:08:33 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:22:26 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 00:22:37 | → | spew joins (~spew@201.141.102.132) |
| 00:22:50 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Read error: Connection reset by peer) |
| 00:26:30 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 00:26:32 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.3.5) |
| 00:28:02 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 00:35:25 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 00:36:54 | × | m1dnight quits (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 252 seconds) |
| 00:39:05 | → | m1dnight joins (~christoph@78-20-61-242.access.telenet.be) |
| 00:52:05 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:52:18 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 01:08:25 | × | spew quits (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 01:09:52 | → | spew joins (~spew@201.141.102.132) |
| 01:16:23 | × | td_ quits (~td@i53870916.versanet.de) (Ping timeout: 252 seconds) |
| 01:21:16 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 01:21:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:23:25 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 01:28:26 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:33:59 | × | AlexNoo quits (~AlexNoo@94.233.241.125) (Read error: Connection reset by peer) |
| 01:34:21 | → | AlexNoo joins (~AlexNoo@94.233.241.125) |
| 01:46:10 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 01:46:29 | × | skyesoss quits (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 01:48:25 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 01:59:30 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 02:04:19 | × | xff0x quits (~xff0x@2405:6580:b080:900:bf97:1fa8:4185:9e6) (Ping timeout: 264 seconds) |
| 02:25:25 | → | MadeleineSydney joins (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 02:37:19 | × | m1dnight quits (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 264 seconds) |
| 02:37:40 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:39:18 | → | m1dnight joins (~christoph@d8D861035.access.telenet.be) |
| 02:47:19 | → | Guest53 joins (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) |
| 02:49:16 | <Guest53> | I have a question regarding cabal. Why does this module insist that transformers is a missing dependency, when I have the correct version installed? |
| 02:49:16 | <Guest53> | > Error: Setup: Encountered missing or private dependencies: |
| 02:49:17 | <Guest53> | > transformers >=0.5.2 && <0.6 |
| 02:49:17 | <Guest53> | * transformers |
| 02:49:18 | <Guest53> | Synopsis: Concrete functor and monad transformers |
| 02:49:18 | <Guest53> | Default available version: 0.6.1.1 |
| 02:49:19 | <Guest53> | Installed versions: 0.5.6.2, 0.6.1.0 |
| 02:49:19 | <Guest53> | License: BSD3 |
| 02:49:20 | <Guest53> | Is it an issue that I have two versions installed simultaneously that prevents cabal from seeing it? |
| 02:50:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:50:32 | <probie> | Or perhaps 0.5.6.2 is incompatible with other dependencies in the project? |
| 02:51:14 | <probie> | actually, that seems unlikely |
| 02:51:34 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:55:58 | <geekosaur> | hm. "Error: Setup:" makes me think it needs to be in setup-depends, not just build-depends? |
| 02:57:47 | × | MadeleineSydney quits (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 03:00:33 | <Guest53> | What's the difference between the two? That might be a Nix error? Here's a tail of the log: |
| 03:00:33 | <Guest53> | @nix { "action": "setPhase", "phase": "setupCompilerEnvironmentPhase" } |
| 03:00:34 | <lambdabot> | Americans admire a people who can scratch a desert and produce a garden. The Israelis have shown qualities that Americans identify with: guts, patriotism, idealism, a passion for freedom. I have |
| 03:00:34 | <lambdabot> | seen it. I know. I believe that. |
| 03:00:34 | <Guest53> | Running phase: setupCompilerEnvironmentPhase |
| 03:00:34 | <Guest53> | Build with /nix/store/vfzrsghv5w2vyccikx6xg2fh90z9aq2q-ghc-9.6.5. |
| 03:00:35 | <Guest53> | @nix { "action": "setPhase", "phase": "unpackPhase" } |
| 03:00:35 | <lambdabot> | Do you know what happened to the Romans? The last six Roman emperors were fags. . . . You know what happened to the popes? It's all right that popes were laying the nuns. |
| 03:00:35 | <Guest53> | Running phase: unpackPhase |
| 03:00:36 | <Guest53> | unpacking source archive /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 03:00:36 | <Guest53> | calling 'unpackCmd' function hook '_defaultUnpack' /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 03:00:37 | <Guest53> | source root is GPipe-Core |
| 03:00:37 | <Guest53> | calling 'postUnpack' function hook '_updateSourceDateEpochFromSourceRoot' |
| 03:00:38 | <Guest53> | @nix { "action": "setPhase", "phase": "patchPhase" } |
| 03:00:38 | <lambdabot> | The press is the enemy. |
| 03:00:38 | <Guest53> | Running phase: patchPhase |
| 03:00:39 | <Guest53> | @nix { "action": "setPhase", "phase": "compileBuildDriverPhase" } |
| 03:00:39 | <lambdabot> | Castro couldn't even go to the bathroom unless the Soviet Union put the nickel in the toilet. |
| 03:00:39 | <Guest53> | Running phase: compileBuildDriverPhase |
| 03:00:40 | <Guest53> | setupCompileFlags: -package-db=/build/tmp.lt8rbFKDkr/setup-package.conf.d -threaded |
| 03:00:40 | <Guest53> | [1 of 2] Compiling Main ( Setup.hs, /build/tmp.lt8rbFKDkr/Main.o ) |
| 03:00:41 | <Guest53> | [2 of 2] Linking Setup |
| 03:00:41 | <Guest53> | @nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } |
| 03:00:42 | <lambdabot> | When the President does it, that means that it is not illegal. |
| 03:00:52 | <geekosaur> | please don't paste into irc |
| 03:00:58 | <geekosaur> | @where paste |
| 03:00:58 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 03:01:42 | <Guest53> | sorry - https://paste.tomsmeding.com/kpp8PMjl |
| 03:01:44 | <EvanR> | :t 'a' |
| 03:01:45 | <lambdabot> | Char |
| 03:01:58 | <geekosaur> | setup-depends is used when compiling a custom Setup.hs to configure a package, build-depends is used when building the actual package |
| 03:02:19 | <haskellbridge> | <bdub> Howdy Haskeller's... hope everyone is doing well |
| 03:02:27 | <EvanR> | what in gods name is lambdabot on |
| 03:02:39 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 03:03:09 | <EvanR> | @nixon |
| 03:03:09 | <lambdabot> | The press is the enemy. |
| 03:03:09 | <haskellbridge> | <bdub> An Anonymous drug I bet |
| 03:03:13 | <geekosaur> | it's edit-(in)correcting @nix to @nixon |
| 03:03:31 | <EvanR> | that is one helluva a consequence of autocorrect |
| 03:03:40 | <geekosaur> | okay, so that log shws it's not setup-depends |
| 03:05:29 | <Guest53> | Issue is that the latest version of transformers is installed along side the ghc nixpkg |
| 03:06:08 | <Guest53> | otherwise I would just have the older version. why can't cabal see the correct one? any way to isolate it with stack or something? |
| 03:06:47 | <geekosaur> | I think nix has a habit of editing constraints to point to what versions it has, and got something wrong here |
| 03:07:05 | <geekosaur> | I just looked at GPipe on Hackage, and it has that build-depends correctly |
| 03:07:37 | <geekosaur> | so I think nix is presenting it the wrong version (it converts cabal dependencies to nix derivations) |
| 03:07:47 | <Guest53> | the package is broken on nix, hence why I'm trying to point to the repo directly and install via cabal |
| 03:08:08 | <geekosaur> | so why is nix being involved at all? |
| 03:08:25 | <Guest53> | I'm on NixOS and it's part of my system config flake |
| 03:08:42 | <Guest53> | wanted to use GPipe with implicitCAD |
| 03:09:20 | <sclv> | i suggest you don't use cabal to install it, but instead "vendor" it using a cabal.project file -- that might help bypass some of the weirdness |
| 03:10:01 | <Guest53> | ok, might have to fork GPipe and figure it out |
| 03:10:58 | <Guest53> | thanks for the help |
| 03:11:25 | <geekosaur> | (wow, GPipe needs a really old ghc) |
| 03:11:56 | <geekosaur> | base<4.15 which means 8.10.7 |
| 03:11:59 | → | aforemny_ joins (~aforemny@2001:9e8:6cc1:5500:5072:c3b4:e83c:da68) |
| 03:13:09 | <Guest53> | where do you see that? |
| 03:13:14 | × | aforemny quits (~aforemny@2001:9e8:6ce0:2100:2fa7:a1ac:c8c:437) (Ping timeout: 260 seconds) |
| 03:13:21 | <geekosaur> | I'm doing the build here to see if it works, but it needs a bunch of dependencies I never installed with 8.10.7 (at least on this machine) |
| 03:13:56 | <geekosaur> | cabal complained about vector when I used my default ghc (9.6.6) |
| 03:14:10 | <Guest53> | this is the latest GPipe: https://github.com/tobbebex/GPipe-Core/tree/master |
| 03:14:35 | <geekosaur> | apparently not released |
| 03:14:45 | <geekosaur> | hackage's latest version is from 2020 |
| 03:16:32 | <geekosaur> | okay no problem installing it here. but if I need the github version then I will have to do more work (you should probably have mentioned that up front) |
| 03:16:32 | <Guest53> | that Github repo is the one I'm trying to compile |
| 03:17:08 | <Guest53> | sorry bout that |
| 03:23:23 | <geekosaur> | what ghc version are you using? I got complaints about transformers with 9.6.6 which were actually caused by a base constrint; it won't work with later than ghc 9.4 |
| 03:23:24 | → | hammock joins (~hammock@2600:1700:19a1:3330::d) |
| 03:23:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:23:42 | × | hayk quits (~hayk@141.136.90.108) (Quit: hayk) |
| 03:24:36 | <Guest53> | 9.6.5 |
| 03:24:54 | <geekosaur> | right, that won't work |
| 03:25:05 | <Guest53> | tried compiling outside of Nix https://paste.tomsmeding.com/6GS95JRQ |
| 03:25:20 | <Guest53> | ahh ok |
| 03:25:25 | <geekosaur> | I got it to build with 9.4.8 |
| 03:25:32 | <Guest53> | so I have to sandbox is somehow |
| 03:26:01 | <geekosaur> | probably easiest with stack, pick a resolver based on a ghc 9.4 version (see stackage.org) |
| 03:26:39 | <Guest53> | Ok, I'll try that tomorrow, getting late here |
| 03:26:39 | <geekosaur> | with cabal you can use ghcup to install ghc 9.4.8 and then put 'with-compiler: ghc-9.4.8' in the cabal.project |
| 03:27:02 | <Guest53> | thanks for all your help |
| 03:28:28 | × | Guest53 quits (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) (Quit: Client closed) |
| 03:31:20 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 03:31:34 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 03:41:35 | × | m1dnight quits (~christoph@d8D861035.access.telenet.be) (Ping timeout: 252 seconds) |
| 04:03:07 | → | td_ joins (~td@i53870912.versanet.de) |
| 04:31:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 04:46:35 | → | m1dnight joins (~christoph@78-20-63-126.access.telenet.be) |
| 05:19:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 05:20:50 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:32:05 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:44:21 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 248 seconds) |
| 05:54:21 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 05:55:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 05:56:43 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 05:57:33 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:04:20 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:04:58 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:14:59 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 06:16:01 | → | euleritian joins (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 06:16:47 | × | jle` quits (~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6) (Ping timeout: 244 seconds) |
| 06:17:52 | → | jle` joins (~jle`@2603:8001:3b02:84d4:c4d5:25f2:175c:b94c) |
| 06:19:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:19:30 | → | yangby joins (~secret@122.235.84.159) |
| 06:19:49 | × | aljazmc quits (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 06:20:06 | → | aljazmc joins (~aljazmc@user/aljazmc) |
| 06:22:41 | → | michalz joins (~michalz@185.246.207.221) |
| 06:23:20 | → | acidjnk joins (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) |
| 06:25:07 | × | yangby quits (~secret@122.235.84.159) (Quit: Go out for a walk and buy a drink.) |
| 06:27:10 | → | CiaoSen joins (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 06:30:25 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:36:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:37:07 | → | billchenchina- joins (~billchenc@118.38.173.226) |
| 06:40:54 | × | ft quits (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:59:58 | × | aljazmc quits (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 07:03:39 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 07:05:42 | × | exarkun quits (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 07:07:32 | → | exarkun joins (~exarkun@user/exarkun) |
| 07:08:35 | × | euleritian quits (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:08:53 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:23:54 | → | elbear joins (~lucian@86.123.19.204) |
| 07:58:12 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:02:16 | → | misterfish joins (~misterfis@87.215.131.102) |
| 08:08:17 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 08:09:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:11:16 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 08:14:04 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 08:14:41 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 08:14:52 | → | euleritian joins (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 08:19:57 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:24:21 | × | elbear quits (~lucian@86.123.19.204) (Quit: leaving) |
| 08:36:16 | → | ZharMeny joins (~user@user/ZharMeny) |
| 08:37:39 | → | gmg joins (~user@user/gehmehgeh) |
| 08:38:32 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:38:58 | × | euleritian quits (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 08:39:46 | → | euleritian joins (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) |
| 08:40:13 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 08:41:58 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 08:44:59 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 08:45:08 | → | starburst joins (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) |
| 08:54:53 | × | euleritian quits (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 08:56:23 | → | euleritian joins (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 08:57:31 | → | alexherbo2 joins (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) |
| 08:57:46 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 08:58:39 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 09:04:55 | × | starburst quits (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) (Quit: Client closed) |
| 09:07:27 | × | sp1ff quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 09:08:30 | × | euleritian quits (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:08:47 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 09:12:59 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 09:25:27 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:26:37 | × | raym quits (~ray@user/raym) (Ping timeout: 252 seconds) |
| 09:28:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:54:11 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:55:37 | → | chele joins (~chele@user/chele) |
| 09:56:45 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 09:58:14 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 10:01:24 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:09:48 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 10:10:16 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 10:11:08 | → | euleritian joins (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 10:15:45 | × | CiaoSen quits (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds) |
| 10:26:39 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: power) |
| 10:51:30 | → | lortabac joins (~lortabac@88-125-6-227.subs.proxad.net) |
| 10:55:13 | × | euleritian quits (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:55:30 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:02:59 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 11:07:19 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 11:08:10 | → | xff0x joins (~xff0x@ai080132.d.east.v6connect.net) |
| 11:09:21 | → | euleritian joins (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 11:13:05 | × | euleritian quits (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:14:26 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:28:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 11:28:45 | → | euleritian joins (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 11:31:01 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 11:38:45 | → | CiaoSen joins (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 11:40:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:49:58 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 12:01:15 | × | jkoshy quits (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 12:01:15 | × | aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 12:01:15 | × | bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 12:01:15 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 12:01:23 | × | lucyy quits (228ee8f0ce@user/lucyy) (Read error: Connection reset by peer) |
| 12:01:23 | × | cpli quits (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 12:01:23 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Read error: Connection reset by peer) |
| 12:01:23 | × | evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (Write error: Connection reset by peer) |
| 12:01:23 | × | fluffyballoon quits (45ce440a48@2a03:6000:1812:100::e2) (Write error: Connection reset by peer) |
| 12:01:23 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Write error: Connection reset by peer) |
| 12:01:23 | × | kuruczgy quits (55b66dd3ae@2a03:6000:1812:100::127f) (Read error: Connection reset by peer) |
| 12:01:23 | × | jakzale quits (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
| 12:01:23 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 12:01:23 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Write error: Connection reset by peer) |
| 12:01:23 | × | lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (Write error: Connection reset by peer) |
| 12:01:23 | × | akspecs quits (00cc8321af@sourcehut/user/akspecs) (Read error: Connection reset by peer) |
| 12:01:23 | × | samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (Write error: Connection reset by peer) |
| 12:01:23 | × | chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 12:01:23 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Write error: Connection reset by peer) |
| 12:01:23 | × | pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (Write error: Connection reset by peer) |
| 12:01:23 | × | titibandit quits (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 12:01:23 | × | sm2n quits (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 12:01:23 | × | tok quits (da65c7b04b@user/tok) (Write error: Connection reset by peer) |
| 12:01:23 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 12:01:23 | × | eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 12:01:23 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
| 12:01:23 | × | elevenkb quits (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection) |
| 12:01:23 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Read error: Connection reset by peer) |
| 12:01:23 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Write error: Connection reset by peer) |
| 12:01:23 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer) |
| 12:01:23 | × | fgaz_ quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Write error: Connection reset by peer) |
| 12:01:23 | × | lane quits (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
| 12:01:23 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 12:01:23 | × | probie quits (cc0b34050a@user/probie) (Read error: Connection reset by peer) |
| 12:01:24 | × | fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 12:01:24 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 12:01:24 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 12:01:24 | × | ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 12:01:24 | × | sus quits (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 12:01:24 | × | filwisher quits (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 12:01:24 | × | duncan quits (c6181279e3@user/meow/duncan) (Read error: Connection reset by peer) |
| 12:01:24 | × | rselim quits (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 12:01:24 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
| 12:01:57 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 12:01:57 | → | bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 12:01:58 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 12:01:58 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 12:01:59 | → | elevenkb joins (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 12:01:59 | → | filwisher joins (2e6936c793@2a03:6000:1812:100::170) |
| 12:01:59 | → | lane joins (809450f172@2a03:6000:1812:100::1300) |
| 12:01:59 | → | lukec joins (9dfd4d094e@2a03:6000:1812:100::10e) |
| 12:01:59 | → | eso joins (a0662dfd5e@2a03:6000:1812:100::1266) |
| 12:02:00 | → | evanrelf joins (3addc196af@2a03:6000:1812:100::f0) |
| 12:02:00 | → | kuruczgy joins (55b66dd3ae@2a03:6000:1812:100::127f) |
| 12:02:00 | → | fgaz_ joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 12:02:01 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 12:02:01 | → | fluffyballoon joins (45ce440a48@2a03:6000:1812:100::e2) |
| 12:02:02 | → | jakzale joins (6291399afa@user/jakzale) |
| 12:02:03 | → | ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 12:02:03 | → | whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 12:02:04 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 12:02:04 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 12:02:05 | → | samhh joins (7569f027cf@2a03:6000:1812:100::e4) |
| 12:02:05 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 12:02:06 | → | tok joins (da65c7b04b@user/tok) |
| 12:02:06 | → | cpli joins (77fc530071@2a03:6000:1812:100::252) |
| 12:02:06 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 12:02:06 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 12:02:07 | → | titibandit joins (e33ffbab65@user/titibandit) |
| 12:02:07 | → | fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 12:02:07 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 12:02:08 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 12:02:08 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 12:02:10 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 12:02:11 | → | henrytill joins (e0180937c3@2a03:6000:1812:100::e8c) |
| 12:02:11 | → | chaitlatte0 joins (ea29c0bb16@user/chaitlatte0) |
| 12:02:12 | → | jmcantrell joins (644f1bed9a@user/jmcantrell) |
| 12:02:12 | → | lucyy joins (228ee8f0ce@user/lucyy) |
| 12:02:12 | → | probie joins (cc0b34050a@user/probie) |
| 12:02:12 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 12:02:12 | → | rselim joins (ce261f06ff@user/milesrout) |
| 12:02:13 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 12:02:13 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 12:02:13 | → | akspecs joins (00cc8321af@sourcehut/user/akspecs) |
| 12:02:13 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 12:03:45 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 12:07:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:10:54 | × | euleritian quits (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 12:11:48 | → | euleritian joins (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 12:15:13 | × | CiaoSen quits (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 12:18:43 | × | euleritian quits (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:18:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:20:51 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:21:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:22:52 | × | lortabac quits (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2) |
| 12:24:17 | × | alexherbo2 quits (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) (Remote host closed the connection) |
| 12:25:51 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 12:32:00 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:32:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:34:13 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 12:45:38 | → | dans19457 joins (~danse-nr3@user/danse-nr3) |
| 12:46:39 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 12:47:08 | → | euleritian joins (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 12:47:56 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 12:48:27 | × | migas977 quits (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 12:51:13 | × | ZharMeny quits (~user@user/ZharMeny) (Quit: !dinner) |
| 12:59:02 | → | migas977 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 13:05:18 | × | dans19457 quits (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 13:05:32 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 13:10:31 | → | Digitteknohippie joins (~user@user/digit) |
| 13:11:31 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 13:13:44 | → | CiaoSen joins (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 13:16:49 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 13:24:39 | Digitteknohippie | is now known as Digit |
| 13:27:03 | × | CiaoSen quits (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
| 13:28:47 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 13:31:11 | × | euleritian quits (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 13:31:40 | → | euleritian joins (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) |
| 13:33:05 | × | euleritian quits (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:33:30 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:36:10 | → | califax_ joins (~califax@user/califx) |
| 13:37:46 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 13:37:46 | califax_ | is now known as califax |
| 13:38:41 | → | ystael joins (~ystael@user/ystael) |
| 13:39:24 | <carbolymer> | how can I write this pattern? https://play.haskell.org/saved/fW1M6jqr |
| 13:42:49 | <mauke> | what is that supposed to do? |
| 13:43:23 | <carbolymer> | concat the two constructor parameters |
| 13:43:40 | <mauke> | what |
| 13:45:00 | <carbolymer> | what what |
| 13:45:16 | <mauke> | are you looking for a function? |
| 13:45:18 | → | oo_miguel joins (~Thunderbi@78.10.207.46) |
| 13:45:22 | <mauke> | do you know what patterns are? |
| 13:45:40 | <carbolymer> | unidirectional pattern synonym should do the trick, right? |
| 13:45:53 | <mauke> | what trick? what are you trying to do? |
| 13:46:01 | <carbolymer> | concat the arguments |
| 13:46:07 | <mauke> | that doesn't mean anything |
| 13:46:09 | <carbolymer> | s/arguments/constructor parameters |
| 13:46:21 | <mauke> | provide actual code |
| 13:47:27 | <mauke> | because "concat the arugments" looks like this: concatF :: F -> [Int]; concatF (F xs ys) = xs <> ys |
| 13:47:39 | <carbolymer> | I don't need a function |
| 13:47:51 | <mauke> | "concat the arguments" is a function |
| 13:48:05 | <carbolymer> | I want to hide that function behind a pattern synonym |
| 13:48:15 | <mauke> | yeah, that's the part that makes no sense |
| 13:48:21 | <carbolymer> | why? |
| 13:48:34 | <mauke> | if you had it, how would you use it? |
| 13:52:27 | <carbolymer> | mauke: like that: https://play.haskell.org/saved/beuVySgV |
| 13:54:47 | <mauke> | ah |
| 13:54:52 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 13:55:31 | <mauke> | you can't do that with regular patterns because the LHS has to be variables only, and all the variables have to occur exactly once on the RHS, which must be a pattern |
| 13:56:00 | <mauke> | carbolymer: https://play.haskell.org/saved/Z2X6TiIs |
| 13:56:28 | <carbolymer> | mauke: thanks! so I can't write that without viewpatterns? |
| 13:57:01 | <mauke> | not as far as I'm aware |
| 13:57:20 | <mauke> | because you're not just rearranging constructor arguments |
| 13:57:29 | <mauke> | you want to do genuine computation (hence the function) |
| 13:58:39 | <carbolymer> | thanks. I'm not very fond of ViewPatterns, but if I can't avoid it here... |
| 14:01:30 | → | cheater_ joins (~Username@user/cheater) |
| 14:03:53 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 14:03:55 | cheater_ | is now known as cheater |
| 14:09:38 | → | alexherbo2 joins (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) |
| 14:15:08 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 255 seconds) |
| 14:17:20 | → | ZharMeny joins (~user@user/ZharMeny) |
| 14:26:39 | → | Guest35 joins (~Guest35@200.23.31.251) |
| 14:26:50 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 14:31:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:39:00 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:39:55 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 14:39:55 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 14:39:55 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 14:41:26 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 14:42:27 | × | Guest35 quits (~Guest35@200.23.31.251) (Quit: Client closed) |
| 14:44:27 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 14:49:03 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 14:53:01 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 14:53:30 | → | edrx joins (~Eduardo@179-191-209-44.static.sumicity.net.br) |
| 14:54:39 | <edrx> | hi all! is there a way to ask ghci what is the type of <*>? how do I do that? |
| 14:56:33 | yin | is now known as zzz |
| 14:57:12 | <edrx> | more context: I always found Haskell super hard but I'm learning Lean now and I discovered that I was stuck in Haskell - and in Lean - because I never drew diagrams like this one, <http://anggtwu.net/IMAGES/2024-lean4-oficina-0.png>, explicitly... and I'm now trying to draw something like that for applicatives. |
| 14:57:24 | <yushyin> | :t (<*>) |
| 14:57:25 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 14:57:29 | <edrx> | thanks =) |
| 14:58:03 | <edrx> | is there a way to ask ghci its precedence too? |
| 14:59:30 | <yushyin> | :info (<*>) |
| 14:59:33 | → | spew joins (~spew@201.141.102.132) |
| 15:13:40 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:14:16 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:14:30 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 15:15:14 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 15:16:35 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 15:16:48 | → | __monty__ joins (~toonn@user/toonn) |
| 15:18:36 | → | falafel joins (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 15:20:06 | <edrx> | yushyin: thanks again! =) |
| 15:30:42 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 15:31:13 | → | rvalue joins (~rvalue@user/rvalue) |
| 15:34:13 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 15:36:01 | <EvanR> | edrx, this is kind of like proof structured using the natural deduction notation https://www.researchgate.net/profile/Christoph-Benzmueller/publication/282157752/figure/fig3/AS:613928874803215@1523383458646/Rules-of-a-classical-natural-deduction-calculus.png |
| 15:36:08 | <EvanR> | in reverse |
| 15:39:10 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 15:42:27 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 15:43:23 | × | alexherbo2 quits (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) (Remote host closed the connection) |
| 15:43:35 | × | falafel quits (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 15:55:10 | × | ZharMeny quits (~user@user/ZharMeny) (Remote host closed the connection) |
| 15:55:15 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:56:30 | → | ZharMeny joins (~user@user/ZharMeny) |
| 15:56:56 | × | driib3 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 15:57:05 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 15:58:14 | → | driib3 joins (~driib@176.57.184.141) |
| 15:58:57 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 16:14:06 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 16:15:12 | → | gmg joins (~user@user/gehmehgeh) |
| 16:19:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 16:22:41 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 16:24:47 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:25:49 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:26:07 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:29:03 | → | skyesoss joins (~Thunderbi@128.135.204.35) |
| 16:29:20 | → | skyesoss1 joins (~Thunderbi@128.135.204.35) |
| 16:30:00 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 16:33:24 | → | hayk joins (~hayk@141.136.90.108) |
| 16:33:25 | × | skyesoss quits (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 16:33:25 | skyesoss1 | is now known as skyesoss |
| 16:42:05 | → | raym joins (~ray@user/raym) |
| 16:42:20 | × | tabaqui quits (~root@87.200.123.114) (Ping timeout: 260 seconds) |
| 16:45:02 | → | smiesner joins (b0cf5acf8c@user/smiesner) |
| 16:45:35 | → | dans33115 joins (~danse-nr3@user/danse-nr3) |
| 16:47:14 | × | edrx quits (~Eduardo@179-191-209-44.static.sumicity.net.br) (Ping timeout: 255 seconds) |
| 16:47:36 | × | dans33115 quits (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 16:47:45 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 248 seconds) |
| 16:47:51 | → | dans82058 joins (~danse-nr3@user/danse-nr3) |
| 16:48:31 | → | ft joins (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 16:52:20 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 16:53:14 | → | xal joins (~xal@mx1.xal.systems) |
| 16:54:28 | × | dans82058 quits (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 16:54:34 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 16:54:42 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 16:55:19 | × | xal quits (~xal@mx1.xal.systems) (Client Quit) |
| 16:56:32 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:57:20 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:58:41 | → | img joins (~img@user/img) |
| 16:58:57 | → | xal joins (~xal@mx1.xal.systems) |
| 16:59:05 | <haskellbridge> | <Bowuigi> Indeed, it is a single term version of the right half (that is, with implicit context) of a typing derivation |
| 17:01:55 | <haskellbridge> | <sm> Inst: Thanks for that @Inst, it's great |
| 17:05:02 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:05:25 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:17:28 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 17:17:54 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 17:20:20 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 17:20:55 | → | g00gler joins (uid125351@id-125351.uxbridge.irccloud.com) |
| 17:21:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:22:01 | × | Kryder quits (~Kryder@90.201.223.82) (Read error: Connection reset by peer) |
| 17:24:38 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 17:39:51 | <tomsmeding> | is there any common class that defines an operation with this type on `f`? (forall g h a. (forall b. g b -> h b) -> f g a -> f h a) |
| 17:40:38 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:41:28 | <tomsmeding> | hoogle is not being helpful |
| 17:41:49 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 17:46:02 | <tomsmeding> | hm, and if this is fmapF, then I also need traverseF: Applicative m => (forall b. g b -> m (h b)) -> f g a -> m (f h a) |
| 17:46:24 | <tomsmeding> | one might expect this in data-fix, but no |
| 17:46:43 | <danse-nr3> | it's a bit above my head, afraid i can't help |
| 17:48:48 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/mmorph-1.2.0/docs/Control-Monad-Morph.html#g:1 |
| 17:49:25 | <tomsmeding> | mauke: oh so close! |
| 17:49:42 | <tomsmeding> | thing is, I have no need for these things to be monads |
| 17:50:06 | <int-e> | obscure package confirming my instinct that it should be called Functor1: https://hackage.haskell.org/package/unfix-binders-0.1.0/docs/Data-Binder-Unfix.html#t:Functor1 |
| 17:50:07 | <haskellbridge> | <mauke> Closest thing I've got |
| 17:50:38 | <tomsmeding> | int-e: nice! |
| 17:50:39 | <int-e> | though that has Functor constraints |
| 17:51:13 | <tomsmeding> | I could live with those |
| 17:51:37 | <tomsmeding> | but that package is obscure and old enough that I'll just redefine |
| 17:51:54 | <tomsmeding> | (this is a prototype anyway, wanted to know if I'd missed something obvious) |
| 17:52:29 | <int-e> | yeah I wouldn't use that package either :) |
| 17:52:42 | <tomsmeding> | (I did rename from FunctorF to Functor1, thanks) |
| 17:52:57 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:58:16 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/ffunctor-1.2.1/docs/Data-FFunctor.html |
| 18:04:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:25:02 | <tomsmeding> | mauke: relevant, but not quite the same; more evidence that Functor1 is apparently better than FunctorF or FFunctor, because 'ffunctor' calls something else an FFunctor |
| 18:25:45 | <tomsmeding> | hm, I guess there is some relation between the classes |
| 18:26:08 | <tomsmeding> | a Functor1 is an FFunctor, when suitably newtype-wrapped |
| 18:29:48 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 18:43:30 | × | hayk quits (~hayk@141.136.90.108) (Quit: hayk) |
| 18:44:45 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 18:53:31 | × | CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 18:54:13 | <jle`> | tomsmeding: i have one in a library too, i call it HFunctor https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor.html |
| 18:54:41 | <tomsmeding> | nice |
| 18:54:56 | <tomsmeding> | yes, I found out that I actually must not have those additional Functor constraints, so your HFunctor would fit perfectly |
| 18:55:05 | <jle`> | but i don't think i have the Applicative version |
| 18:55:20 | <jle`> | i remember seeing one in related to vinyl |
| 18:55:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:55:30 | <jle`> | ah wait no i do have it |
| 18:55:32 | <jle`> | https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor-HTraversable.html |
| 18:55:41 | <tomsmeding> | right, that's precisely it |
| 18:55:43 | → | euleritian joins (~euleritia@77.22.252.56) |
| 18:55:57 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 19:09:33 | <jle`> | hope it's useful :) the library itself pulls in quite a bit to define all the instances i could find that are somewhat commonly used |
| 19:09:59 | <tomsmeding> | right, I saw that it has a fairly hefty dependency list, and I'd like to keep this thing light |
| 19:10:13 | <tomsmeding> | the eternal problem of packages defining a useful class |
| 19:18:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:29:10 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 265 seconds) |
| 19:29:17 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 19:29:29 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:29:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:30:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:35:33 | → | urdh joins (~urdh@user/urdh) |
| 19:42:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 19:46:16 | → | falafel joins (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 19:50:29 | → | hayk joins (~hayk@141.136.90.108) |
| 19:50:53 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 19:57:46 | iteratee_ | is now known as iteratee |
| 20:04:47 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:10:28 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 20:12:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 20:14:06 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 20:20:30 | <Inst> | ??? |
| 20:20:40 | <Inst> | @sm |
| 20:20:55 | <Inst> | regarding sumi-news? |
| 20:22:23 | <Inst> | thank this guy instead |
| 20:22:24 | <Inst> | https://alexmingoia.com |
| 20:26:21 | × | falafel quits (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 20:28:58 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:32:31 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:33:54 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 20:39:58 | × | AlexZenon quits (~alzenon@94.233.241.125) (Ping timeout: 245 seconds) |
| 20:44:34 | → | AlexZenon joins (~alzenon@94.233.241.125) |
| 21:11:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 21:15:05 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 21:15:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:20:24 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 21:21:05 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 21:28:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:32:09 | → | Square joins (~Square@user/square) |
| 21:34:20 | → | pavonia joins (~user@user/siracusa) |
| 21:41:42 | × | billchenchina- quits (~billchenc@118.38.173.226) (Quit: Leaving) |
| 21:43:29 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:59:42 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:02:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:09:09 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 22:14:03 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:14:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:22:01 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 22:33:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:48:26 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 22:50:12 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 22:55:55 | × | acidjnk quits (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 23:09:39 | <jackdk> | tomsmeding: You have asked for `forall g h a. (forall b. g b -> h b) -> f g a -> f h a`. Why do you need the rank-2 type if you're mentioning `a` in your type signatures? |
| 23:11:16 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:13:39 | <jackdk> | tomsmeding: I usually find https://hackage.haskell.org/package/barbies-2.1.1.0/docs/Data-Functor-Barbie.html#t:FunctorB is the most practical of these libraries, because there's been some good work that's gone into derivability and it has most of the classes I want. Unfortunately the name is a bit cringe. |
| 23:14:05 | <jackdk> | (I hold out hope that we'll see a new version of package `distributive` with HKD Representable, but last time I asked edwardk about that he said someone (Aaron?) had found pretty fundamental laziness issues with it. Which is a shame.) |
| 23:18:45 | × | skyesoss quits (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 23:22:31 | × | hayk quits (~hayk@141.136.90.108) (Quit: hayk) |
| 23:26:41 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 23:35:04 | × | ZharMeny quits (~user@user/ZharMeny) (Quit: ...) |
| 23:35:07 | × | hammock quits (~hammock@2600:1700:19a1:3330::d) (Quit: WeeChat 4.3.5) |
| 23:35:29 | × | tcard quits (~tcard@p4324234-ipxg22901hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 23:35:57 | → | tcard joins (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 23:38:45 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 23:40:39 | → | yangby joins (~secret@122.235.84.159) |
| 23:41:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:43:17 | <yangby> | && make test |
| 23:43:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:43:45 | <yangby> | `q1jj`q1jjkkkkkkk kkkkk kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkjjkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkk jjjjj jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkkkkko |
| 23:43:59 | <geekosaur> | gesundheit |
| 23:44:04 | <yangby> | //kkkkkkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjk |
| 23:44:06 | <yangby> | j |
| 23:44:08 | <geekosaur> | yangby, ^^ |
| 23:44:23 | <yangby> | hkkkkkkkkkkkkkkkkk |
| 23:44:32 | <yangby> | ddkkkkkkddjjjjddw |
| 23:44:35 | <yangby> | `q2s |
| 23:44:42 | ChanServ | sets mode +o geekosaur |
| 23:44:52 | <yangby> | cp constxd op_4 Sciencentistguy Ekho Natch codedmart demchse |
| 23:44:54 | <yangby> | y |
| 23:44:58 | <yangby> | Rjjjjjjjjj |
| 23:44:59 | <geekosaur> | mode #haskell +q yangby |
| 23:45:03 | geekosaur | sets mode +q yangby!*@* |
| 23:45:12 | <geekosaur> | almost as bad as they are 😕 |
| 23:45:45 | geekosaur | sets mode -o geekosaur |
| 23:45:57 | <sprout> | irc life |
| 23:47:16 | → | infinity0 joins (~infinity0@pwned.gg) |
| 23:50:26 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 23:55:26 | ChanServ | sets mode +o litharge |
| 23:55:26 | litharge | sets mode -qo yangby!*@* litharge |
| 23:56:28 | <yangby> | jkkkkkkkkkkkkkkkkkjjkkojjjjjjjjjjjjjjjkkjjjjkkkkddddddddddddddddddddddddkkkllllllllllll*lllllllllxxxxkkkkkkjlxxxxjjjjjllllllllxxxxcuxxkkkkkkkkhhhhhhhhhhh*xxxxkkkkknxxxxxkddkkkkkkkkkkkkkkkkkkkkkkkkjjjj kk kk Go*/kkkkkkkkkkkkkkkkkkkkkkjo/* TODO yangbyw |
| 23:57:05 | <yangby> | connrs: |
| 23:57:09 | → | skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 23:57:10 | <yangby> | `hjkkkkkkkkkkkkkk |
| 23:57:20 | <yangby> | xxxxxxiUpdatexxxxxxiUpdatew |
| 23:57:20 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 23:57:42 | <yangby> | ndwiUpdateErrordwiUpdateErroriSmtToolErrorhhhhhhhhhhhhhhhhhhdwiSmtToolErrorgn/UpdateError |
| 23:57:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:57:50 | → | hayk joins (~hayk@141.136.90.108) |
| 23:57:50 | × | xff0x quits (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 23:57:54 | <yangby> | llllllllllli as SmtToolErrordwiSmtToolErrorw |
| 23:57:59 | <yangby> | jjjjjjjjjjjjjjjjjj |
| 23:58:10 | <yangby> | :%s/VerifyError/UpdateError/g |
| 23:58:12 | <yangby> | :w |
| 23:59:13 | <yangby> | `q2 |
| 23:59:17 | <yangby> | `q1o`q1o0w |
All times are in UTC on 2024-08-01.