Logs on 2023-09-23 (liberachat/#haskell)
| 00:00:21 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 00:01:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 00:02:40 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:04:45 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 00:08:02 | → | mysl_ joins (~mysl@user/mysl) |
| 00:08:27 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 260 seconds) |
| 00:09:52 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 00:11:51 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:15:16 | × | Tesfe2321 quits (~School@2001:1970:5199:fa00::a4bf) (Remote host closed the connection) |
| 00:15:19 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 00:15:37 | → | Tesfe2321 joins (~School@2001:1970:5199:fa00::a4bf) |
| 00:16:51 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 00:17:00 | × | bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 00:18:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 00:18:51 | × | Tesfe2321 quits (~School@2001:1970:5199:fa00::a4bf) (Remote host closed the connection) |
| 00:19:11 | → | Tesfe2321 joins (~School@2001:1970:5199:fa00::a4bf) |
| 00:19:20 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:20:17 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 00:24:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 00:26:32 | × | ulysses4ever quits (~artem@96.79.69.121) (Ping timeout: 260 seconds) |
| 00:35:30 | → | ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 00:38:04 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 00:39:05 | → | maulinux joins (~maulinux@103.144.170.135) |
| 00:39:26 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:40:01 | × | maulinux quits (~maulinux@103.144.170.135) (Client Quit) |
| 00:41:02 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 255 seconds) |
| 00:41:07 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:41:08 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:41:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:41:31 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 00:44:23 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Quit: Quit) |
| 00:54:55 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 00:55:40 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::848d) (Quit: Going elsewhere) |
| 00:59:12 | × | hyiltiz2 quits (~hyiltiz@2620:149:13d1:100::138) (Ping timeout: 246 seconds) |
| 01:01:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 01:02:24 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:12:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 01:13:34 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 01:22:19 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 01:27:49 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 01:28:39 | × | jargon quits (~jargon@184.101.67.95) (Remote host closed the connection) |
| 01:30:07 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 01:31:27 | → | hyiltiz joins (~hyiltiz@2620:149:13d1:100::138) |
| 01:36:05 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::138) (Ping timeout: 240 seconds) |
| 01:44:00 | × | otto_s quits (~user@p4ff27dc1.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 01:45:57 | → | otto_s joins (~user@p4ff27c82.dip0.t-ipconnect.de) |
| 01:52:38 | × | eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Remote host closed the connection) |
| 01:52:53 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) |
| 01:55:07 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 01:55:23 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:03:15 | × | edr quits (~edr@user/edr) (Quit: Leaving) |
| 02:04:15 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 02:09:35 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 02:15:18 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 02:16:09 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) () |
| 02:16:23 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 02:16:50 | → | td_ joins (~td@i5387093D.versanet.de) |
| 02:21:49 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 02:25:46 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 02:25:48 | → | tom_ joins (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
| 02:26:17 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 02:26:46 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:27:41 | → | img joins (~img@user/img) |
| 02:27:47 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:28:28 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:29:37 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:31:32 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 02:32:54 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 02:49:40 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 02:50:30 | → | califax joins (~califax@user/califx) |
| 02:50:53 | → | Inst joins (~Inst@120.244.192.250) |
| 02:54:34 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 03:14:56 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 03:16:56 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 03:27:50 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 03:32:01 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 03:32:37 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 03:35:35 | → | abrantesasf joins (~abrantesa@179.217.48.72) |
| 03:43:00 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 03:46:28 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 03:47:04 | × | seeg123456 quits (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 03:49:05 | → | seeg123456 joins (~seeg12345@64.176.64.83) |
| 03:49:53 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 03:50:15 | → | qqq joins (~qqq@92.43.167.61) |
| 03:50:31 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
| 03:54:43 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 03:55:04 | × | aforemny quits (~aforemny@2001:9e8:6cd8:8a00:99a8:9435:f04:65fe) (Ping timeout: 245 seconds) |
| 03:55:34 | → | aforemny joins (~aforemny@2001:9e8:6cff:bd00:8bde:c93:4a0a:81b5) |
| 03:58:26 | → | bilegeek joins (~bilegeek@2600:1008:b01c:9012:fb9d:4986:3d5a:32c8) |
| 03:59:10 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 04:00:07 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 04:12:56 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 04:14:59 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 04:16:58 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 04:19:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 04:20:43 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 04:20:48 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 04:22:37 | → | Inst joins (~Inst@120.244.192.250) |
| 04:25:56 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 04:34:30 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 04:37:15 | × | Inst quits (~Inst@120.244.192.250) (Quit: Leaving) |
| 04:37:45 | → | Inst joins (~Inst@120.244.192.250) |
| 04:38:18 | × | abrantesasf quits (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 04:40:59 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 04:41:34 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 04:41:41 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 04:49:27 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 04:53:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 04:56:24 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:07:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:08:44 | → | puke joins (~puke@user/puke) |
| 05:10:12 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 05:11:43 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 05:11:46 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 05:14:09 | × | phma quits (~phma@2001:5b0:212a:dfd8:7461:70e8:4780:de84) (Read error: Connection reset by peer) |
| 05:15:08 | → | phma joins (phma@2001:5b0:210d:9478:bc47:d0f:e755:6447) |
| 05:21:08 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) |
| 05:22:02 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
| 05:27:20 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 05:37:15 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 05:47:25 | → | monochrom joins (trebla@216.138.220.146) |
| 05:57:31 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 06:01:48 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 06:04:55 | → | Inst joins (~Inst@120.244.192.250) |
| 06:06:35 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 06:11:24 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 06:15:52 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 06:17:48 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 06:19:35 | × | Tesfe2321 quits (~School@2001:1970:5199:fa00::a4bf) (Ping timeout: 240 seconds) |
| 06:22:00 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:23:56 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 06:24:38 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:29:30 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 06:32:09 | × | Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 06:32:17 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 06:34:53 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 06:36:47 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 06:38:22 | → | Inst joins (~Inst@120.244.192.250) |
| 06:39:08 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:43:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:47:57 | → | hiyori joins (~hiyori@user/hiyori) |
| 06:55:21 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 06:57:57 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 07:04:12 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 07:06:36 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:10:51 | × | Inst quits (~Inst@120.244.192.250) (Remote host closed the connection) |
| 07:11:16 | → | Inst joins (~Inst@120.244.192.250) |
| 07:15:19 | × | drdo3 quits (~drdo@2a0b:b800:2:31e6::1) (Ping timeout: 264 seconds) |
| 07:15:32 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 07:15:52 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Read error: Connection reset by peer) |
| 07:16:30 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 07:17:25 | → | monochrom joins (trebla@216.138.220.146) |
| 07:17:37 | × | monochrom quits (trebla@216.138.220.146) (Client Quit) |
| 07:19:41 | → | son0p joins (~ff@181.136.122.143) |
| 07:35:38 | × | caubert quits (~caubert@user/caubert) (Quit: WeeChat 4.0.1) |
| 07:35:48 | → | caubert joins (~caubert@user/caubert) |
| 07:38:29 | → | monochrom joins (trebla@216.138.220.146) |
| 07:42:45 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:43:38 | <Inst> | Just curious, but, umm, is eff dead? |
| 07:44:04 | <Inst> | The GHC changes are in, but I think the last commit was around a year ago? |
| 07:48:45 | → | michalz joins (~michalz@185.246.207.215) |
| 07:52:36 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 07:55:08 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 07:56:05 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 07:57:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Remote host closed the connection) |
| 08:01:27 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 08:02:47 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 08:02:48 | <int-e> | now what is eff |
| 08:03:55 | <int-e> | https://github.com/hasura/eff I guess |
| 08:04:36 | → | Inst joins (~Inst@120.244.192.250) |
| 08:18:35 | → | jackneill__ joins (~Jackneill@20014C4E1E0E960013CBACC2D224F9CC.dsl.pool.telekom.hu) |
| 08:20:01 | <[exa]> | Inst: looks like 3 years to me |
| 08:20:37 | <Inst> | Thanks, just checking, not going to make the derived point, oh hell, why not |
| 08:20:44 | <Inst> | Actually, not going to make it. |
| 08:21:19 | <Inst> | That said, I hear the flatparse author (Andras Kovacs) is considering using the delimited continuations primops to increase the flexibility of his library. |
| 08:21:39 | <[exa]> | people have considerations™ |
| 08:21:59 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:23:29 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 08:25:55 | → | pony joins (sid524992@smol/hors) |
| 08:29:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:30:49 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 08:31:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) |
| 08:33:29 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 08:38:52 | × | bilegeek quits (~bilegeek@2600:1008:b01c:9012:fb9d:4986:3d5a:32c8) (Quit: Leaving) |
| 08:39:27 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:41:29 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 08:41:45 | hiyori | is now known as dweiwin |
| 08:44:17 | → | bontaq joins (~user@ool-45707d2c.dyn.optonline.net) |
| 08:44:55 | dweiwin | is now known as hiyori |
| 08:46:32 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 08:48:27 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:50:07 | → | mfg joins (~user@2a02:908:d13:e3e0:6a54:5aff:fe66:a805) |
| 08:56:43 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 09:00:49 | → | gmg joins (~user@user/gehmehgeh) |
| 09:01:02 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 09:01:56 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:02:00 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 09:06:09 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 09:07:25 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:08:04 | → | mmhat joins (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 09:09:31 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:09:44 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:16:12 | → | Techcable joins (~Techcable@user/Techcable) |
| 09:20:45 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 09:20:47 | → | danza joins (~francesco@151.47.91.99) |
| 09:22:39 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
| 09:22:53 | × | mmhat quits (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 09:27:02 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:27:53 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 09:29:17 | → | danza_ joins (~francesco@na-19-87-144.service.infuturo.it) |
| 09:29:51 | × | danza quits (~francesco@151.47.91.99) (Read error: Connection reset by peer) |
| 09:30:05 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 09:30:35 | → | mmhat joins (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 09:31:17 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 09:32:44 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:45:21 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:45:43 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:52:18 | mysl_ | is now known as mysl |
| 09:52:35 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 09:52:42 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 09:55:17 | × | mmhat quits (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 09:57:32 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 09:57:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:58:07 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 10:05:00 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 10:05:07 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 10:06:05 | → | cpressey joins (~cpressey@host-80-47-0-72.as13285.net) |
| 10:07:12 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 10:09:49 | × | Inst quits (~Inst@120.244.192.250) (Remote host closed the connection) |
| 10:10:13 | → | Inst joins (~Inst@120.244.192.250) |
| 10:13:17 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 10:17:29 | × | vglfr quits (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 10:17:40 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 10:18:28 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 10:20:34 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 10:21:17 | → | vglfr joins (~vglfr@188.239.201.89) |
| 10:22:23 | <Inst> | do you know if effectful will automatically handle IO exceptions via the filesystem effect? |
| 10:25:58 | × | cpressey quits (~cpressey@host-80-47-0-72.as13285.net) (Ping timeout: 245 seconds) |
| 10:26:42 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 10:26:54 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:31:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 10:31:31 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:36:18 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 10:48:18 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 10:52:56 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 10:54:07 | → | razetime joins (razetime@sd202148.hung.ab.nthu.edu.tw) |
| 10:55:32 | × | razetime quits (razetime@sd202148.hung.ab.nthu.edu.tw) (Client Quit) |
| 10:55:41 | → | razetime joins (razetime@sd202148.hung.ab.nthu.edu.tw) |
| 10:55:49 | × | razetime quits (razetime@sd202148.hung.ab.nthu.edu.tw) (Client Quit) |
| 11:03:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 11:11:08 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 11:12:38 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 11:13:36 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:15:11 | → | cpressey joins (~cpressey@host-80-47-0-72.as13285.net) |
| 11:15:33 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 11:15:56 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:16:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:20:52 | <danza_> | nope, sorry Inst |
| 11:22:07 | <Inst> | Someone tried to claim that Haskell's exception handling was exceptional to a Rustacaean who was asking around, who was just plain disappointed that readFile wasn't IO (Either a b) |
| 11:22:21 | <Inst> | when the Haskell exceptions system is powerful enough to do so |
| 11:22:46 | <Inst> | apparently in Rust, you just get a Result back, with the error code embedded in the Left (Error) type. |
| 11:23:59 | <Inst> | Ehhh, I sort of wish HF would back a NeoPrelude and be done with it |
| 11:24:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:25:48 | <Lears> | Making it IO of Either would force you to immediately deal with every exception every time---that's not an improvement. As is, you can instead choose to catch and handle exceptions in as fine or coarse a manner as is appropriate to the circumstances. |
| 11:26:43 | <Rembane> | Maybe adding a readFileEither function would be a reasonably useful middle road? |
| 11:26:46 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 11:26:58 | <Lears> | Though I do think an effort to expose the possible exceptions of an IO action in the type could bear dividends. |
| 11:27:07 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:27:20 | <mauke> | I think it would be a big improvement |
| 11:27:58 | <mauke> | also, open() failing is not an exceptional situation |
| 11:28:12 | <danza_> | i agree with Inst, and if that applies to IO functions, imagine non-monadic functions. We still have errorful `head` and friends as defaults. But i argued in favour of more type safety here in the past and people did not seem to care enough, found that is just an annoyance |
| 11:30:26 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 11:31:17 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 11:32:51 | → | kmein joins (~weechat@user/kmein) |
| 11:36:12 | <danza_> | as i wrote before, it would also help with learning, as people would interact earlier with more maybes or eithers that are easy monads |
| 11:37:27 | <Inst> | I think the more important thing is for an official Prelude2 or AltPrelude attempt, because when Rustacaeans come in, they just see the weight of years. |
| 11:38:00 | <Inst> | It's not good when we have to try to dissemble around the fact that Prelude is footgunny. |
| 11:38:02 | <Rembane> | RustPrelude? |
| 11:38:39 | <Inst> | But w/e, end of the day, I'd bet HF doesn't have the resources to contrive and support such an endeavour. |
| 11:39:18 | <Rembane> | Inst: Ask them! |
| 11:39:54 | <danza_> | why would the foundation support something without community consensus? And the consensus, at least in this channel, has been that people like the status quo |
| 11:40:13 | <Lears> | It's not that hard to write an alternative prelude. The real stopper is that there are an endless number of bikesheds within, and few obviously correct changes that can't just go through the CLC. |
| 11:40:40 | <Lears> | So you'll just get three new alternatives with different opinions and tradeoffs. |
| 11:40:46 | <Inst> | I mean the reason I think they wouldn't have the resources for AltPrelude |
| 11:40:54 | <Inst> | would be because Haskell community would have to support two preludes at the same time |
| 11:41:26 | <Inst> | keep the old prelude as is, make the educational community happy, or make sure you have proto-backwards compatibility, work on alt prelude for future projects |
| 11:43:33 | <danza_> | not sure why giving up on small changes in the "old" prelude. Trying to map the reasons about those changes would probably show that there is not enough momentum to write alternative ones |
| 11:44:06 | <danza_> | and i mean _more_ alternative ones |
| 11:46:49 | <Inst> | so post to discourse? I'm too busy to write readFileEither |
| 11:46:55 | <Inst> | readFileEither' |
| 11:46:57 | <Inst> | hahahaha |
| 11:48:44 | <danza_> | my haskell "community" is this channel here at the moment. Probably the haskell cafe would be more representative, but after the opinions i gathered here i assume there is no will to change. By the way i am not proposing adding headMaybe or readFileEither, but changing the defaults |
| 11:48:54 | <int-e> | if you have a strict readFile you can wrap it in `try`? |
| 12:02:48 | <int-e> | Heck, you don't even have to like the Prelude to come out in favor of not changing it... all you have to do is look at how much existing code that would break. |
| 12:03:41 | <int-e> | And how easy it is to have your own custom prelude. Yes, it's a silly-looking import (or a language extension) but you'll often have dozens of imports anyway. |
| 12:04:28 | → | mmhat joins (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 12:04:40 | × | mmhat quits (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 12:05:09 | <danza_> | yeah, development seems a serious thing until people give up doing it properly. If one does not give up, problems and solution arise. I am not interested in alternatives in this conversations, just why the heck would one live with a partial head while the alternative seems way better |
| 12:05:34 | <danza_> | *solutions |
| 12:06:17 | <danza_> | we can laugh about python releasing incompatible versions, but not if the price for looking cool is becoming a fossil |
| 12:06:55 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 12:08:12 | <probie> | danza_: Is the alternative actually much better? |
| 12:08:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:09:42 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 12:09:56 | <danza_> | according to this channel, it does not seem so. In my personal experience, i wish i had met an `[a] -> Maybe a` when i started using `head` |
| 12:10:16 | <probie> | in practice you might just be replacing `IO a` with `IO (Either SomeException a)`, which doesn't actually seem much better and has a concrete performance hit |
| 12:10:57 | <hpc> | something like java's checked exceptions maybe? |
| 12:11:16 | <hpc> | although then catching exceptions needs to be easier for new people |
| 12:12:23 | <haskellbridge> | <tewuzij> Why exceptions though? |
| 12:13:28 | <danza_> | it helps avoiding the discussion about people finding it annoying to return Either or Maybe |
| 12:15:55 | × | todi quits (~todi@pd957150f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 12:16:47 | <probie> | They don't compose nicely. If I have an `Either e1 (a -> b -> c)`, an `Either e2 a` and an `Either e3 b` I end up with an `Either (Either (Either e1 e2) e3) c` |
| 12:18:17 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 12:22:26 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:24:13 | × | privacy quits (~privacy@47.219.84.6) (Remote host closed the connection) |
| 12:25:51 | <Inst> | I'm in favor of making considered, balanced additions to the existing prelude. readFileEither' is fine by me, but I wouldn't push for it |
| 12:26:21 | <Inst> | as far as changing the Prelude goes, I'd rather just keep it as a legacy option, then have an official new Prelude sponsored by Haskell Foundation |
| 12:26:41 | <danza_> | sounds like a plan for a transition |
| 12:26:55 | <Lears> | % :t try . readFile' |
| 12:26:55 | <yahb2> | try . readFile' :: Exception e => FilePath -> IO (Either e String) |
| 12:27:05 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 12:27:14 | <Lears> | As int-e pointed out, you /can/ just use try. |
| 12:28:54 | <Inst> | yeah, it is, but is there the will and resources to do so? |
| 12:29:19 | <Inst> | i don't mess around a lot with exceptions, sadly enough |
| 12:29:33 | <Inst> | the one time I tried messing around with exceptions, I tried to cast every possible IO exception into my own type |
| 12:29:55 | <Inst> | while educational (except that it was incomplete), it was also irritating |
| 12:29:55 | <danza_> | yeah i can also use headMay from classy prelude. A difficult development path + small improvements = no evolution |
| 12:30:10 | <int-e> | :t listToMaybe |
| 12:30:11 | <lambdabot> | [a] -> Maybe a |
| 12:30:46 | <Inst> | the name's a problem, no? |
| 12:31:02 | <danza_> | oh that was already discussed in the other conversation ... not sure i want to summarise the points again, people clearly do not care enough int-e |
| 12:31:47 | <int-e> | I find the partial head useful anyway. |
| 12:32:04 | <Inst> | and imo, the priorities i'd expect from Haskell Foundation would be more focusing on the tooling and ecosystem |
| 12:32:09 | → | todi joins (~todi@pd957150f.dip0.t-ipconnect.de) |
| 12:32:10 | <danza_> | it definitely is. I am arguing it should not be the default int-e |
| 12:32:15 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 12:32:31 | <Inst> | curious, which is more footgunny, head or !! 0? |
| 12:32:40 | <int-e> | If I pattern match on the result of listToMaybe (by whatever name) I can just pattern match on the original list instead |
| 12:32:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 12:32:58 | <danza_> | there is a long list Inst, `head` is just a strawman |
| 12:33:15 | <int-e> | So the only reason to use listToMaybe is when I specifically want to process a Maybe, and then that name is actually *good*. |
| 12:33:17 | <hpc> | Inst: the safest way is to unsafeCoerce and match on the Maybe |
| 12:33:32 | <haskellbridge> | <tewuzij> What is Prelude in Haskell? |
| 12:33:47 | <jackdk> | I prefer `base:Data.List.NonEmpty.NonEmpty` |
| 12:34:00 | <danza_> | there are many reasons to wrap a pattern match in a function to turn it in a very common type int-e |
| 12:34:10 | <hpc> | tewuzij: Prelude is the automatically imported module |
| 12:34:13 | <Inst> | Prelude is the part of standard libraries that come loaded with every Haskell file, unless you import Prelude (), or use {-# LANGUAGE NoExplicitPrelude #-} |
| 12:34:17 | <hpc> | it's what has all the stuff you uuse all the time |
| 12:34:22 | <Inst> | erm, {-# LANGUAGE NoImplicitPrelude #-} |
| 12:34:54 | <Inst> | https://hackage.haskell.org/package/base-4.18.1.0/docs/Prelude.html |
| 12:35:11 | <danza_> | and most of all a partial function is a footgun most of the times |
| 12:35:16 | <Inst> | on GHCI, try using :set -XNoImplicitPrelude, then type :r to reload your file |
| 12:36:29 | <Inst> | This is pretty cool @hpc |
| 12:36:41 | <Inst> | even though you're probalby being sarcastic by suggesting unsafeCoerce |
| 12:37:03 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 12:37:39 | <Inst> | btw, while people are here, am I making any progress in understanding Cabal? I just skimmed the entire library yesterday, and was supposed to do so again today |
| 12:37:59 | <hpc> | Inst: yeah, unsafeCoerce tricks are always entertaining |
| 12:40:41 | → | mrmr15 joins (~mrmr@user/mrmr) |
| 12:41:03 | <Inst> | got sent this video |
| 12:41:05 | <Inst> | trying this now |
| 12:41:06 | <Inst> | https://www.youtube.com/watch?v=XfTinQPjDQw |
| 12:41:36 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 12:42:04 | <Inst> | i'm sort of thinking of ADHD-ing out temporarily, I already made up my mind to try to learn optparse-applicative instead |
| 12:44:25 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 12:45:52 | <Inst> | but i keep on someone telling me that going over warp, you could optimize it further |
| 12:46:33 | → | Guest67 joins (~Guest67@70.19.76.200) |
| 12:46:39 | <Inst> | and it needs new primitives |
| 12:47:32 | <Inst> | if you go by the line "mildly optimized haskell can reach 50% rust" (currently 35-40%), we might be able to beat Go again in TechEmpower benchmarks |
| 12:52:08 | <Guest67> | I don't understand Haskell implementations of backtrack recursion |
| 12:52:36 | <Guest67> | to find permutations |
| 12:53:16 | <Guest67> | change :: Integer -> [Integer] -> [[Integer]] |
| 12:53:17 | <Guest67> | change _ [] = [] |
| 12:53:18 | <Guest67> | change 0 _ = [[]] |
| 12:53:18 | <Guest67> | change t (c:cs) = case t < 0 of |
| 12:53:18 | <Guest67> | True -> [] |
| 12:53:19 | <Guest67> | False -> change t cs <> ((c:) <$> change (t-c) (c:cs)) |
| 12:53:33 | <Guest67> | I don't know if there is an easier way to get a mental model of this, I tried tracing |
| 12:54:04 | × | danza_ quits (~francesco@na-19-87-144.service.infuturo.it) (Ping timeout: 248 seconds) |
| 12:57:10 | <int-e> | well the first two cases are in the wrong order... you don't need any coins to make 0 change |
| 12:57:30 | <int-e> | so change 0 [] should return a solution, that is [[]]. |
| 12:59:55 | <Guest67> | ok well the the order of those pattern matches don't make a difference with any tests I've made |
| 13:00:30 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 13:00:32 | <Guest67> | It's more the recursion here that I don't have a clear comprehension of |
| 13:02:33 | <int-e> | well the last case here is... if t >= 0 and the first coin is c, then either we make change with the remaining coins... that's the `change t cs` part, or we use the coin `c` once, and make the remaining change possibly reusing that coin (so we keep it in the list when doing `change (t-c) (c:cs)`. the (c:) <$> takes the results of that call and preprens c to each result. |
| 13:05:00 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 13:07:15 | <Guest67> | maybe if I could see the process with a simple example, I'm not sure how to go about it, hence why I was trying to use trace to actually see the values |
| 13:08:00 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 13:08:08 | ← | cpressey parts (~cpressey@host-80-47-0-72.as13285.net) () |
| 13:08:48 | <int-e> | hmm |
| 13:09:09 | <int-e> | do you want to understand why that code works or how it is executed? |
| 13:09:48 | <Guest67> | both, If I saw how it was executed I'd understand how it works |
| 13:09:54 | <int-e> | The latter isn't all that helpful for the former; for the former you can mostly treat the recursive calls as black boxes that solve the problem according to its specification. |
| 13:13:37 | <int-e> | To compute `change 3 [1,2]`, compute `change 3 [2]` and `change 2 [1,2]`. Prepend 1 to each element of the second result, and then append the results. |
| 13:14:33 | <int-e> | Do the same thing for `change 3 [2]` and `change 2 [1,2]`. You'll get a tree of recursive calls this way, until you eventually arrive at the base cases with no recursive calls. |
| 13:15:53 | <int-e> | And yeah I guess the order of the first cases really only matters if you ask for `change 0 []`. The story would be different if you couldn't use coins multiple times. |
| 13:20:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:21:00 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 13:21:22 | <jackdk> | Guest67: You may have some luck rearranging the code so that https://pbv.github.io/haskelite/index.html will accept it, and exploring its execution trace. I found it pretty noisy but it might help you; pastebin to follow |
| 13:21:47 | <jackdk> | Guest67: This equivalent function is accepted by Haskelite https://www.irccloud.com/pastebin/sTeopqfi/Change.hs |
| 13:25:16 | <Guest67> | Thank you, I may just have to take the time to write this out until I understand what's going on, Haskelite is helpful |
| 13:25:42 | <jackdk> | Guest67: I have done exactly that in order to understand things. I hope it helps you as it did me. |
| 13:25:46 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 13:25:48 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:30:02 | <Guest67> | That function and this lazy sieve of Eratosthenes currently boggle my mind |
| 13:30:03 | <Guest67> | primes = 2 : filter (\x -> all (\y -> mod x y /= 0) $ takeWhile (\y -> x >= y * y) primes) [3,5..] |
| 13:30:43 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 13:31:15 | <Guest67> | I'll trace it out though and see if I can make sense of it, thanks again |
| 13:31:16 | <Inst> | is that lazy sieve or trial division? |
| 13:31:49 | <Inst> | just curious, where did you get it from, and from which context? |
| 13:32:01 | <Inst> | **and it what context? |
| 13:32:04 | <Guest67> | might be trial division, I had a sieve of eratosthenes that I was working on for an Exercism exercise and it was too slow |
| 13:32:26 | <Guest67> | ChatGPT showed me this more efficient method |
| 13:32:41 | <Inst> | https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf |
| 13:33:11 | <Guest67> | nth :: Int -> Maybe Integer |
| 13:33:12 | <Guest67> | nth 0 = Nothing |
| 13:33:12 | <Guest67> | nth n = Just . head . reverse . take n $ 2 : nth' [3,5..] |
| 13:33:13 | <Guest67> | nth' (n:ns) = n : filter (\x -> mod x n /= 0) (nth' ns) |
| 13:33:20 | <Guest67> | that was mine but it timed out |
| 13:35:21 | <Guest67> | thanks for the article, I'll take a look |
| 13:39:50 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 13:40:12 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 13:41:44 | × | Guest67 quits (~Guest67@70.19.76.200) (Quit: Client closed) |
| 13:42:37 | → | Guest67 joins (~Guest67@70.19.76.200) |
| 13:43:15 | × | Guest67 quits (~Guest67@70.19.76.200) (Client Quit) |
| 13:47:03 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 13:47:16 | → | dcoutts_ joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 13:47:44 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 258 seconds) |
| 13:48:11 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) |
| 13:49:54 | → | smoothdev_ joins (~smoothdev@37.165.180.152) |
| 13:51:21 | → | malte joins (~malte@mal.tc) |
| 13:52:47 | → | eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 13:54:03 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:56:02 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Ping timeout: 246 seconds) |
| 13:56:28 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 13:58:45 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:58:47 | → | malte_ joins (~malte@mal.tc) |
| 14:00:09 | × | malte quits (~malte@mal.tc) (Ping timeout: 255 seconds) |
| 14:00:10 | malte_ | is now known as malte |
| 14:00:24 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 14:02:28 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 14:03:19 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 14:03:36 | → | malte joins (~malte@mal.tc) |
| 14:03:46 | → | raym joins (~ray@user/raym) |
| 14:07:56 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 14:08:54 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 14:09:22 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 14:10:02 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:14:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 14:18:09 | → | notzmv joins (~zmv@user/notzmv) |
| 14:19:13 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 14:19:21 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 14:19:54 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 14:20:26 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 14:20:27 | → | malte joins (~malte@mal.tc) |
| 14:20:36 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 14:22:16 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:23:29 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 14:23:29 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 14:23:57 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 14:28:35 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 14:32:16 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:32:22 | × | vglfr quits (~vglfr@188.239.201.89) (Ping timeout: 260 seconds) |
| 14:36:22 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 14:38:06 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 14:39:12 | → | malte joins (~malte@mal.tc) |
| 14:41:25 | → | __monty__ joins (~toonn@user/toonn) |
| 14:42:37 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 244 seconds) |
| 14:47:25 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 14:52:12 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 14:56:44 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 15:00:09 | → | eo371 joins (~eo371@user/eo371) |
| 15:05:07 | × | Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 15:09:38 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:11:19 | → | Inst joins (~Inst@120.244.192.250) |
| 15:13:23 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:18:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 15:24:14 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 15:25:18 | → | chomwitt joins (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) |
| 15:25:44 | × | jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 15:35:12 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 15:35:30 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Client Quit) |
| 15:35:41 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::2d0) |
| 15:36:15 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::2d0) (Read error: Connection reset by peer) |
| 15:39:38 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 15:42:37 | → | tremon joins (~tremon@83.80.159.219) |
| 15:44:27 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 15:45:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:45:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 15:45:25 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 15:49:41 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 15:50:09 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 15:56:51 | × | raym quits (~ray@user/raym) (Quit: server upgrade to FreeBSD 14.0-BETA2) |
| 15:57:34 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 16:04:45 | → | Tesfe2321 joins (~School@2001:1970:5199:fa00::a4bf) |
| 16:05:17 | × | eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 16:05:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 16:06:03 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 16:06:36 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 16:11:11 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 16:13:22 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 16:14:58 | → | raym joins (~ray@user/raym) |
| 16:17:03 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 16:17:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 16:19:05 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 16:21:56 | → | sabino joins (~sabino@user/sabino) |
| 16:21:56 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 16:23:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:29:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:30:51 | × | stefan-__ quits (uid620054@id-620054.lymington.irccloud.com) () |
| 16:32:03 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 16:32:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:33:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 16:38:52 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 16:40:55 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 16:41:27 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 16:41:40 | → | stefan-__ joins (~m-ohzqow@42dots.de) |
| 16:44:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:51:30 | × | Tesfe2321 quits (~School@2001:1970:5199:fa00::a4bf) (Quit: Leaving) |
| 16:54:25 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:56:24 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 252 seconds) |
| 16:57:58 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 16:58:14 | × | todi quits (~todi@pd957150f.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 16:58:58 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:59:47 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 258 seconds) |
| 17:02:15 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 17:02:15 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 17:02:43 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 17:03:01 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 17:03:43 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 17:06:40 | × | stefan-__ quits (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 17:07:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:07:43 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 17:11:01 | → | stefan-__ joins (~m-ohzqow@42dots.de) |
| 17:11:47 | → | hiyori joins (~hiyori@user/hiyori) |
| 17:13:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 17:14:32 | × | dagit quits (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 260 seconds) |
| 17:16:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:19:12 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 17:19:23 | <hololeap> | Left /var/tmp/portage/dev-haskell/.haskell-language-server-2.0.0.1.portage_lockfile/temp/build.log: getPermissions:getFileStatus: inappropriate type (Not a directory) |
| 17:19:57 | <hololeap> | I'm confused by this. why does getPermissions fail with "inappropriate type (Not a directory)" |
| 17:20:07 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 264 seconds) |
| 17:20:26 | <hololeap> | oh, nvm |
| 17:20:30 | <hololeap> | I see the problem |
| 17:20:47 | <hololeap> | (the lockfile is not a directory :p ) |
| 17:22:48 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:22:48 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:22:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:29:19 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:30:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:33:28 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 17:38:02 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 17:38:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:48:09 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 17:55:22 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 17:57:27 | × | jackneill__ quits (~Jackneill@20014C4E1E0E960013CBACC2D224F9CC.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 17:58:28 | → | wroathe_ joins (~wroathe@50.205.197.50) |
| 17:58:39 | × | smoothdev_ quits (~smoothdev@37.165.180.152) (Ping timeout: 255 seconds) |
| 17:59:04 | × | wroathe quits (~wroathe@user/wroathe) (Killed (NickServ (GHOST command used by wroathe_!~wroathe@50.205.197.50))) |
| 17:59:07 | wroathe_ | is now known as wroathe |
| 17:59:22 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 17:59:31 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:59:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:59:59 | → | mmhat joins (~mmh@p200300f1c74e6f0bee086bfffe095315.dip0.t-ipconnect.de) |
| 17:59:59 | × | mmhat quits (~mmh@p200300f1c74e6f0bee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 18:00:35 | → | smoothdev joins (~smoothdev@37.174.229.54) |
| 18:02:15 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 18:04:37 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 18:04:48 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 18:14:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 18:15:13 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:15:16 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:15:32 | → | sm joins (~sm@plaintextaccounting/sm) |
| 18:15:46 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 18:21:09 | × | dcoutts_ quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 18:22:39 | × | Vajb quits (~Vajb@2001:999:500:7771:18aa:c4e5:e7a9:f44b) (Ping timeout: 240 seconds) |
| 18:24:53 | × | smoothdev quits (~smoothdev@37.174.229.54) (Ping timeout: 258 seconds) |
| 18:25:13 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 18:25:54 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 18:31:10 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 18:32:34 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 258 seconds) |
| 18:32:49 | → | jinsun joins (~jinsun@user/jinsun) |
| 18:33:02 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 18:33:23 | → | Guest23 joins (~Guest23@p200300ca7f1f0500dae1bdfb891b843d.dip0.t-ipconnect.de) |
| 18:36:35 | <madnight> | What is the connection between Control.Category and Hask? |
| 18:39:17 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 18:42:02 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 18:43:17 | <Noinia> | question: any advice on how to model/represent A data type that has an optional field, and whether or not the field is there controlled by some phantom type? I made a little example of what I would more or less want I think here https://play.haskell.org/saved/tfqyvHsi but it's not entirely clear to me it does what I would want. |
| 18:46:40 | → | dagit joins (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 18:46:44 | <Cale> | madnight: It's... strange. Control.Category is for defining categories that have the same objects as Hask, but different arrows, but of course, you're doing that with definitions of terms that are in some way internal to Hask, but I don't know how to formalize that relationship. |
| 18:47:33 | <Lears> | Noinia: You don't want `VoidF`, but `UnitF`/`Proxy`. |
| 18:48:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 18:48:33 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:48:52 | <Cale> | (also that type parameter isn't phantom, you're actually controlling the structure of the data type with it) |
| 18:48:53 | <Noinia> | but that would still represent the bar field with some pointer right? (I mean I guess I could live with that, but still) |
| 18:49:01 | → | jinsun joins (~jinsun@user/jinsun) |
| 18:49:15 | <Cale> | Yes, it would |
| 18:49:34 | <Cale> | You could make a type/data family, but that would typically be worse in terms of convenience. |
| 18:50:01 | <Noinia> | yes that was what I kind of expected |
| 18:50:38 | <Cale> | (I think it's good to always view type families with a good measure of suspicion -- almost always when someone has made a mess with the type system, they are hanging around.) |
| 18:52:23 | <Cale> | Personally, I wouldn't be worried about sometimes carrying around a pointer to a boring value. Unless that data structure ends up in a really hot loop, you're not going to feel a performance impact from it. |
| 18:52:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 18:53:32 | <Cale> | (and there's almost always something which is actually complexity-changing that you could do) |
| 18:53:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:55:48 | <madnight> | Cale: You say Control.Category is for defining categories, then how about instance Category (->) isn't that instance just Hask? |
| 18:56:55 | <geekosaur> | Hask's (->) is a specialization of arrows in categories |
| 18:57:25 | × | td_ quits (~td@i5387093D.versanet.de) (Quit: waking up from the american dream ...) |
| 18:58:10 | <Cale> | madnight: Oh, yes, pretty much. |
| 18:59:59 | → | td_ joins (~td@i5387093D.versanet.de) |
| 19:01:14 | <madnight> | Cale: Okay, but every Functor in Haskell is an Endofunctor from Hask to Hask right? |
| 19:01:25 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:02:37 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:05:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:06:12 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 19:07:04 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 19:07:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 19:07:27 | → | dcoutts_ joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 19:07:32 | <Cale> | madnight: yeah |
| 19:07:48 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 19:10:07 | <madnight> | Cale: Okay, but if Control.Category allows us to define different instances, hence different Categories with its own Functors, then how can everything be Hask? |
| 19:10:25 | → | jinsun joins (~jinsun@user/jinsun) |
| 19:12:04 | → | talismanick joins (~user@76.133.152.122) |
| 19:13:21 | <ncf> | same objects (types), different morphisms (not functions) |
| 19:16:23 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 19:16:42 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 19:19:13 | × | dcoutts_ quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 19:20:42 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Client Quit) |
| 19:21:25 | → | Vajb joins (~Vajb@2001:999:500:e10e:a7c3:c5df:e9c:b812) |
| 19:25:39 | → | sm joins (~sm@plaintextaccounting/sm) |
| 19:30:31 | <EvanR> | also there can multiple right ways to look at things and identify math patterns |
| 19:31:58 | × | ph88 quits (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 19:33:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 19:42:25 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 19:46:32 | × | mrmr15 quits (~mrmr@user/mrmr) (Ping timeout: 258 seconds) |
| 19:46:38 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 19:46:58 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 19:47:59 | → | johnw joins (~johnw@69.62.242.138) |
| 19:47:59 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:48:31 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 19:49:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:49:42 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 19:49:50 | → | mrmr15 joins (~mrmr@user/mrmr) |
| 19:56:03 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 19:57:06 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 19:57:45 | × | shapr quits (~user@2600:1700:c640:3100:cd69:69ab:9143:deea) (Remote host closed the connection) |
| 19:58:04 | → | dcoutts_ joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 19:58:17 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 19:58:39 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 20:00:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:01:35 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:01:48 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:02:15 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 20:02:18 | × | dcoutts_ quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 20:02:35 | → | dcoutts_ joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:02:49 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 20:03:14 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 20:03:41 | × | Guest23 quits (~Guest23@p200300ca7f1f0500dae1bdfb891b843d.dip0.t-ipconnect.de) (Quit: Client closed) |
| 20:05:30 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 20:06:16 | <Lears> | Control.Category categories aren't restricted to `* -> * -> *`, they can be of any kind `k -> k -> *`---the instances don't necessarily share objects with "Hask". |
| 20:09:48 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:10:26 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 20:11:02 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 20:12:39 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 20:13:34 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 20:14:47 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 20:14:53 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 20:20:20 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:21:00 | → | ph88 joins (~ph88@2a01:598:a05b:24ec:7636:9a74:ad43:9ec3) |
| 20:24:48 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 20:25:43 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 20:26:13 | × | caubert quits (~caubert@user/caubert) (Quit: WeeChat 4.0.1) |
| 20:26:23 | → | caubert joins (~caubert@user/caubert) |
| 20:29:34 | → | Pickchea joins (~private@user/pickchea) |
| 20:30:26 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 20:30:57 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 20:31:38 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:32:56 | → | privacy joins (~privacy@47.219.84.6) |
| 20:34:06 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 20:35:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 20:38:12 | → | jargon joins (~jargon@184.101.67.95) |
| 20:39:27 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 20:40:01 | → | smoothdev joins (~smoothdev@2a01:e0a:279:fb20:49ff:ae3e:b559:74e6) |
| 20:41:11 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 20:44:25 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 258 seconds) |
| 20:44:44 | → | vglfr joins (~vglfr@188.239.201.89) |
| 20:44:58 | × | dcoutts_ quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 20:45:19 | × | ph88 quits (~ph88@2a01:598:a05b:24ec:7636:9a74:ad43:9ec3) (Ping timeout: 264 seconds) |
| 20:46:58 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 20:48:12 | × | smoothdev quits (~smoothdev@2a01:e0a:279:fb20:49ff:ae3e:b559:74e6) (Ping timeout: 240 seconds) |
| 20:48:19 | → | smoothdev_ joins (~smoothdev@2a01:e0a:279:fb20:6d80:c1eb:8ee0:d389) |
| 20:52:35 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 20:59:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:01:56 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:02:43 | × | mfg quits (~user@2a02:908:d13:e3e0:6a54:5aff:fe66:a805) (Ping timeout: 264 seconds) |
| 21:04:15 | → | ph88 joins (~ph88@2a01:598:d030:659b:b550:a1b2:9351:6a58) |
| 21:09:02 | × | Vajb quits (~Vajb@2001:999:500:e10e:a7c3:c5df:e9c:b812) (Ping timeout: 260 seconds) |
| 21:09:17 | → | Vajb joins (~Vajb@2001:999:600:d99a:29f6:ab4c:ef8c:3e1b) |
| 21:15:27 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 21:15:29 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 21:16:02 | → | troydm joins (~troydm@user/troydm) |
| 21:16:44 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:17:12 | × | Vajb quits (~Vajb@2001:999:600:d99a:29f6:ab4c:ef8c:3e1b) (Ping timeout: 260 seconds) |
| 21:21:14 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:27:18 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 21:28:17 | → | jinsun joins (~jinsun@user/jinsun) |
| 21:30:30 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 21:31:02 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 21:31:26 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 21:35:11 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:35:11 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:35:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:35:33 | × | migas quits (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 21:35:49 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 21:39:16 | → | sagax joins (~sagax_nb@user/sagax) |
| 21:41:43 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 21:48:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:50:09 | → | captnemo joins (~captnemo@193.32.127.239) |
| 21:50:09 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:50:43 | × | captnemo quits (~captnemo@193.32.127.239) (Client Quit) |
| 21:56:45 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:56:48 | × | eo371 quits (~eo371@user/eo371) (Ping timeout: 245 seconds) |
| 21:57:33 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 21:57:40 | → | xmachina joins (xmachina@gateway/vpn/protonvpn/xmachina) |
| 21:58:14 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:58:39 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 21:58:44 | → | ai5lk joins (~ai5lk@209-188-121-236.taosnet.com) |
| 21:59:40 | ai5lk | is now known as shef |
| 22:01:08 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 22:02:06 | → | jinsun joins (~jinsun@user/jinsun) |
| 22:03:19 | × | ph88 quits (~ph88@2a01:598:d030:659b:b550:a1b2:9351:6a58) (Ping timeout: 264 seconds) |
| 22:04:25 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 22:07:26 | × | shef quits (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 22:08:39 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 22:09:20 | → | jinsun joins (~jinsun@user/jinsun) |
| 22:12:19 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 22:17:35 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 22:21:20 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
| 22:26:07 | × | chomwitt quits (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 22:28:55 | → | ph88 joins (~ph88@ip5b406c07.dynamic.kabel-deutschland.de) |
| 22:32:54 | × | hugo- quits (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 22:33:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:37:13 | × | xmachina quits (xmachina@gateway/vpn/protonvpn/xmachina) (Quit: WeeChat 4.0.4) |
| 22:37:45 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 22:38:04 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 22:38:19 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:38:19 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:38:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:42:10 | × | billchenchina quits (~billchenc@103.152.35.21) (Ping timeout: 255 seconds) |
| 22:42:36 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 22:42:54 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 22:45:21 | × | stefan-__ quits (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 22:45:51 | → | stefan-__ joins (~m-ohzqow@42dots.de) |
| 22:46:07 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:52:52 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 22:56:27 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 22:57:42 | → | jinsun joins (~jinsun@user/jinsun) |
| 23:10:17 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 23:11:29 | → | jinsun joins (~jinsun@user/jinsun) |
| 23:18:25 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 23:21:06 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 23:26:14 | → | jinsun joins (~jinsun@user/jinsun) |
| 23:27:00 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 23:29:29 | × | iteratee quits (~kyle@162.218.222.207) (Ping timeout: 255 seconds) |
| 23:37:07 | × | phma quits (phma@2001:5b0:210d:9478:bc47:d0f:e755:6447) (Read error: Connection reset by peer) |
| 23:37:34 | → | phma joins (~phma@host-67-44-208-160.hnremote.net) |
| 23:43:33 | → | xmachina joins (xmachina@gateway/vpn/protonvpn/xmachina) |
| 23:47:16 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 23:53:52 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:56:47 | → | hugo- joins (~hugo@verdigris.lysator.liu.se) |
All times are in UTC on 2023-09-23.