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