| 2023-01-01 00:00:48 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-01-01 00:11:05 +0000 | foul_owl | (~kerry@71.212.143.88) |
| 2023-01-01 00:12:03 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 00:13:54 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 00:19:29 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 260 seconds) |
| 2023-01-01 00:26:49 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 00:31:03 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 00:31:06 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 00:31:50 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-01-01 00:31:58 +0000 | cheater_ | cheater |
| 2023-01-01 00:34:28 +0000 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
| 2023-01-01 00:34:37 +0000 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Read error: Connection reset by peer) |
| 2023-01-01 00:43:05 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2023-01-01 00:44:20 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 00:44:40 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-01-01 00:44:40 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2023-01-01 00:46:18 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-01-01 00:49:08 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-01 00:51:10 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 00:54:03 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-01 00:54:08 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-01-01 00:55:34 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2023-01-01 00:57:30 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 00:58:24 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-01 01:01:56 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-01-01 01:03:18 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 01:04:24 +0000 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
| 2023-01-01 01:10:10 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-01 01:10:49 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2023-01-01 01:16:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-01 01:16:52 +0000 | thongpv87 | (~thongpv87@14.246.240.163) |
| 2023-01-01 01:18:03 +0000 | foul_owl | (~kerry@157.97.134.156) |
| 2023-01-01 01:18:05 +0000 | thongpv | (~thongpv87@2402:9d80:3aa:567:9ad9:5c2:cc9b:b1e7) (Read error: Connection reset by peer) |
| 2023-01-01 01:18:35 +0000 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) |
| 2023-01-01 01:23:53 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-01-01 01:24:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-01 01:25:32 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-01-01 01:26:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-01-01 01:27:43 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-01 01:28:46 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-01 01:39:05 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 01:41:24 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-01-01 01:42:21 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-01-01 01:42:31 +0000 | cheater_ | cheater |
| 2023-01-01 01:47:42 +0000 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2023-01-01 01:51:42 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.221) |
| 2023-01-01 01:52:46 +0000 | notzmv- | (~zmv@user/notzmv) |
| 2023-01-01 01:53:57 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-01-01 01:54:25 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2023-01-01 01:58:45 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2023-01-01 02:02:16 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.221) (Quit: Leaving) |
| 2023-01-01 02:02:56 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-01-01 02:04:07 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-01-01 02:12:13 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-01-01 02:13:07 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2023-01-01 02:23:50 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-01-01 02:29:59 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-01 02:31:07 +0000 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) (Read error: Connection reset by peer) |
| 2023-01-01 02:34:00 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 2023-01-01 02:36:39 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 02:41:41 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 02:44:38 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2023-01-01 02:45:18 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-01-01 02:45:41 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-01-01 02:50:01 +0000 | notzmv- | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-01-01 02:57:23 +0000 | ddellacosta | (~ddellacos@143.244.47.81) |
| 2023-01-01 02:59:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-01 03:06:16 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-01 03:06:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-01 03:06:18 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-01 03:06:18 +0000 | finn_elija | FinnElija |
| 2023-01-01 03:13:38 +0000 | thongpv | (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) |
| 2023-01-01 03:14:29 +0000 | thongpv87 | (~thongpv87@14.246.240.163) (Ping timeout: 260 seconds) |
| 2023-01-01 03:15:38 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-01 03:17:02 +0000 | td_ | (~td@83.135.9.29) (Ping timeout: 272 seconds) |
| 2023-01-01 03:18:23 +0000 | td_ | (~td@83.135.9.35) |
| 2023-01-01 03:20:11 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-01-01 03:23:29 +0000 | thongpv87 | (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) |
| 2023-01-01 03:24:26 +0000 | thongpv | (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) (Ping timeout: 246 seconds) |
| 2023-01-01 03:26:30 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-01-01 03:28:14 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-01 03:28:48 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-01-01 03:34:46 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2023-01-01 03:37:18 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
| 2023-01-01 03:37:46 +0000 | Batzy | (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-01 03:39:06 +0000 | Batzy | (~quassel@user/batzy) |
| 2023-01-01 03:39:11 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-01-01 03:46:35 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2023-01-01 03:52:45 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 268 seconds) |
| 2023-01-01 03:52:53 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2023-01-01 03:56:53 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-01-01 03:58:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-01-01 03:59:09 +0000 | shriekingnoise_ | (~shrieking@186.137.167.202) |
| 2023-01-01 03:59:28 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
| 2023-01-01 04:00:19 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-01-01 04:00:35 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 04:00:42 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-01 04:01:49 +0000 | shriekingnoise_ | (~shrieking@186.137.167.202) (Client Quit) |
| 2023-01-01 04:02:02 +0000 | tvandinther | (~tvandinth@114.23.205.77) |
| 2023-01-01 04:04:18 +0000 | <tvandinther> | Hi, quick question. With `CmdSpec` when I create a command with `ShellCommand $ unwords ["echo", "$PATH"]` it executes as expected by substituting the variable in the shell. But if I use `RawCommand $ "echo" ["$PATH"]` then it doesn't substitute producing the output `$PATH`. Any ideas why the behaviour is different? |
| 2023-01-01 04:05:01 +0000 | <tvandinther> | correction: `RawCommand "echo" ["$PATH"]` |
| 2023-01-01 04:08:32 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 04:18:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 04:21:44 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-01-01 04:21:47 +0000 | cheater_ | cheater |
| 2023-01-01 04:24:47 +0000 | tvandinther | (~tvandinth@114.23.205.77) (Quit: Client closed) |
| 2023-01-01 04:28:36 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2023-01-01 04:32:08 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-01 04:33:49 +0000 | ddellacosta | (~ddellacos@143.244.47.81) (Ping timeout: 256 seconds) |
| 2023-01-01 04:36:00 +0000 | thongpv87 | (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) (Read error: Connection reset by peer) |
| 2023-01-01 04:46:38 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 04:47:08 +0000 | <mauke> | because variable substitution is a feature of the shell |
| 2023-01-01 04:47:36 +0000 | <mauke> | if the shell is not involved, no variables are substituted |
| 2023-01-01 04:48:51 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-01-01 04:48:53 +0000 | cheater_ | cheater |
| 2023-01-01 04:53:26 +0000 | Everything | (~Everythin@46.185.124.170) (Quit: leaving) |
| 2023-01-01 04:56:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-01-01 05:01:37 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-01-01 05:11:04 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-01-01 05:11:51 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 05:22:50 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-01-01 05:23:15 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-01-01 05:23:34 +0000 | EvanR | (~EvanR@user/evanr) |
| 2023-01-01 05:38:25 +0000 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) |
| 2023-01-01 05:40:14 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2023-01-01 05:52:59 +0000 | phma | (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) (Read error: Connection reset by peer) |
| 2023-01-01 05:53:24 +0000 | phma | (~phma@host-67-44-208-169.hnremote.net) |
| 2023-01-01 06:08:25 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-01-01 06:17:43 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-01-01 06:21:48 +0000 | phma | (~phma@host-67-44-208-169.hnremote.net) (Read error: Connection reset by peer) |
| 2023-01-01 06:22:12 +0000 | phma | (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) |
| 2023-01-01 06:25:49 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
| 2023-01-01 06:37:24 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
| 2023-01-01 06:38:51 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 06:39:01 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2023-01-01 06:40:26 +0000 | phma | (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) (Read error: Connection reset by peer) |
| 2023-01-01 06:41:15 +0000 | phma | (~phma@host-67-44-208-104.hnremote.net) |
| 2023-01-01 06:43:19 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-01-01 06:45:46 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 06:53:35 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-01-01 06:54:40 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-01-01 07:07:49 +0000 | johnw | (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
| 2023-01-01 07:08:09 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 07:08:23 +0000 | jwiegley | (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
| 2023-01-01 07:08:34 +0000 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) (Read error: Connection reset by peer) |
| 2023-01-01 07:13:16 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 07:24:02 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-01-01 07:26:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 07:26:40 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 07:27:42 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 07:29:29 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-01-01 07:29:36 +0000 | cheater_ | cheater |
| 2023-01-01 07:31:38 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 07:33:31 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-01-01 07:44:38 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 07:52:21 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-01 07:52:52 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 08:21:47 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-01-01 08:21:51 +0000 | kenran | (~user@user/kenran) |
| 2023-01-01 08:22:24 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-01-01 08:43:02 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 08:48:16 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 08:55:05 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 09:04:59 +0000 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2023-01-01 09:05:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-01 09:25:39 +0000 | benali | (~nasser@131.170.239.11) |
| 2023-01-01 09:26:21 +0000 | razetime | (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
| 2023-01-01 09:27:56 +0000 | <benali> | hey, which one should I use stack or cabal? |
| 2023-01-01 09:28:37 +0000 | <Jadesheit[m]> | try both, see what you like better |
| 2023-01-01 09:28:52 +0000 | <sclv> | i recommend cabal |
| 2023-01-01 09:31:05 +0000 | <benali> | I had bad experience with stack in the past :( |
| 2023-01-01 09:32:45 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 09:35:26 +0000 | mei | (~mei@user/mei) |
| 2023-01-01 09:35:32 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-01-01 09:35:40 +0000 | cheater_ | cheater |
| 2023-01-01 09:37:41 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2023-01-01 09:42:05 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2023-01-01 09:43:52 +0000 | <Jadesheit[m]> | me too which is why I use cabal nowadays |
| 2023-01-01 09:43:55 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 2023-01-01 09:45:04 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) |
| 2023-01-01 09:47:32 +0000 | <maerwald> | benali: cabal |
| 2023-01-01 09:47:53 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-01-01 09:56:05 +0000 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:d1ec:9bf2:ae21:f5c4) |
| 2023-01-01 09:56:17 +0000 | biberu | (~biberu@user/biberu) |
| 2023-01-01 10:01:41 +0000 | benali | (~nasser@131.170.239.11) (Ping timeout: 246 seconds) |
| 2023-01-01 10:03:50 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-01 10:06:14 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-01 10:10:09 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-01 10:13:41 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 10:16:44 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 10:19:00 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2023-01-01 10:20:56 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-01-01 10:25:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-01 10:26:46 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-01-01 10:31:31 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 10:32:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-01-01 10:32:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-01 10:33:05 +0000 | benali | (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) |
| 2023-01-01 10:35:26 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 268 seconds) |
| 2023-01-01 10:40:47 +0000 | gurkenglas | (~gurkengla@84.138.199.46) |
| 2023-01-01 10:44:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-01 10:44:49 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2023-01-01 10:50:28 +0000 | <eldritchcookie[4> | personally i use cabal with hpack |
| 2023-01-01 10:55:35 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2023-01-01 11:06:55 +0000 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-01 11:09:30 +0000 | gurkenglas | (~gurkengla@84.138.199.46) (Ping timeout: 272 seconds) |
| 2023-01-01 11:11:34 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
| 2023-01-01 11:21:31 +0000 | benali | (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) (Quit: Lost terminal) |
| 2023-01-01 11:28:41 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-01 11:35:34 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-01-01 11:35:35 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-01 11:40:49 +0000 | igghibu | (~igghibu@37.120.201.86) |
| 2023-01-01 11:49:43 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-01 11:52:25 +0000 | <eldritchcookie[4> | i am trying to define my own library for parameterised Monads/Applicatives and i have two functions that assume Applicative (f q r) and just lift a value via the f q r instance's pure and then discard it to manipulate the q r one changes q and the other r, i then created 2 more general version that take a lifter and a Paramterized applicative value and manipulate q and r |
| 2023-01-01 11:53:55 +0000 | <eldritchcookie[4> | the second couple needs rankNtypes as i need to pass a dummy value to (liftPA2 const) but i could use undefined and use normal rank 1 types how can i be sure that i won't create a runtime error |
| 2023-01-01 11:57:10 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-01 11:58:40 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2023-01-01 12:01:29 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2023-01-01 12:01:41 +0000 | dextaa2 | (~DV@user/dextaa) |
| 2023-01-01 12:04:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-01 12:04:14 +0000 | dextaa | (~DV@user/dextaa) (Ping timeout: 268 seconds) |
| 2023-01-01 12:04:14 +0000 | dextaa2 | dextaa |
| 2023-01-01 12:05:54 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 12:08:31 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-01 12:10:05 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-01-01 12:12:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
| 2023-01-01 12:17:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Ping timeout: 255 seconds) |
| 2023-01-01 12:29:14 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2023-01-01 12:39:06 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-01 12:40:04 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 12:47:07 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
| 2023-01-01 12:51:45 +0000 | Guest51 | (~Guest51@176.122.105.141) |
| 2023-01-01 12:52:22 +0000 | Guest51 | (~Guest51@176.122.105.141) (Client Quit) |
| 2023-01-01 12:55:31 +0000 | <lyxia> | eldritchcookie[4: it's hard to understand the problem but do you know about Proxy |
| 2023-01-01 12:57:39 +0000 | <eldritchcookie[4> | yes but i forgot to consider that option thank you |
| 2023-01-01 13:28:20 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 2023-01-01 13:30:38 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) |
| 2023-01-01 13:34:44 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) (Client Quit) |
| 2023-01-01 13:39:07 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:b50a:fe5:ba94:4ae) |
| 2023-01-01 13:42:24 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-01-01 13:48:05 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
| 2023-01-01 13:54:46 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 13:56:32 +0000 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-01-01 14:01:37 +0000 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2023-01-01 14:06:19 +0000 | razetime | (~Thunderbi@49.207.194.134) (Ping timeout: 252 seconds) |
| 2023-01-01 14:12:05 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 14:16:13 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-01-01 14:21:04 +0000 | bgt32 | (~keutoi@223.182.38.84) |
| 2023-01-01 14:22:20 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.228) |
| 2023-01-01 14:24:07 +0000 | <eldritchcookie[4> | wait proxy can have any type right? |
| 2023-01-01 14:24:23 +0000 | AlexZenon | (~alzenon@178.34.150.35) (Ping timeout: 260 seconds) |
| 2023-01-01 14:24:34 +0000 | Alex_test | (~al_test@178.34.150.35) (Ping timeout: 272 seconds) |
| 2023-01-01 14:24:58 +0000 | <eldritchcookie[4> | (*>) (<*) both change the parameterized applicative type but require a value that they discard |
| 2023-01-01 14:25:05 +0000 | <eldritchcookie[4> | i can just use proxy |
| 2023-01-01 14:25:32 +0000 | AlexNoo | (~AlexNoo@178.34.150.35) (Ping timeout: 246 seconds) |
| 2023-01-01 14:28:39 +0000 | <eldritchcookie[4> | s/*>/\*\>/, s/<*/\<\*/ |
| 2023-01-01 14:29:42 +0000 | ulvarrefr | (~user@188.124.56.153) |
| 2023-01-01 14:30:02 +0000 | <eldritchcookie[4> | nvm i can't |
| 2023-01-01 14:30:40 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-01 14:32:24 +0000 | Alex_test | (~al_test@178.34.150.228) |
| 2023-01-01 14:34:56 +0000 | AlexZenon | (~alzenon@178.34.150.228) |
| 2023-01-01 14:40:01 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-01-01 14:42:37 +0000 | <eldritchcookie[4> | parameterized applicatives are like applicatives but can have changing type for instance i have a definition of liftPA2::(a -> b -> c) -> f p q a -> f q r b -> f p r c |
| 2023-01-01 14:42:37 +0000 | <eldritchcookie[4> | how likely is doing (undefined *> f p q a) to throw an exception ? |
| 2023-01-01 14:45:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-01 14:45:45 +0000 | Vajb | (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) (Read error: Connection reset by peer) |
| 2023-01-01 14:46:09 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 14:46:19 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-01-01 14:46:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-01 14:46:50 +0000 | <eldritchcookie[4> | the default implementation is discarded *> kept = liftPA2 (\_ y -> y) discarded kept |
| 2023-01-01 14:47:15 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-01-01 14:48:51 +0000 | bgt32 | (~keutoi@223.182.38.84) (Ping timeout: 252 seconds) |
| 2023-01-01 14:52:43 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2023-01-01 14:52:56 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-01-01 14:53:12 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 14:53:59 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-01 14:54:07 +0000 | cheater_ | cheater |
| 2023-01-01 15:00:19 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 15:00:46 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-01 15:01:50 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-01 15:04:20 +0000 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) |
| 2023-01-01 15:05:55 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-01-01 15:06:40 +0000 | cheater | (~Username@user/cheater) |
| 2023-01-01 15:09:18 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-01-01 15:10:18 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2023-01-01 15:11:44 +0000 | AlexNoo_ | AlexNoo |
| 2023-01-01 15:11:55 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 15:13:09 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-01 15:13:11 +0000 | cheater_ | cheater |
| 2023-01-01 15:16:23 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-01-01 15:18:30 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2023-01-01 15:19:48 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2023-01-01 15:20:00 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-01-01 15:20:00 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Client Quit) |
| 2023-01-01 15:20:05 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-01 15:20:34 +0000 | razetime | (~Thunderbi@49.207.194.134) |
| 2023-01-01 15:21:44 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-01-01 15:31:15 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 15:32:59 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-01 15:34:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-01-01 15:34:43 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-01 15:34:50 +0000 | cheater_ | cheater |
| 2023-01-01 15:35:43 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2023-01-01 15:36:52 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2023-01-01 15:39:20 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-01-01 15:39:37 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-01 15:43:09 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2023-01-01 15:43:29 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-01 15:49:26 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-01-01 15:55:44 +0000 | nft_slut | (~user@50-110-204-205.mrbg.wv.frontiernet.net) |
| 2023-01-01 16:05:43 +0000 | coot | (~coot@213.134.171.3) |
| 2023-01-01 16:06:05 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-01-01 16:06:18 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2023-01-01 16:07:24 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-01-01 16:07:54 +0000 | raym | (~ray@user/raym) (Quit: leaving) |
| 2023-01-01 16:07:56 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-01 16:08:47 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-01-01 16:09:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-01-01 16:12:50 +0000 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 16:13:15 +0000 | raym | (~ray@user/raym) |
| 2023-01-01 16:17:21 +0000 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) |
| 2023-01-01 16:19:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-01 16:22:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-01 16:24:06 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-01-01 16:24:23 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 16:24:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-01 16:31:07 +0000 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-01 16:36:36 +0000 | sh1n | (~sh1n@181.229.121.151) |
| 2023-01-01 16:37:45 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 16:37:52 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.7.1) |
| 2023-01-01 16:40:52 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-01-01 16:41:01 +0000 | cheater_ | cheater |
| 2023-01-01 16:41:41 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-01-01 16:44:22 +0000 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2023-01-01 16:45:28 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-01 16:47:07 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-01-01 16:50:20 +0000 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-01-01 16:51:40 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-01-01 16:51:48 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 16:58:28 +0000 | razetime | (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
| 2023-01-01 16:58:34 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
| 2023-01-01 17:02:05 +0000 | icebreaker | (~icebreake@user/icebreaker) |
| 2023-01-01 17:02:30 +0000 | icebreaker | (~icebreake@user/icebreaker) () |
| 2023-01-01 17:06:24 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2023-01-01 17:06:28 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-01-01 17:06:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-01-01 17:07:23 +0000 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2023-01-01 17:08:39 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-01 17:09:39 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2023-01-01 17:18:58 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2023-01-01 17:26:50 +0000 | <eldritchcookie[4> | just so i don't waste my time is there any library which has a useful function that accepts 2 different callbacks in the same function? i mean something of the form (a -> m b) -> (c -> m d) -> m e |
| 2023-01-01 17:30:19 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-01-01 17:32:17 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 17:32:21 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
| 2023-01-01 17:34:43 +0000 | <ncf> | what should it do with the callbacks? |
| 2023-01-01 17:35:48 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 17:36:21 +0000 | <eldritchcookie[4> | anything, as long as it calls them, i am turning functions of type f ->(a ->b -> m c) -> m d into f -> ContT m d c (a,b) |
| 2023-01-01 17:37:52 +0000 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 17:39:43 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-01-01 17:41:13 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Remote host closed the connection) |
| 2023-01-01 17:42:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-01 17:43:34 +0000 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 2023-01-01 17:47:48 +0000 | <eldritchcookie[4> | basically i have a parameterized monad version of contT and want to use it to invert control when the types are different |
| 2023-01-01 17:50:57 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 2023-01-01 17:51:54 +0000 | econo | (uid147250@user/econo) |
| 2023-01-01 17:52:58 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 17:56:13 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-01-01 17:56:15 +0000 | cheater_ | cheater |
| 2023-01-01 17:58:50 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-01 17:59:33 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 18:02:35 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-01-01 18:02:51 +0000 | cheater_ | cheater |
| 2023-01-01 18:03:04 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-01 18:05:44 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 18:08:45 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:2936:808f:4be4:4fc1) |
| 2023-01-01 18:10:44 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-01 18:10:44 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-01 18:10:44 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-01 18:12:10 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 18:12:16 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-01 18:12:24 +0000 | cheater_ | cheater |
| 2023-01-01 18:13:50 +0000 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds) |
| 2023-01-01 18:15:40 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2023-01-01 18:16:46 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-01 18:17:07 +0000 | zer0bitz_ | (~zer0bitz@196.244.192.54) () |
| 2023-01-01 18:19:53 +0000 | zer0bitz | (~zer0bitz@196.244.192.58) |
| 2023-01-01 18:20:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-01 18:20:20 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2023-01-01 18:20:52 +0000 | <Profpatsch> | In the new random 1.2, what’s the easiest way to generate a list of characters between a–zA–Z0–9 |
| 2023-01-01 18:21:10 +0000 | califax | (~califax@user/califx) |
| 2023-01-01 18:21:26 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 246 seconds) |
| 2023-01-01 18:24:36 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 18:26:43 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2023-01-01 18:28:53 +0000 | <eldritchcookie[4> | is there a recommended heterogeneous list GADT? |
| 2023-01-01 18:29:52 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-01-01 18:30:35 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 18:30:47 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2023-01-01 18:31:57 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.7.1) |
| 2023-01-01 18:34:14 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-01 18:36:44 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 18:37:15 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-01 18:37:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-01 18:40:26 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2023-01-01 18:44:13 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-01-01 18:48:09 +0000 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2023-01-01 18:49:00 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2023-01-01 18:54:51 +0000 | cheater | (~Username@user/cheater) |
| 2023-01-01 18:56:29 +0000 | <monochrom> | Profpatsch: You can still use randomRs (0, 61) and map 0-61 to a-zA-Z0-9. |
| 2023-01-01 18:56:49 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2023-01-01 19:00:01 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-01 19:02:22 +0000 | cheater | (~Username@user/cheater) |
| 2023-01-01 19:05:43 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 19:08:59 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-01 19:09:00 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-01-01 19:09:00 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-01 19:09:21 +0000 | califax | (~califax@user/califx) |
| 2023-01-01 19:09:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-01 19:10:04 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-01-01 19:10:17 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-01 19:15:18 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2023-01-01 19:17:13 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2023-01-01 19:19:25 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 19:20:29 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-01-01 19:21:39 +0000 | <Profpatsch> | monochrom: yeah I did something like that, thanks |
| 2023-01-01 19:22:07 +0000 | Feuermagier_ | (~Feuermagi@213.149.82.60) |
| 2023-01-01 19:22:14 +0000 | <Profpatsch> | create a list of all things I wanted, then create a list of random indexes & index into the list of chars |
| 2023-01-01 19:22:29 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-01 19:22:33 +0000 | <[exa]> | eldritchcookie[4: depends on how much heterogeneity you want; existentias are generally the way to go (haskell wiki should have some related reading material) |
| 2023-01-01 19:22:46 +0000 | <[exa]> | *existentiaLs |
| 2023-01-01 19:24:00 +0000 | <[exa]> | eldritchcookie[4: anyway re the "2 callbacks", that's a pretty common pattern, even the standard `bracket` is kinda like 2 callbacks (one without parameters tho) |
| 2023-01-01 19:24:01 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-01-01 19:24:37 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds) |
| 2023-01-01 19:25:09 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 19:25:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-01 19:25:42 +0000 | pwug | (~pwug@user/pwug) |
| 2023-01-01 19:26:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-01 19:33:23 +0000 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
| 2023-01-01 19:35:14 +0000 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-01-01 19:35:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-01 19:38:48 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-01 19:40:56 +0000 | <eldritchcookie[4> | i don't want to deal with existential types as i don't want to lose type information. guess i will define my own GADT and then whenever ghc starts shipping with a Heterogeneous list use that |
| 2023-01-01 19:42:07 +0000 | Vajb | (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) |
| 2023-01-01 19:44:37 +0000 | <geekosaur> | um. ghc usually goes for shipping less with instead of more, because anything shipped with ghc is effectively frozen and can only be upgraded by upgrading ghc |
| 2023-01-01 19:45:01 +0000 | <geekosaur> | so waiting for something to be shipped with ghc is literally a losing proposition |
| 2023-01-01 19:45:57 +0000 | <[exa]> | eldritchcookie[4: btw how would you avoid losing the type information? unless you store say complete type representations you can't have that easily; and type representations can be stored by making an existential that just packs some Generic-ish interface |
| 2023-01-01 19:46:59 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 19:48:45 +0000 | <davean> | Yah I'm really curious what he things it looks like to work with a hetreogenious list without losing type information' |
| 2023-01-01 19:53:17 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-01 19:53:32 +0000 | <EvanR> | heterolist as such usually keeps type information |
| 2023-01-01 19:53:51 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 19:54:03 +0000 | <EvanR> | by having the type of everything in the list in the type |
| 2023-01-01 19:56:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) |
| 2023-01-01 19:58:14 +0000 | <EvanR> | a basic list of existential-like type (all the same) is something else |
| 2023-01-01 20:03:57 +0000 | <davean> | I mean ok if thats what he means theres like vynl |
| 2023-01-01 20:04:09 +0000 | <davean> | but I wouldn't actually call that a hetrolist |
| 2023-01-01 20:04:36 +0000 | <davean> | (Its distinctly finite) |
| 2023-01-01 20:06:01 +0000 | _leo92_ | (~emmanuelu@user/emmanuelux) |
| 2023-01-01 20:08:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2023-01-01 20:12:54 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 20:17:58 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2023-01-01 20:21:29 +0000 | acidjnk | (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) |
| 2023-01-01 20:21:47 +0000 | _leo92_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2023-01-01 20:22:20 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-01 20:24:42 +0000 | pwug | (~pwug@user/pwug) (Remote host closed the connection) |
| 2023-01-01 20:25:42 +0000 | <EvanR> | yeah extensible records without the field names is basically a heterolist |
| 2023-01-01 20:25:49 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 256 seconds) |
| 2023-01-01 20:26:26 +0000 | <EvanR> | as far as infinite vs finite, your boring old list is actually finite in Idris |
| 2023-01-01 20:26:30 +0000 | <davean> | hetrosequence I'd agree on, the potentially non-finiteness is personally important to me about lists. |
| 2023-01-01 20:26:38 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2023-01-01 20:26:42 +0000 | <davean> | Yah, thus Idris lacks lists to me :-p |
| 2023-01-01 20:26:44 +0000 | <EvanR> | there's a separate type for potentially infinite list |
| 2023-01-01 20:27:12 +0000 | <davean> | I don't know that I'm right, but thats a core destinction for a list vs. other sequence to me |
| 2023-01-01 20:27:37 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
| 2023-01-01 20:28:15 +0000 | <EvanR> | on andre bauers blog somewhere he calls a mapping from some finite set a listing |
| 2023-01-01 20:29:47 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-01-01 20:31:10 +0000 | pwug | (~pwug@user/pwug) |
| 2023-01-01 20:31:29 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-01 20:33:01 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-01 20:34:10 +0000 | <dolio> | Being potentially infinite is definitely not an essential characteristic of lists, generally. |
| 2023-01-01 20:35:12 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 20:35:23 +0000 | <dolio> | It's handy in Haskell, though. |
| 2023-01-01 20:37:26 +0000 | <davean> | dolio: See, I'd qualify all those other ones as different sorts of sequences |
| 2023-01-01 20:37:35 +0000 | <davean> | I think there are a lot of types of sequences |
| 2023-01-01 20:38:10 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2023-01-01 20:41:15 +0000 | Feuermagier_ | (~Feuermagi@213.149.82.60) (Quit: Leaving) |
| 2023-01-01 20:43:18 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 20:45:41 +0000 | <dolio> | I suppose one could argue over whether the inductive definition actually matches historical notions of 'list,' since you can make circular lists with mutation. |
| 2023-01-01 20:45:51 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 20:46:20 +0000 | <dolio> | Which are kind of infinite, although they don't cover all possible infinite values. |
| 2023-01-01 20:49:28 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 20:49:28 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-01-01 20:49:34 +0000 | nckx | (~nckx@tobias.gr) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-01-01 20:50:04 +0000 | nckx | (~nckx@tobias.gr) |
| 2023-01-01 20:53:20 +0000 | sympt | (~sympt@user/sympt) (Ping timeout: 268 seconds) |
| 2023-01-01 20:55:35 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2023-01-01 20:56:19 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 20:59:34 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-01 21:01:08 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-01 21:01:51 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-01-01 21:02:12 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-01-01 21:02:15 +0000 | cheater__ | cheater |
| 2023-01-01 21:02:39 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
| 2023-01-01 21:03:29 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-01-01 21:05:14 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-01-01 21:05:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) (Ping timeout: 260 seconds) |
| 2023-01-01 21:15:44 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 21:26:14 +0000 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2023-01-01 21:27:13 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 21:31:44 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2023-01-01 21:33:19 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-01 21:33:25 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2023-01-01 21:42:15 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 21:43:37 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 21:45:08 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2023-01-01 21:47:12 +0000 | sympt | (~sympt@user/sympt) |
| 2023-01-01 21:47:44 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-01-01 21:48:33 +0000 | <igghibu> | hi all, happy new year :) I'm learning haskell with G Hutton book and I'm having difficulties with this list comprehension exercise: https://paste.tomsmeding.com/ClOaunRr -- the question is in the paste. help and pointers appreciated <3 |
| 2023-01-01 21:52:04 +0000 | <c_wraith> | igghibu: use pattern matching |
| 2023-01-01 21:52:04 +0000 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 2023-01-01 21:52:08 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-01 21:52:18 +0000 | <stefan-_> | igghibu, (x, y) <- grid n n |
| 2023-01-01 21:52:18 +0000 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 2023-01-01 21:54:12 +0000 | <geekosaur> | igghibu, I think you have a misconfigured client, it's sending a play command to the channel instead of running it |
| 2023-01-01 21:54:13 +0000 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
| 2023-01-01 21:54:24 +0000 | <igghibu> | sorry |
| 2023-01-01 21:54:27 +0000 | <igghibu> | will fix |
| 2023-01-01 21:54:30 +0000 | <igghibu> | now |
| 2023-01-01 21:55:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-01 21:56:10 +0000 | acidjnk | (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-01-01 21:57:10 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-01-01 21:58:45 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-01 21:59:23 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2023-01-01 21:59:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-01 22:00:01 +0000 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) (Quit: Konversation terminated!) |
| 2023-01-01 22:02:50 +0000 | <igghibu> | stefan-_: test? |
| 2023-01-01 22:03:04 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-01-01 22:03:16 +0000 | <stefan-_> | igghibu, test |
| 2023-01-01 22:03:27 +0000 | <igghibu> | yay! |
| 2023-01-01 22:03:28 +0000 | <stefan-_> | :) |
| 2023-01-01 22:05:12 +0000 | jwiegley | (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
| 2023-01-01 22:05:12 +0000 | johnw | (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
| 2023-01-01 22:05:15 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2023-01-01 22:07:08 +0000 | <dsal> | @check \x -> x == 1 |
| 2023-01-01 22:07:10 +0000 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
| 2023-01-01 22:07:10 +0000 | <lambdabot> | 0 |
| 2023-01-01 22:07:15 +0000 | <dsal> | oh no. My test failed. |
| 2023-01-01 22:07:17 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-01 22:13:44 +0000 | <hololeap> | lambdabot does quickcheck? |
| 2023-01-01 22:14:03 +0000 | <hololeap> | that's awesome |
| 2023-01-01 22:14:55 +0000 | <dsal> | I think it has smallcheck, too. |
| 2023-01-01 22:16:18 +0000 | <geekosaur> | I thought it did but didn't see it anywhere when writing the docs |
| 2023-01-01 22:16:29 +0000 | <geekosaur> | wonder if that plugin got removed |
| 2023-01-01 22:16:36 +0000 | acidjnk | (~acidjnk@p200300d6e7137a577d241e14a75b8650.dip0.t-ipconnect.de) |
| 2023-01-01 22:16:42 +0000 | <geekosaur> | @scheck |
| 2023-01-01 22:16:42 +0000 | <lambdabot> | <unknown>.hs:1:1:Parse error: EOF |
| 2023-01-01 22:16:51 +0000 | <geekosaur> | @small |
| 2023-01-01 22:16:51 +0000 | <lambdabot> | Maybe you meant: spell smack |
| 2023-01-01 22:17:21 +0000 | <eldritchcookie[4> | i am having problems with GADTs i am confused onj how to write a proof term that a certain type is a function with n arguments |
| 2023-01-01 22:17:27 +0000 | <eldritchcookie[4> | s/onj/on/ |
| 2023-01-01 22:18:18 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2023-01-01 22:20:02 +0000 | <igghibu> | good night all |
| 2023-01-01 22:20:04 +0000 | igghibu | (~igghibu@37.120.201.86) (Quit: igghibu) |
| 2023-01-01 22:20:25 +0000 | <eldritchcookie[4> | good night |
| 2023-01-01 22:24:10 +0000 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
| 2023-01-01 22:25:58 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2023-01-01 22:26:18 +0000 | sh1n | (~sh1n@181.229.121.151) (Quit: leaving) |
| 2023-01-01 22:26:30 +0000 | sympt | (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
| 2023-01-01 22:27:17 +0000 | <dsal> | @scheck \x -> x == True |
| 2023-01-01 22:27:19 +0000 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
| 2023-01-01 22:27:19 +0000 | <lambdabot> | False |
| 2023-01-01 22:27:27 +0000 | sympt | (~sympt@user/sympt) |
| 2023-01-01 22:27:30 +0000 | <dsal> | @spell smack |
| 2023-01-01 22:27:30 +0000 | <lambdabot> | smack |
| 2023-01-01 22:27:33 +0000 | <dsal> | nice |
| 2023-01-01 22:40:19 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2023-01-01 22:40:34 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-01 22:50:28 +0000 | cheater | (~Username@user/cheater) |
| 2023-01-01 22:57:12 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-01-01 23:02:38 +0000 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-01-01 23:02:46 +0000 | <hololeap> | eldritchcookie[4: when you say N elements, is N a fixed value or are you trying to count it with type level programming? |
| 2023-01-01 23:02:57 +0000 | <hololeap> | *n arguments |
| 2023-01-01 23:04:27 +0000 | <eldritchcookie[4> | with type level programming if it were a fixed n i could just template haskell my way to victory |
| 2023-01-01 23:04:30 +0000 | sh1n | (~sh1n@181.229.121.151) |
| 2023-01-01 23:04:47 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 23:04:51 +0000 | <hololeap> | what do you have so far? |
| 2023-01-01 23:05:06 +0000 | sh1n | (~sh1n@181.229.121.151) (Client Quit) |
| 2023-01-01 23:05:23 +0000 | <eldritchcookie[4> | type ResultProof::Natural -> Type -> Type -> Type... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/98755511f3686891a1c20ade4e48307da848…>) |
| 2023-01-01 23:05:47 +0000 | <eldritchcookie[4> | but i can't make the recursive instance |
| 2023-01-01 23:07:17 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 23:08:10 +0000 | <eldritchcookie[4> | if i try |
| 2023-01-01 23:08:10 +0000 | <eldritchcookie[4> | instance IsFunctionClass n a r => IsFunctionClass (n+1) (b -> a) r where |
| 2023-01-01 23:08:10 +0000 | <eldritchcookie[4> | isFunctionProof = ResultIsNext isFunctionProof |
| 2023-01-01 23:08:44 +0000 | <eldritchcookie[4> | it complains about illegal type synonym family |
| 2023-01-01 23:09:34 +0000 | <eldritchcookie[4> | and |
| 2023-01-01 23:09:34 +0000 | <eldritchcookie[4> | instance IsFunctionClass (n-1) a r => IsFunctionClass n (b -> a) r where |
| 2023-01-01 23:09:34 +0000 | <eldritchcookie[4> | isFunctionProof = ResultIsNext isFunctionProof |
| 2023-01-01 23:10:01 +0000 | <eldritchcookie[4> | fails with not satisfying the liberal coverage condition |
| 2023-01-01 23:12:13 +0000 | <hololeap> | are you trying to set the kind for `data ResultProof` using `type ResultProof` on a different line? maybe that's valid syntax but I haven't seen it before |
| 2023-01-01 23:12:13 +0000 | <eldritchcookie[4> | https://paste.tomsmeding.com/X8U9pJrC |
| 2023-01-01 23:12:39 +0000 | <eldritchcookie[4> | that is a standalone kind signature |
| 2023-01-01 23:12:57 +0000 | <eldritchcookie[4> | the idea is that kind declarations mirror type declarrations |
| 2023-01-01 23:13:41 +0000 | <hololeap> | oh, I've never used that extension before |
| 2023-01-01 23:15:58 +0000 | <eldritchcookie[4> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/poly_kinds.html#extension-StandaloneKindSi… the idea is to substitute CUSKs |
| 2023-01-01 23:16:52 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-01 23:19:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-01 23:19:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-01 23:19:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-01 23:22:14 +0000 | <eldritchcookie[4> | wow amazing now i get can't match n with ((n - 1) + 1) |
| 2023-01-01 23:22:35 +0000 | <geekosaur> | ghc doesn't really know how to do type level math |
| 2023-01-01 23:22:58 +0000 | <hololeap> | ResultIsNext :: ResultProof n a r -> ResultProof (n+1) (v -> a) r |
| 2023-01-01 23:23:31 +0000 | <hololeap> | so this looks like there is an implicit existential quantification on v, it isn't mentioned anywhere else |
| 2023-01-01 23:23:31 +0000 | <eldritchcookie[4> | yes? |
| 2023-01-01 23:23:32 +0000 | <geekosaur> | there are some plugins available that recognize type level math and add enough extra context so ghc can solve it. see natnormalize for example |
| 2023-01-01 23:25:53 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:2936:808f:4be4:4fc1) (Quit: caryhartline) |
| 2023-01-01 23:27:24 +0000 | <hololeap> | I'm not sure I'll be much help with this, it's a bit beyond my level :) |
| 2023-01-01 23:28:01 +0000 | <eldritchcookie[4> | no problem :) |
| 2023-01-01 23:28:04 +0000 | <hololeap> | I have played around with something similar in the past but my implementation was very different, and that was also a long time ago |
| 2023-01-01 23:28:44 +0000 | <hololeap> | I have a hard time with FunctionalDependencies, for some reason |
| 2023-01-01 23:30:06 +0000 | <eldritchcookie[4> | you can just ignore them just add the head on the context like instance Functor f=>Functor f where |
| 2023-01-01 23:30:35 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds) |
| 2023-01-01 23:31:37 +0000 | <eldritchcookie[4> | geekosaur i search for natnormalize and nat normalize on hackage and i didn't find it can you send a link? |
| 2023-01-01 23:32:18 +0000 | <geekosaur> | turns out it's spelled britishly. https://hackage.haskell.org/package/ghc-typelits-natnormalise |
| 2023-01-01 23:34:26 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-01 23:37:39 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-01-01 23:38:49 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2023-01-01 23:38:54 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-01 23:40:17 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-01 23:43:57 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-01-01 23:46:00 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-01-01 23:46:53 +0000 | <Profpatsch> | In GHCI, can I tell it to just enable hidden packages |
| 2023-01-01 23:47:06 +0000 | <Profpatsch> | I hate having to modify the cabal file just to experiment with stuff |
| 2023-01-01 23:47:42 +0000 | <geekosaur> | https://hackage.haskell.org/package/ghc-typelits-knownnat is another useful one |
| 2023-01-01 23:48:23 +0000 | <geekosaur> | Profpatsch, there's no way to do it for all packages, no |
| 2023-01-01 23:48:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-01 23:48:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-01 23:48:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-01 23:48:44 +0000 | <geekosaur> | you can enable a specific package with :set -package foo |
| 2023-01-01 23:49:05 +0000 | <Profpatsch> | geekosaur: nice, that does it |
| 2023-01-01 23:49:10 +0000 | <Profpatsch> | should be in the error message |
| 2023-01-01 23:53:47 +0000 | <geekosaur> | I think it used to be, but the error message doesn't know if it's been triggered by ghci or compilation and randomly tossing -package options into ghc-options is a good way to break stack in particular |
| 2023-01-01 23:54:34 +0000 | <Profpatsch> | how … could that brneak stack |
| 2023-01-01 23:54:40 +0000 | <Profpatsch> | Unless you add it to .ghci |
| 2023-01-01 23:54:58 +0000 | <geekosaur> | again, it does not know that it was invoked from ghci |
| 2023-01-01 23:55:43 +0000 | <geekosaur> | it's the same error message whether you're using ghci, building with raw ghc, building with stack, building with cabal, etc. |
| 2023-01-01 23:56:37 +0000 | <geekosaur> | it's less likely to happen with stack or cabal builds, but it can still happen and following a suggestion to use -package will have bad results in those cases |
| 2023-01-01 23:57:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-01-01 23:57:33 +0000 | <Profpatsch> | What kind of error would happen? |
| 2023-01-01 23:57:47 +0000 | <Profpatsch> | As far as I understand, ghc package databases only allow one packages of the same name |
| 2023-01-01 23:58:15 +0000 | <geekosaur> | okay, forget I said anything. somehow we aren't even in the same book much less on the same page |
| 2023-01-01 23:59:37 +0000 | <geekosaur> | (you said you wanted -package to be mentioned in the error message. I am talking about that error message. it is not a ghci-specific error message) |
| 2023-01-01 23:59:50 +0000 | <Profpatsch> | It’s a GHC error message, no? |
| 2023-01-01 23:59:53 +0000 | <geekosaur> | yes |
| 2023-01-01 23:59:58 +0000 | <Profpatsch> | GHC uses ghc packages |