| 2024-08-11 00:02:53 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-11 00:03:07 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-11 00:06:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-08-11 00:07:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-11 00:11:58 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb264477b1cf1ada7fe0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-08-11 00:13:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-08-11 00:23:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-11 00:27:55 +0200 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2024-08-11 00:28:42 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 2024-08-11 00:32:46 +0200 | kritzefitz_ | kritzefitz |
| 2024-08-11 00:33:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-08-11 00:33:50 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-11 00:54:21 +0200 | benjaminl_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Ping timeout: 276 seconds) |
| 2024-08-11 01:03:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3200-543a-c85d-bb05-1d95-e95b.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-11 01:04:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3200-543a-91b2-151f-9045-8ee8.rev.sfr.net) |
| 2024-08-11 01:08:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3200-543a-91b2-151f-9045-8ee8.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-11 01:11:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-11 01:13:59 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-11 01:25:28 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::aa34) |
| 2024-08-11 01:30:30 +0200 | falafel | (~falafel@2a0c:5a87:3104:4c01::aa34) (Ping timeout: 272 seconds) |
| 2024-08-11 01:36:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-11 01:48:23 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-11 01:50:01 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-08-11 01:51:38 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) (Client Quit) |
| 2024-08-11 01:51:52 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-08-11 01:53:41 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-11 01:54:49 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-11 01:55:54 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) (Client Quit) |
| 2024-08-11 01:56:07 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-11 01:59:16 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2024-08-11 01:59:30 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-11 01:59:57 +0200 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Read error: Connection reset by peer) |
| 2024-08-11 01:59:57 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-11 02:01:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-11 02:02:47 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Client Quit) |
| 2024-08-11 02:04:05 +0200 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-11 02:08:13 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-11 02:10:07 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-08-11 02:13:09 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-11 02:13:10 +0200 | Me-me | (~me-me@kc.randomserver.name) (Changing host) |
| 2024-08-11 02:13:10 +0200 | Me-me | (~me-me@user/me-me) |
| 2024-08-11 02:29:29 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-08-11 02:42:29 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-11 02:52:58 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-11 03:20:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3f64:3c8e:6766:6ea1) (Ping timeout: 260 seconds) |
| 2024-08-11 03:22:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fdcc:57c2:d6b9:26e2) |
| 2024-08-11 03:38:41 +0200 | hayk | (~hayk@37.252.90.243) (Quit: hayk) |
| 2024-08-11 03:44:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-11 03:47:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fdcc:57c2:d6b9:26e2) (Ping timeout: 252 seconds) |
| 2024-08-11 03:49:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a420:6e17:7585:c4d9) |
| 2024-08-11 04:05:05 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-08-11 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-08-11 04:16:18 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: (Just "ZharMeny")) |
| 2024-08-11 04:27:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-11 04:27:28 +0200 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 245 seconds) |
| 2024-08-11 04:29:16 +0200 | td_ | (~td@i5387091D.versanet.de) |
| 2024-08-11 04:39:11 +0200 | xdminsy | (~xdminsy@117.147.71.180) |
| 2024-08-11 04:45:41 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-11 04:50:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-11 04:58:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-11 05:13:02 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-11 05:13:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-08-11 05:14:24 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-08-11 05:31:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-11 05:53:20 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-11 05:58:12 +0200 | aforemny_ | (~aforemny@i59F516DA.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-11 05:59:03 +0200 | aforemny | (~aforemny@2001:9e8:6ccb:c300:522d:c042:a9ff:c506) |
| 2024-08-11 06:03:02 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-08-11 06:03:23 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-08-11 06:10:34 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 260 seconds) |
| 2024-08-11 06:14:38 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-11 06:25:18 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.3.5) |
| 2024-08-11 06:35:42 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-11 06:36:20 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-11 06:47:44 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-08-11 07:02:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-11 07:15:55 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-11 07:40:47 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-11 07:50:45 +0200 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2024-08-11 07:53:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-11 08:05:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-11 08:09:28 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-11 08:13:00 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 2024-08-11 08:21:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-11 08:55:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-11 09:00:07 +0200 | tt1231097832 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-11 09:03:12 +0200 | tt12310978324 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-08-11 09:14:06 +0200 | hseg | (~gesh@46.120.21.97) |
| 2024-08-11 09:22:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-11 09:26:42 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb374dfb4c71c32cc481.dip0.t-ipconnect.de) |
| 2024-08-11 09:43:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-11 09:46:21 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-11 10:02:49 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-11 10:20:19 +0200 | ubert | (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) |
| 2024-08-11 10:22:26 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-11 10:23:31 +0200 | itaipu | (~itaipu@168.121.98.114) (Ping timeout: 264 seconds) |
| 2024-08-11 10:24:58 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-08-11 10:25:31 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-11 10:26:39 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-11 10:28:23 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-11 10:43:19 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-11 10:51:33 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-11 10:54:55 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-11 10:59:16 +0200 | byte | (~byte@149.28.222.189) (Remote host closed the connection) |
| 2024-08-11 10:59:33 +0200 | byte | (~byte@149.28.222.189) |
| 2024-08-11 11:10:34 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-11 11:12:21 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb374dfb4c71c32cc481.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-08-11 11:18:24 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-11 11:27:13 +0200 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Ping timeout: 248 seconds) |
| 2024-08-11 11:27:17 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-11 11:39:08 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-08-11 11:47:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-11 11:47:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-11 11:48:17 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-11 11:48:53 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-08-11 11:53:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-11 11:56:13 +0200 | <haskellbridge> | <iqubic (she/her)> Hmm... cabal repl failing for me... It's telling me /home/avi: createDirectory: permission denied (Permission denied) |
| 2024-08-11 11:56:21 +0200 | <haskellbridge> | <iqubic (she/her)> This is odd, because I'm logged in as the use sophia right now, and this project is somewhere in sophia's home directory. I don't actually have any user named "avi" on this machine! |
| 2024-08-11 12:01:03 +0200 | <mauke> | I've got nothing |
| 2024-08-11 12:01:30 +0200 | <mauke> | random thought: 'env | grep avi' to see if anything "avi" related sticks out |
| 2024-08-11 12:05:07 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-11 12:06:03 +0200 | <haskellbridge> | <iqubic (she/her)> The only thing that comes out is that LS_COLORS has a specific value for "*.avi" files. |
| 2024-08-11 12:21:44 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-11 12:27:42 +0200 | <mauke> | same |
| 2024-08-11 12:38:47 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb374dfb4c71c32cc481.dip0.t-ipconnect.de) |
| 2024-08-11 13:12:59 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-11 13:13:08 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-11 13:14:58 +0200 | hayk | (~hayk@37.252.90.243) |
| 2024-08-11 13:15:33 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 2024-08-11 13:19:51 +0200 | misterfish | (~misterfis@178.229.193.54) |
| 2024-08-11 13:23:04 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-11 13:24:39 +0200 | Inst_ | Inst |
| 2024-08-11 13:28:27 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-11 14:01:13 +0200 | danza | (~danza@user/danza) |
| 2024-08-11 14:08:17 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-08-11 14:13:30 +0200 | Square | (~Square@user/square) |
| 2024-08-11 14:14:59 +0200 | Square | (~Square@user/square) (Client Quit) |
| 2024-08-11 14:15:14 +0200 | Square | (~Square@user/square) |
| 2024-08-11 14:37:47 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-11 15:10:10 +0200 | mniip_ | (mniip@libera/staff/mniip) |
| 2024-08-11 15:11:51 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2024-08-11 15:11:59 +0200 | mniip | (mniip@libera/staff/mniip) (Read error: Connection reset by peer) |
| 2024-08-11 15:17:18 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-11 15:24:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-11 15:24:26 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-11 15:39:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-11 15:48:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-11 15:56:57 +0200 | misterfish | (~misterfis@178.229.193.54) (Ping timeout: 252 seconds) |
| 2024-08-11 15:58:49 +0200 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) |
| 2024-08-11 16:07:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-11 16:09:09 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-11 16:09:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-11 16:11:46 +0200 | <raehik> | In general, is replacing intermediate data types like Either with CPS style going to be more performant? |
| 2024-08-11 16:12:37 +0200 | <raehik> | as I understand, in both cases I'm relying on compiler optimizations. either I hope that it collapses the intermediate value (if possible), or I hope that it inlines things nicely |
| 2024-08-11 16:21:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3101-61f8-c44b-a6bc-c7e1-69a0.rev.sfr.net) |
| 2024-08-11 16:33:32 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-11 16:33:34 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
| 2024-08-11 16:34:54 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-08-11 16:37:25 +0200 | danza | (~danza@user/danza) (Quit: packing) |
| 2024-08-11 16:43:38 +0200 | <Leary> | raehik: Not like /Either/, no. In simple cases it shouldn't matter too much, but it will usually be a little slower. To see significant benefits, the intermediate should be something with more structure (like a list or a tree) and the computation such that you can leverage the fact of certain operations being cheaper in the alternate representation. |
| 2024-08-11 16:43:58 +0200 | <Leary> | In short: only if it fuses. |
| 2024-08-11 16:45:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-08-11 16:46:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-11 16:47:00 +0200 | <raehik> | Leary: thanks. are you saying CPS will be consistently better (assuming implemented correctly)? |
| 2024-08-11 16:48:17 +0200 | <raehik> | microbenchmarks are showing my intermediate Either approach is 10% faster than my CPS |
| 2024-08-11 16:53:38 +0200 | <Leary> | No, I'm saying it will be better /only/ when the circumstances of the computation and your own know-how allow it. |
| 2024-08-11 16:54:39 +0200 | <raehik> | ahh ok. might there be a hard "this one will usually optimize better"? |
| 2024-08-11 16:55:32 +0200 | <raehik> | in my case I was previously constructing a very temporary Either in the middle of stuff tagged with INLINE. I replaced it with passing a continuation |
| 2024-08-11 16:56:22 +0200 | <Leary> | "usually" isn't exactly hard. But as I said, the CPS form will usually be a little slower. |
| 2024-08-11 16:57:25 +0200 | <Leary> | Default to data, bench CPS if you have a niggle. |
| 2024-08-11 16:57:33 +0200 | <raehik> | cool thanks! I had been wrongly assuming how CPS works |
| 2024-08-11 16:57:58 +0200 | <raehik> | (I thought it was like tail-call recursion, that GHC just "magically" knows how to optimize it fairly consistently) |
| 2024-08-11 16:58:48 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-11 17:12:10 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 17:14:02 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Client Quit) |
| 2024-08-11 17:14:35 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 17:20:53 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Quit: Client closed) |
| 2024-08-11 17:21:25 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 17:23:17 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Client Quit) |
| 2024-08-11 17:24:22 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 17:26:23 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Client Quit) |
| 2024-08-11 17:26:26 +0200 | raym | (~ray@user/raym) |
| 2024-08-11 17:30:44 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb374dfb4c71c32cc481.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2024-08-11 17:36:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-08-11 17:37:47 +0200 | euleritian | (~euleritia@dynamic-176-006-134-075.176.6.pool.telefonica.de) |
| 2024-08-11 17:41:43 +0200 | jamesb | (~user@31.94.22.137) |
| 2024-08-11 17:43:35 +0200 | <jamesb> | hi, in the untyped lambda calculus is it possible to create a function that takes any term and returns the Church Boolean TRUE if that term is a bool, otherwise FALSE? |
| 2024-08-11 17:48:12 +0200 | Guest|45 | (~Guest|45@32-81-201-31.ftth.glasoperator.nl) |
| 2024-08-11 17:48:47 +0200 | <ncf> | jamesb: what do you mean by "is a bool"? |
| 2024-08-11 17:49:01 +0200 | <ncf> | as in, is equal to λxy.x or λxy.y ? |
| 2024-08-11 17:50:34 +0200 | Guest|45 | (~Guest|45@32-81-201-31.ftth.glasoperator.nl) (Client Quit) |
| 2024-08-11 17:51:09 +0200 | <monochrom> | There may be a halting problem hiding there. |
| 2024-08-11 17:55:03 +0200 | <ncf> | this looks relevant https://en.wikipedia.org/wiki/Scott%E2%80%93Curry_theorem |
| 2024-08-11 18:00:21 +0200 | hseg | (~gesh@46.120.21.97) (Ping timeout: 248 seconds) |
| 2024-08-11 18:01:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-08-11 18:01:44 +0200 | <jamesb> | ncf: yeah that's right |
| 2024-08-11 18:02:22 +0200 | hseg | (~gesh@46.120.21.97) |
| 2024-08-11 18:03:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-11 18:05:41 +0200 | <jamesb> | This will return "true" if t is a Church bool: λt. (λx.(λy. t x y) true false) true false |
| 2024-08-11 18:06:24 +0200 | <jamesb> | but since we've no idea about the structure of t I don't suppose it can work in general... |
| 2024-08-11 18:06:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-11 18:08:44 +0200 | <monochrom> | Does it work if I give it (λx. x x) (λx. x x) ? |
| 2024-08-11 18:10:03 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-11 18:17:07 +0200 | <ncf> | even assuming you mean "if" and not "only if", i don't think this works? https://f.monade.li/h5T-9O |
| 2024-08-11 18:17:24 +0200 | hayk | (~hayk@37.252.90.243) (Quit: hayk) |
| 2024-08-11 18:18:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-11 18:20:44 +0200 | <jamesb> | ncf: I think you're right ty |
| 2024-08-11 18:23:13 +0200 | jamesb | (~user@31.94.22.137) (Read error: Connection reset by peer) |
| 2024-08-11 18:23:34 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-08-11 18:28:11 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 18:30:41 +0200 | <haskellbridge> | <iqubic (she/her)> cabal repl failing for me... It's telling me /home/avi: createDirectory: permission denied (Permission denied) |
| 2024-08-11 18:30:52 +0200 | <haskellbridge> | <iqubic (she/her)> This is odd, because I'm logged in as the use sophia right now, and this project is somewhere in sophia's home directory. I don't actually have any user named "avi" on this machine. |
| 2024-08-11 18:31:10 +0200 | <haskellbridge> | <iqubic (she/her)> I used to have a user named "avi" on this system, but I'm trans, so when I changed my name, I created a new user, ran "mv /home/avi /home/sophia" and then deleted the old "avi" user. |
| 2024-08-11 18:32:02 +0200 | <monochrom> | Something in $HOME/.cabal/config may have hardcoded /home/avi |
| 2024-08-11 18:32:50 +0200 | <monochrom> | All cabal build products, in fact, have pathnames hardcoded. $HOME/.cabal/store has the lot of them. |
| 2024-08-11 18:32:56 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb372ddfc4847e48f7b9.dip0.t-ipconnect.de) |
| 2024-08-11 18:36:29 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Quit: Client closed) |
| 2024-08-11 18:36:57 +0200 | <haskellbridge> | <iqubic (she/her)> Is there a way I can fix this? |
| 2024-08-11 18:40:53 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 248 seconds) |
| 2024-08-11 18:44:32 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) |
| 2024-08-11 18:49:37 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-11 18:55:05 +0200 | <monochrom> | You can edit $HOME/.cabal/config |
| 2024-08-11 18:56:01 +0200 | <haskellbridge> | <iqubic (she/her)> I don't have a that directory on my system. I'm using NixOS |
| 2024-08-11 18:56:50 +0200 | WorldControl | (~juan@29.sub-75-246-220.myvzw.com) |
| 2024-08-11 18:56:53 +0200 | WorldControl | (~juan@29.sub-75-246-220.myvzw.com) (Client Quit) |
| 2024-08-11 18:57:13 +0200 | <geekosaur> | nixos wouldn't matter. XDG would: it might be ~/.config/cabal/config instead |
| 2024-08-11 19:00:02 +0200 | <haskellbridge> | <iqubic (she/her)> That worked. |
| 2024-08-11 19:01:54 +0200 | <geekosaur> | but you'll still have hardcoded paths in the store, including in binaries: editing won't work. nuke it and start over. (`~/.local/state/cabal/store`) |
| 2024-08-11 19:02:16 +0200 | <geekosaur> | the stack version is under ~/.stack somewhere, but I don't know details; I'm not a stack user |
| 2024-08-11 19:02:33 +0200 | <haskellbridge> | <iqubic (she/her)> I'm not a stack user either. |
| 2024-08-11 19:02:45 +0200 | <geekosaur> | it will also contain hardcoded paths, because that's ultimately a ghc shortcoming |
| 2024-08-11 19:03:06 +0200 | <geekosaur> | (which nix and stack both try to work around, whereas cabal just lives with it) |
| 2024-08-11 19:03:11 +0200 | <haskellbridge> | <iqubic (she/her)> I don't have a ~/.stack config. |
| 2024-08-11 19:03:17 +0200 | <haskellbridge> | <iqubic (she/her)> I don't use stack |
| 2024-08-11 19:17:31 +0200 | kiwiirc | (~kiwiirc@51.75.171.51) (Ping timeout: 256 seconds) |
| 2024-08-11 19:32:57 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-11 19:34:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-11 19:56:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-11 19:58:50 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-08-11 20:10:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-11 20:11:47 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-08-11 20:17:57 +0200 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-11 20:24:37 +0200 | hseg | (~gesh@46.120.21.97) (Ping timeout: 252 seconds) |
| 2024-08-11 20:25:26 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-08-11 20:25:39 +0200 | hseg | (~gesh@46.120.21.97) |
| 2024-08-11 20:39:57 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-11 20:41:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-08-11 20:41:18 +0200 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-11 20:49:00 +0200 | euleritian | (~euleritia@dynamic-176-006-134-075.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-11 20:49:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-11 20:51:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-08-11 20:51:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-11 20:51:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-11 20:51:51 +0200 | califax | (~califax@user/califx) |
| 2024-08-11 20:51:57 +0200 | kiwiirc | (~kiwiirc@198.244.148.174) |
| 2024-08-11 20:53:27 +0200 | kiwiirc | (~kiwiirc@198.244.148.174) (Killed (ozone (No Spam))) |
| 2024-08-11 20:56:32 +0200 | kiwiirc | (~kiwiirc@116.71.166.78) |
| 2024-08-11 20:57:03 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-11 21:01:49 +0200 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-11 21:09:47 +0200 | AlexZenon | (~alzenon@94.233.240.239) (Ping timeout: 265 seconds) |
| 2024-08-11 21:13:10 +0200 | kiwiirc | (~kiwiirc@116.71.166.78) (Quit: Client closed) |
| 2024-08-11 21:16:07 +0200 | kiwiirc | (~kiwiirc@116.71.166.78) |
| 2024-08-11 21:16:59 +0200 | AlexZenon | (~alzenon@94.233.240.239) |
| 2024-08-11 21:23:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-11 21:26:36 +0200 | kiwiirc | (~kiwiirc@116.71.166.78) (Killed (ozone (No Spam))) |
| 2024-08-11 21:27:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-11 21:29:04 +0200 | kiwiirc | (~kiwiirc@103.166.150.118) |
| 2024-08-11 21:31:40 +0200 | kiwiirc15 | (~kiwiirc@103.166.150.118) |
| 2024-08-11 21:37:39 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 2024-08-11 21:38:13 +0200 | fuag1_ | (~fuag1@45.14.193.50) |
| 2024-08-11 21:38:20 +0200 | kiwiirc | (~kiwiirc@103.166.150.118) (Quit: Client closed) |
| 2024-08-11 21:40:23 +0200 | kiwiirc15 | (~kiwiirc@103.166.150.118) (K-Lined) |
| 2024-08-11 21:42:07 +0200 | fraznel | (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-08-11 21:42:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-11 21:42:30 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-08-11 21:48:25 +0200 | hayk | (~hayk@37.252.90.243) |
| 2024-08-11 21:50:17 +0200 | neuroevolutus | (~neuroevol@206.217.206.110) |
| 2024-08-11 21:52:06 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2024-08-11 21:55:51 +0200 | female_student_5 | (~female_st@79.79.255.40) |
| 2024-08-11 21:56:04 +0200 | <fr33domlover> | o/ I'm trying to implement a variant type (without using Any), i.e. given a list of types xs::[Type], it contains a value of exactly one of these types. Here's one of my attempts: http://paste.debian.net/1326111/ |
| 2024-08-11 21:56:48 +0200 | <fr33domlover> | But I'm unsure how to write a function that, gives a x::Type, returns (Maybe x) depending on which type is stored in the HVar |
| 2024-08-11 21:57:53 +0200 | <fr33domlover> | Anyone has ideas? ^_^ I found a Variant type in the HList package but I can't figure out how to use it + it seems to require use of Tagged types which I don't need |
| 2024-08-11 22:04:03 +0200 | hseg | (~gesh@46.120.21.97) (Ping timeout: 258 seconds) |
| 2024-08-11 22:04:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-11 22:05:22 +0200 | neuroevolutus17 | (~neuroevol@37.19.200.158) |
| 2024-08-11 22:07:47 +0200 | <Leary> | fr33domlover: Normally it's written recursively with `Here` and `There` constructors, in which case you can write the function with a typeclass. With this representation you'd need to impose `Typeable` constraints and do it dynamically. |
| 2024-08-11 22:09:13 +0200 | neuroevolutus | (~neuroevol@206.217.206.110) (Ping timeout: 256 seconds) |
| 2024-08-11 22:13:59 +0200 | <fr33domlover> | Thanks Leary! That's the first approach I tried, I'll try it again :) [and I wonder if it's worth creating a package for this if I succeed] |
| 2024-08-11 22:14:54 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-11 22:15:22 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2024-08-11 22:16:44 +0200 | Digit | (~user@179.67.90.146.dyn.plus.net) |
| 2024-08-11 22:19:23 +0200 | sprout | (~quassel@2a02-a448-3a80-0-4450-25ff-7ca4-4590.fixed6.kpn.net) (Ping timeout: 265 seconds) |
| 2024-08-11 22:19:31 +0200 | fuag1_ | (~fuag1@45.14.193.50) (Remote host closed the connection) |
| 2024-08-11 22:19:47 +0200 | fuag1_ | (~fuag1@45.14.193.50) |
| 2024-08-11 22:20:34 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bc7b-9708-368d-aec.fixed6.kpn.net) |
| 2024-08-11 22:24:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-11 22:32:18 +0200 | halloy5409 | (~halloy540@147.235.212.157) |
| 2024-08-11 22:34:13 +0200 | <[exa]> | fr33domlover: whats your usecase for this btw? |
| 2024-08-11 22:36:22 +0200 | <halloy5409> | i need help. i'm trying to run this code https://paste.tomsmeding.com/aSx7OEzp in https://pbv.github.io/haskelite/site/ but i get there an error: "line 4,col 8: expecting operator", but i don't know why |
| 2024-08-11 22:38:37 +0200 | <[exa]> | halloy5409: that points precisely to the patternmatch on (:) right? |
| 2024-08-11 22:38:49 +0200 | <halloy5409> | this code just split a list in specific place into a tuple of two lists. it is working in GHCi without a problem. |
| 2024-08-11 22:39:38 +0200 | <halloy5409> | [exa] it pointing if i'm not wrong to the '(' of the patttern match |
| 2024-08-11 22:40:03 +0200 | <halloy5409> | i mean to (x:xs) |
| 2024-08-11 22:40:36 +0200 | <halloy5409> | how can i fix this? |
| 2024-08-11 22:41:01 +0200 | <ncf> | sounds like their evaluator is broken |
| 2024-08-11 22:41:19 +0200 | <halloy5409> | it is great to know that in this time it is not my fault :-) |
| 2024-08-11 22:41:25 +0200 | <ncf> | https://github.com/pbv/haskelite/issues/new |
| 2024-08-11 22:41:51 +0200 | <[exa]> | halloy5409: interesting, looks like a haskelite issue to me as well |
| 2024-08-11 22:41:58 +0200 | <halloy5409> | ncf: will do! |
| 2024-08-11 22:42:18 +0200 | <[exa]> | OTOH there's no obvious reason why this shouldn't work, they have list patternmatching in working examples |
| 2024-08-11 22:42:33 +0200 | <ncf> | the where clause is throwing it off for some reason |
| 2024-08-11 22:44:01 +0200 | <ncf> | specifically the binding pattern in the where clause |
| 2024-08-11 22:44:13 +0200 | <ncf> | guessing that's just not implemented |
| 2024-08-11 22:45:02 +0200 | <Rembane> | I tried rewriting the code using let and that didn't work |
| 2024-08-11 22:46:20 +0200 | <c_wraith> | possible that it doesn't have irrefutable pattern matches at all? |
| 2024-08-11 22:47:16 +0200 | <c_wraith> | eh, that's probably not it. |
| 2024-08-11 22:47:19 +0200 | <[exa]> | why does their insert-sort example work? I can't see any actual difference between your code and the example |
| 2024-08-11 22:47:31 +0200 | <[exa]> | "actual" as in "syntax-wise" ofc :] |
| 2024-08-11 22:47:48 +0200 | <[exa]> | ( https://pbv.github.io/haskelite/site/insert.html ) |
| 2024-08-11 22:48:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-08-11 22:48:45 +0200 | itaipu | (~itaipu@168.121.98.114) |
| 2024-08-11 22:50:07 +0200 | <[exa]> | mmmmhm |
| 2024-08-11 22:51:45 +0200 | <[exa]> | halloy5409: looks like they don't really support in/where |
| 2024-08-11 22:51:55 +0200 | <[exa]> | this works for me: https://paste.tomsmeding.com/EpwZfdRh |
| 2024-08-11 22:52:29 +0200 | <monochrom> | But "f x = y where y = x" is accepted. :) |
| 2024-08-11 22:52:52 +0200 | <[exa]> | yeah it's weird |
| 2024-08-11 22:53:06 +0200 | <[exa]> | maybe let+patternmatch fails? |
| 2024-08-11 22:53:17 +0200 | <c_wraith> | I modified the insert sort example to have a trivial let in it, and it failed. |
| 2024-08-11 22:53:33 +0200 | <c_wraith> | I think the parser is messed up |
| 2024-08-11 22:53:33 +0200 | <monochrom> | Generally pattern bindings e.g. (x,y) = (1,2) |
| 2024-08-11 22:53:56 +0200 | <c_wraith> | I mean a *trivial* let. |
| 2024-08-11 22:54:09 +0200 | <[exa]> | yeah, `...where (anything,y)=x` fails |
| 2024-08-11 22:54:27 +0200 | <c_wraith> | > let in foo |
| 2024-08-11 22:54:29 +0200 | <lambdabot> | error: |
| 2024-08-11 22:54:29 +0200 | <lambdabot> | • Variable not in scope: foo |
| 2024-08-11 22:54:29 +0200 | <lambdabot> | • Perhaps you meant ‘for’ (imported from Data.Traversable) |
| 2024-08-11 22:54:32 +0200 | <monochrom> | Oh, it doesn't even allow "f x = let y = x in y" :) |
| 2024-08-11 22:54:40 +0200 | <c_wraith> | > let in 1 -- uh, this |
| 2024-08-11 22:54:41 +0200 | <lambdabot> | 1 |
| 2024-08-11 22:54:45 +0200 | <c_wraith> | that breaks it |
| 2024-08-11 22:54:53 +0200 | <c_wraith> | the parser is just not right |
| 2024-08-11 22:54:57 +0200 | <[exa]> | somehow I love to read that as "let the one in!!!" |
| 2024-08-11 22:55:11 +0200 | <c_wraith> | > let in Right 1 |
| 2024-08-11 22:55:12 +0200 | <lambdabot> | Right 1 |
| 2024-08-11 22:55:18 +0200 | <c_wraith> | there, now it's a zombie movie |
| 2024-08-11 22:56:07 +0200 | <[exa]> | lol |
| 2024-08-11 22:57:04 +0200 | <halloy5409> | [exa]: thanks for the code example. i opened an issue. |
| 2024-08-11 22:58:40 +0200 | tv | (~tv@user/tv) |
| 2024-08-11 22:59:36 +0200 | <monochrom> | https://pbv.github.io/haskelite/site/language.html documents not supporting pattern bindings. However, it documents supporting let too. |
| 2024-08-11 23:00:03 +0200 | <c_wraith> | so it really doesn't support irrefutable pattern matches. But it's buggy on top of that. |
| 2024-08-11 23:01:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-11 23:04:17 +0200 | totbwf | (uid402332@id-402332.uxbridge.irccloud.com) |
| 2024-08-11 23:09:30 +0200 | halloy5409 | (~halloy540@147.235.212.157) (Remote host closed the connection) |
| 2024-08-11 23:09:33 +0200 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-11 23:17:38 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3101-61f8-c44b-a6bc-c7e1-69a0.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-11 23:18:49 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3101-61f8-98da-96b5-d3f5-98fb.rev.sfr.net) |
| 2024-08-11 23:22:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3101-61f8-98da-96b5-d3f5-98fb.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-11 23:27:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-08-11 23:30:31 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-08-11 23:31:11 +0200 | Digit | (~user@179.67.90.146.dyn.plus.net) (Ping timeout: 255 seconds) |
| 2024-08-11 23:35:43 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-08-11 23:42:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-11 23:46:02 +0200 | Digit | (~user@user/digit) |
| 2024-08-11 23:46:53 +0200 | CiaoSen | (~Jura@2a05:5800:241:7500:ca4b:d6ff:fec1:99da) |
| 2024-08-11 23:50:25 +0200 | <Leary> | fr33domlover: Spoilers: <https://gist.github.com/LSLeary/544923ed7a2a1f72cdc0f213ebe013b5>. Also, I remembered the name of a package that provides these things: 'union'. |
| 2024-08-11 23:50:33 +0200 | CiaoSen | (~Jura@2a05:5800:241:7500:ca4b:d6ff:fec1:99da) (Client Quit) |