| 2025-11-29 00:01:08 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-29 00:01:11 +0100 | califax_ | califax |
| 2025-11-29 00:01:55 +0100 | <haskellbridge> | <loonycyborg> I just wish you could customize typeclass operators |
| 2025-11-29 00:02:17 +0100 | <haskellbridge> | <loonycyborg> like you could declare group(*) and get a multiplicative group :P |
| 2025-11-29 00:03:04 +0100 | <haskellbridge> | <loonycyborg> I guess it's already possible with TH |
| 2025-11-29 00:03:05 +0100 | <monochrom> | Integers, if you just require semigroup, then there are plus, times, min, max. |
| 2025-11-29 00:03:43 +0100 | <monochrom> | For Word you can also throw in bitwise operations :) |
| 2025-11-29 00:04:01 +0100 | <monochrom> | at least and, or, xor, xnor |
| 2025-11-29 00:04:34 +0100 | <EvanR> | what just happened |
| 2025-11-29 00:04:48 +0100 | <EvanR> | you did an exhaustive check against the monoid laws? |
| 2025-11-29 00:04:55 +0100 | <haskellbridge> | <loonycyborg> Like you could make a TH splice that will make a (semi)group over an operator that you pass it |
| 2025-11-29 00:05:29 +0100 | <EvanR> | loonycyborg, it sounds like that would really fuel the "too many operators" crowd |
| 2025-11-29 00:05:46 +0100 | <EvanR> | defining new operators gets hate so you don't want to do it easily |
| 2025-11-29 00:06:08 +0100 | <haskellbridge> | <loonycyborg> but it doesn't count as new operator right? |
| 2025-11-29 00:06:18 +0100 | <haskellbridge> | <loonycyborg> if you only use those that are traditionally groups |
| 2025-11-29 00:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:06:23 +0100 | <haskellbridge> | <loonycyborg> like + * |
| 2025-11-29 00:06:52 +0100 | <EvanR> | was just watching an old Stand Up Maths where he goes over a totally bogus economic formula published by ... a certain government |
| 2025-11-29 00:07:04 +0100 | <EvanR> | it contains * in it as an operator, like, an asterisk |
| 2025-11-29 00:07:10 +0100 | <EvanR> | with fancy formatted math |
| 2025-11-29 00:07:27 +0100 | <monochrom> | I think I saw that, yeah. |
| 2025-11-29 00:07:34 +0100 | <EvanR> | as an aside he observed... that's not a thing you do xD |
| 2025-11-29 00:08:03 +0100 | <EvanR> | so no you don't usually see asterisk as a group operator |
| 2025-11-29 00:08:08 +0100 | <haskellbridge> | <loonycyborg> I remember reading somewhere about a window system that overloaded + to add new widgets or something :P |
| 2025-11-29 00:08:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 00:08:44 +0100 | <EvanR> | to be fair ascii doesn't have that many symbols so you might think that's why everything can be +-ed in designers minds |
| 2025-11-29 00:08:52 +0100 | <EvanR> | but I think it's a deeper psychosis |
| 2025-11-29 00:08:53 +0100 | <haskellbridge> | <loonycyborg> well multiplication is a group too in most cases. |
| 2025-11-29 00:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:11:06 +0100 | <haskellbridge> | <loonycyborg> I was just thinking that in many cases particular operator just happens to form a group |
| 2025-11-29 00:11:18 +0100 | <haskellbridge> | <loonycyborg> then you can save some typing by generating a group for it with TH |
| 2025-11-29 00:11:28 +0100 | <haskellbridge> | <loonycyborg> and then superclassing it |
| 2025-11-29 00:12:03 +0100 | <monochrom> | Until one says something like "$130 plus 5% plus 6%" OK OK that's group actions. :) |
| 2025-11-29 00:21:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:24:28 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-29 00:25:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 00:26:23 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-29 00:28:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 00:28:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-29 00:37:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:41:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:42:52 +0100 | Square | (~Square@user/square) Square |
| 2025-11-29 00:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 00:54:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 00:58:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:03:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:06:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-29 01:07:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 01:10:32 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-29 01:11:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 01:18:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:23:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-29 01:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:25:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 01:31:15 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 01:31:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 01:31:49 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 01:34:08 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-29 01:34:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:35:38 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-29 01:37:22 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-29 01:38:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:49:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 01:53:30 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 01:53:44 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 01:54:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 02:05:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:05:36 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 02:05:45 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 02:09:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 02:12:15 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 02:12:30 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 02:15:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:20:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:23:51 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-29 02:24:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 02:25:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-29 02:26:51 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:32:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 02:33:55 +0100 | acidjnk | (~acidjnk@p200300d6e71719110157f51e13fe5b99.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-29 02:35:37 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-29 02:35:41 +0100 | Googulator85 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 02:35:47 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 02:35:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:35:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-29 02:36:05 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-29 02:37:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-29 02:38:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 02:42:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 02:43:02 +0100 | trickard_ | trickard |
| 2025-11-29 02:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 02:55:37 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 02:57:42 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 2025-11-29 02:57:42 +0100 | omidmash9 | omidmash |
| 2025-11-29 02:58:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 03:03:45 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-29 03:09:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:13:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 03:23:40 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 2025-11-29 03:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:27:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 03:29:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 03:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:38:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 03:40:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 03:46:36 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-29 03:48:44 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-11-29 03:49:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 03:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 03:59:32 +0100 | EvanR_ | EvanR |
| 2025-11-29 04:02:53 +0100 | trickard | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 04:03:07 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 04:04:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:05:45 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:05:49 +0100 | Googulator85 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 04:06:29 +0100 | Dhark8 | Shark8 |
| 2025-11-29 04:09:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 04:16:55 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 04:17:36 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 04:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:24:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 04:30:37 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-29 04:32:34 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-29 04:34:03 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 04:34:28 +0100 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2025-11-29 04:35:42 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:35:45 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 04:35:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:39:18 +0100 | Googulator37 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 04:39:27 +0100 | Googulator95 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Client Quit) |
| 2025-11-29 04:39:55 +0100 | hamster | (~ham@user/ham) (Ping timeout: 246 seconds) |
| 2025-11-29 04:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 04:44:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 04:51:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 04:51:58 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-29 04:53:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-29 04:54:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 04:56:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 04:56:30 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 04:59:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 05:01:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:02:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-11-29 05:05:09 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 05:05:23 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 05:05:42 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 05:05:43 +0100 | Googulator37 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 05:06:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-29 05:10:07 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-29 05:15:39 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 05:16:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:18:04 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-29 05:21:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 05:21:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:22:17 +0100 | annamalai | (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) annamalai |
| 2025-11-29 05:26:34 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 265 seconds) |
| 2025-11-29 05:30:25 +0100 | gawen_ | (~gawen@user/gawen) (Quit: cya) |
| 2025-11-29 05:31:11 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-11-29 05:32:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:35:06 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:38:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:39:36 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-29 05:39:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:45:36 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-29 05:45:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-29 05:49:38 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-11-29 05:49:56 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-29 05:50:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 05:52:59 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-29 05:54:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 05:54:52 +0100 | trickard_ | trickard |
| 2025-11-29 05:57:16 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-29 05:58:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 06:00:30 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-29 06:00:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 06:05:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:07:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 06:09:19 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 264 seconds) |
| 2025-11-29 06:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 06:10:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2025-11-29 06:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:25:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 06:28:00 +0100 | <gentauro> | geekosaur: and EvanR thx for answers. I guess you are right. `map fromEnum` it is :) |
| 2025-11-29 06:28:27 +0100 | <EvanR> | :t map fromEnum |
| 2025-11-29 06:28:28 +0100 | <lambdabot> | Enum a => [a] -> [Int] |
| 2025-11-29 06:28:45 +0100 | <EvanR> | good |
| 2025-11-29 06:28:50 +0100 | <gentauro> | :) |
| 2025-11-29 06:35:43 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 06:35:53 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 06:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:40:56 +0100 | Googulator73 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 06:41:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 06:41:02 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-29 06:51:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 06:55:14 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-11-29 06:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 06:57:02 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-11-29 07:02:12 +0100 | chenjf | (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 2025-11-29 07:02:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:03:05 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-11-29 07:06:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 07:07:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 07:07:41 +0100 | chenjf | (~chenjf@68.64.178.54) (Client Quit) |
| 2025-11-29 07:08:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 07:16:09 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-29 07:17:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:22:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 07:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 07:35:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 07:40:40 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 07:40:48 +0100 | Googulator69 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 07:48:40 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-11-29 07:50:14 +0100 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 07:51:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 07:52:13 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-29 07:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 08:01:05 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-29 08:03:28 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) |
| 2025-11-29 08:03:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:05:08 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2025-11-29 08:07:31 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 264 seconds) |
| 2025-11-29 08:07:31 +0100 | omidmash2 | omidmash |
| 2025-11-29 08:07:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:09:56 +0100 | vardhan | (~vardhan@122.172.82.9) |
| 2025-11-29 08:18:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:23:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:26:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 08:29:48 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-29 08:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:38:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 08:38:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 08:49:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 08:50:15 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-11-29 08:50:51 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-29 08:54:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 09:04:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 09:15:50 +0100 | Googulator69 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 09:15:52 +0100 | Googulator88 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 09:18:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 09:20:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:24:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 09:28:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 09:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:39:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 09:43:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 09:45:45 +0100 | Googulator88 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 09:45:50 +0100 | Googulator92 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 09:50:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 09:53:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-29 09:54:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-29 09:55:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 09:58:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-29 10:05:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:05:58 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 10:06:37 +0100 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-29 10:07:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-29 10:11:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 10:13:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 10:15:42 +0100 | Googulator92 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 10:15:45 +0100 | Googulator43 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 10:20:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-29 10:23:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:27:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 10:29:18 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-29 10:31:31 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Remote host closed the connection) |
| 2025-11-29 10:36:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-29 10:38:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:41:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:79fd:b08e:273:4770) (Remote host closed the connection) |
| 2025-11-29 10:41:54 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) |
| 2025-11-29 10:43:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 10:45:43 +0100 | Googulator86 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 10:45:46 +0100 | Googulator43 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 10:54:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 10:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:06:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:06:53 +0100 | pakettiale | (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) pakettiale |
| 2025-11-29 11:08:37 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 2025-11-29 11:11:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-29 11:13:15 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-29 11:15:44 +0100 | Googulator86 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 11:15:45 +0100 | Googulator81 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 11:16:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-11-29 11:21:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 11:21:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:26:26 +0100 | trickard_ | trickard |
| 2025-11-29 11:27:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-29 11:28:56 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-29 11:33:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 11:37:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:40:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 11:40:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 11:41:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 11:42:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:49a4:4194:906:956f) (Ping timeout: 255 seconds) |
| 2025-11-29 11:43:35 +0100 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-29 11:45:32 +0100 | Googulator81 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 11:45:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) |
| 2025-11-29 11:45:39 +0100 | Googulator22 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 11:46:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-11-29 11:47:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 11:52:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 11:58:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-29 12:05:42 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-29 12:05:51 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7ffd:6c2b:e0d9:4e8a) (Remote host closed the connection) |
| 2025-11-29 12:06:11 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) |
| 2025-11-29 12:07:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:11:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 12:15:41 +0100 | Googulator53 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 12:15:45 +0100 | Googulator22 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 12:17:38 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-11-29 12:18:33 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-29 12:22:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:25:53 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:638:5669:bf96:87f8) (Remote host closed the connection) |
| 2025-11-29 12:26:30 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) |
| 2025-11-29 12:27:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 12:32:15 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-29 12:32:18 +0100 | qqe | (~qqq@185.54.22.255) |
| 2025-11-29 12:33:12 +0100 | n0den1te | (~n0den1te@106.222.223.139) n0den1te |
| 2025-11-29 12:34:13 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 2025-11-29 12:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:41:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-29 12:42:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 12:45:55 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:490e:7541:60ae:9b93) (Remote host closed the connection) |
| 2025-11-29 12:46:20 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) |
| 2025-11-29 12:47:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 12:49:30 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-29 12:50:14 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-11-29 12:52:22 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-29 12:53:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 12:53:37 +0100 | img | (~img@user/img) img |
| 2025-11-29 13:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-29 13:00:48 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-29 13:04:24 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-29 13:04:45 +0100 | yarl | (~yarl@user/yarl) yarl |
| 2025-11-29 13:05:57 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:80c6:1c1c:373b:8b3c) (Remote host closed the connection) |
| 2025-11-29 13:06:12 +0100 | <yarl> | Hello, I got "Error 503 Backend is unhealthy" for many links on downloads.haskell.org (e.g. https://downloads.haskell.org/~ghc/latest/) |
| 2025-11-29 13:06:34 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) |
| 2025-11-29 13:08:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:08:58 +0100 | <yarl> | Am I alone? Is it known? |
| 2025-11-29 13:09:11 +0100 | <[exa]> | you're not alone |
| 2025-11-29 13:09:36 +0100 | <jreicher> | The explicitly versioned links work for me though |
| 2025-11-29 13:09:49 +0100 | <jreicher> | The stuff linked to from https://www.haskell.org/ghc/ |
| 2025-11-29 13:09:57 +0100 | <[exa]> | anyway yeah there've been minor capacity issues, iirc mainly triggered by chatbots scraping stuff 103457294857 times everyday |
| 2025-11-29 13:10:32 +0100 | n0den1te | (~n0den1te@106.222.223.139) (Ping timeout: 240 seconds) |
| 2025-11-29 13:12:30 +0100 | <yarl> | I can't access gitlab.haskell.org, connection has timed out. |
| 2025-11-29 13:12:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 13:13:36 +0100 | <[exa]> | same here |
| 2025-11-29 13:16:01 +0100 | <[exa]> | actually if this persists for a weird amount of time, ask in #hackage |
| 2025-11-29 13:17:05 +0100 | <yarl> | I want to access https://gitlab.haskell.org/ghc/ghc/wikis/GHC%20Status#all-released-ghc-versions to know and get first aarch64 supported ghc. I think that it started being distributed with 8.2.1 by navigating through https://downloads.haskell.org/~ghc, I can reach https://downloads.haskell.org/~ghc/8.2.1/ but not https://downloads.haskell.org/~ghc/8.2.1/ghc-8.2.1-aarch64-deb8-linux.tar.xz. |
| 2025-11-29 13:17:53 +0100 | <yarl> | I am doing this to try to package ghc for aarch64 into guix. |
| 2025-11-29 13:20:43 +0100 | <[exa]> | that might be in the release notes in the manual actually |
| 2025-11-29 13:21:06 +0100 | <yarl> | I still need the archive. |
| 2025-11-29 13:21:23 +0100 | <yarl> | But I'll take a look. |
| 2025-11-29 13:22:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 13:22:10 +0100 | <[exa]> | from git the first mention of aarch64 is in ghc-7.11-start-35-g58ac9c8f6e9 (from git describe) |
| 2025-11-29 13:23:00 +0100 | <yarl> | I am looking specifically (I thlink) for the first aarch64 binary distributed |
| 2025-11-29 13:23:39 +0100 | <yarl> | I can't reach the manual at https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
| 2025-11-29 13:23:44 +0100 | <[exa]> | ah ok well, that might need the actual archive |
| 2025-11-29 13:23:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:24:38 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2025-11-29 13:26:00 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8a12:78a1:5565:e56f) (Remote host closed the connection) |
| 2025-11-29 13:26:09 +0100 | <yarl> | That's early to give up but I can't access anything. |
| 2025-11-29 13:26:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) |
| 2025-11-29 13:28:16 +0100 | <[exa]> | yarl: web.archive.org ? |
| 2025-11-29 13:28:25 +0100 | <[exa]> | at least the link listings should be readable there |
| 2025-11-29 13:28:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 13:31:00 +0100 | <mreh> | how can I traverse over the first element of a 2-tuple? |
| 2025-11-29 13:31:15 +0100 | <mreh> | Probably lots of ways to do it |
| 2025-11-29 13:32:15 +0100 | <[exa]> | yes lots of ways |
| 2025-11-29 13:32:26 +0100 | <[exa]> | :D |
| 2025-11-29 13:33:16 +0100 | qqe | (~qqq@185.54.22.255) (Remote host closed the connection) |
| 2025-11-29 13:33:42 +0100 | <[exa]> | mreh: there was a Swapped newtype adaptor somewhere |
| 2025-11-29 13:33:50 +0100 | <Leary> | :t \f -> bitraverse @(,) f pure |
| 2025-11-29 13:33:51 +0100 | <lambdabot> | Applicative f => (a -> f c) -> (a, d) -> f (c, d) |
| 2025-11-29 13:34:08 +0100 | <[exa]> | <3 ^ |
| 2025-11-29 13:36:49 +0100 | <mreh> | hoogle is down :( |
| 2025-11-29 13:37:34 +0100 | <mreh> | can it be done with an arbitrary lens? |
| 2025-11-29 13:37:46 +0100 | <mreh> | feels like that's something I should have in my toolbox |
| 2025-11-29 13:38:55 +0100 | <mreh> | bitraverse sounds like it should be analogous to bimap |
| 2025-11-29 13:38:59 +0100 | <mreh> | :t bimap |
| 2025-11-29 13:39:00 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d |
| 2025-11-29 13:39:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:39:55 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2025-11-29 13:41:45 +0100 | <[exa]> | mreh: hoogle is many https://hoogle.mangoiv.com/?q=Swapped |
| 2025-11-29 13:42:46 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c69d:44e0:8637:bad1) (Ping timeout: 246 seconds) |
| 2025-11-29 13:43:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 13:45:20 +0100 | <mreh> | :t traverseOf _1 |
| 2025-11-29 13:45:21 +0100 | <lambdabot> | (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t |
| 2025-11-29 13:45:58 +0100 | Googulator11 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 13:46:03 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) |
| 2025-11-29 13:46:18 +0100 | <mreh> | > traverseOf _1 (Right . (+1)) (1, 'a') |
| 2025-11-29 13:46:20 +0100 | <lambdabot> | Right (2,'a') |
| 2025-11-29 13:46:32 +0100 | Googulator53 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 13:47:36 +0100 | <[exa]> | yeah lenses might be useful |
| 2025-11-29 13:48:05 +0100 | <mreh> | [exa]: local Hoogle + Hackage would be so useful for offline, I seem to remember some tooling around that |
| 2025-11-29 13:48:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 13:48:32 +0100 | <[exa]> | I've got that in my todolist for years |
| 2025-11-29 13:48:56 +0100 | <[exa]> | it's supposed to "just work" yet never really cared because there's some hoogle online almost any time |
| 2025-11-29 13:49:02 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-29 13:51:52 +0100 | <mreh> | if I had to travel, I might consider it |
| 2025-11-29 13:52:03 +0100 | <mreh> | but then there's internet almost everywhere now |
| 2025-11-29 13:54:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 13:56:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 13:57:49 +0100 | <Leary> | Local hoogle is snappier, since it doesn't have to query some webserver on every single keypress. It's also quite trivial to set up on NixOS, not sure about other systems. |
| 2025-11-29 13:58:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 13:59:53 +0100 | yarl | (~yarl@user/yarl) (Killed buffer) |
| 2025-11-29 14:01:49 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2025-11-29 14:05:26 +0100 | Square | (~Square@user/square) Square |
| 2025-11-29 14:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:11:23 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-29 14:14:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 14:24:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b802:6ec:1472:e908) |
| 2025-11-29 14:24:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:27:34 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ad9:1516:2389:208a) (Remote host closed the connection) |
| 2025-11-29 14:29:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 14:31:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:42:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:47:11 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-29 14:47:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 14:49:30 +0100 | <__monty__> | Nix makes local Hoogle as trivial as setting withHoogle to true. |
| 2025-11-29 14:56:58 +0100 | <dutchie> | seems like I have to dick around with firefox localfilelinks permissions though :/ |
| 2025-11-29 14:58:07 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-29 14:58:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 14:59:16 +0100 | <Clint> | on debian, apt install hoogle |
| 2025-11-29 15:00:30 +0100 | <dutchie> | the issue seems to be that nix-installed `hoogle serve` (via withHoogle) links to something like file:///nix/store/v3x1jakad8zvajivhn728wwflq4invfz-ghc-9.12.2-doc/share/doc/ghc/html/libraries/bytestring-0.12.2.0-b89d/Data-ByteString.html |
| 2025-11-29 15:00:42 +0100 | <dutchie> | but firefox doesn't allow file:// links from http origins |
| 2025-11-29 15:02:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:02:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 15:03:45 +0100 | <__monty__> | Clint: Does it index packages installed through apt or are you responsible for running the indexing and such? That's the part that Nix makes more convenient. |
| 2025-11-29 15:04:42 +0100 | <[exa]> | ok I guess it's time to try now |
| 2025-11-29 15:04:43 +0100 | <[exa]> | :D |
| 2025-11-29 15:04:52 +0100 | <dutchie> | https://kb.mozillazine.org/Links_to_local_pages_do_not_work seems to do the trick |
| 2025-11-29 15:08:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-29 15:09:17 +0100 | <[exa]> | dutchie: turns out hoogle --local option enables the file:// links |
| 2025-11-29 15:09:31 +0100 | <[exa]> | no obvious way to force-disable it tho but you might find what triggers it |
| 2025-11-29 15:10:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:12:00 +0100 | <dutchie> | ah that does the trick, rewriting file:// to some http://localhost:8080/file/ proxy thing |
| 2025-11-29 15:15:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 15:15:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 15:16:20 +0100 | <[exa]> | anyway now that I have `hoogle serve` running, is there some easy way to point it to local database or so? |
| 2025-11-29 15:19:48 +0100 | <[exa]> | oh well https://magnus.therning.org/2024-07-13-hoogle-setup-for-local-development.html |
| 2025-11-29 15:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:30:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 15:31:10 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:81e5:516f:14c0:9e92) (Remote host closed the connection) |
| 2025-11-29 15:33:10 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 256 seconds) |
| 2025-11-29 15:35:55 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-11-29 15:35:58 +0100 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-11-29 15:41:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 15:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 15:53:21 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-29 15:53:32 +0100 | Jackneill | (~Jackneill@178-164-177-218.pool.digikabel.hu) Jackneill |
| 2025-11-29 15:56:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:00:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 16:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:02:31 +0100 | scubagear | (~scubagear@190-2-131-159.hosted-by-worldstream.net) scubagear |
| 2025-11-29 16:11:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:12:30 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-29 16:15:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 16:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 16:27:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:30:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 16:31:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:32:10 +0100 | annamalai | (~annamalai@2409:4042:4dbf:aad9::9e8a:ad13) (Ping timeout: 246 seconds) |
| 2025-11-29 16:32:39 +0100 | annamalai | (~annamalai@117.246.94.92) annamalai |
| 2025-11-29 16:33:22 +0100 | Googulator11 | Googulator |
| 2025-11-29 16:34:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 16:41:07 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-11-29 16:42:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 16:44:05 +0100 | pakettiale | (~pakettial@iptv-hkibng11-58c065-228.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2025-11-29 16:46:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 16:47:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 16:54:51 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-11-29 16:55:12 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-11-29 16:57:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:00:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 17:02:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 17:07:33 +0100 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-11-29 17:11:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 17:11:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-11-29 17:12:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:18:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 17:28:31 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) |
| 2025-11-29 17:28:48 +0100 | scubagear | (~scubagear@190-2-131-159.hosted-by-worldstream.net) (Quit: leaving) |
| 2025-11-29 17:28:49 +0100 | Guest71 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 17:30:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:33:49 +0100 | Guest49 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) |
| 2025-11-29 17:34:11 +0100 | Guest49 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Client Quit) |
| 2025-11-29 17:35:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 17:35:40 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 17:35:40 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 17:36:57 +0100 | Guest71 | (~Guest71@2607:f130:0:105:216:3cff:fef2:3995) (Ping timeout: 250 seconds) |
| 2025-11-29 17:45:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 17:50:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-29 17:55:28 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 17:57:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 17:58:11 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 18:00:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-29 18:00:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-29 18:01:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:03:07 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.7.1) |
| 2025-11-29 18:03:21 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-29 18:05:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-29 18:05:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 18:06:20 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-29 18:08:13 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-11-29 18:09:55 +0100 | annamalai | (~annamalai@117.246.94.92) (Ping timeout: 240 seconds) |
| 2025-11-29 18:10:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-29 18:12:04 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 2025-11-29 18:12:04 +0100 | polykernel_ | polykernel |
| 2025-11-29 18:13:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:15:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-29 18:18:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 18:23:46 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2025-11-29 18:24:34 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-29 18:25:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 18:25:32 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 18:26:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 18:28:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:32:32 +0100 | annamalai | (~annamalai@117.249.152.21) annamalai |
| 2025-11-29 18:33:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 18:35:37 +0100 | Googulator84 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 18:35:38 +0100 | Googulator90 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 18:36:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-29 18:36:56 +0100 | Psychotic1 | (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) |
| 2025-11-29 18:37:43 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-29 18:44:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 18:44:16 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-29 18:48:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-29 18:48:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 18:54:30 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 18:55:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 18:57:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 18:59:21 +0100 | Psychotic1 | (~Psychotic@2600:1007:b054:2f1b:a19f:e91e:5d27:9a9) (Quit: Leaving) |
| 2025-11-29 18:59:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-29 19:02:46 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-29 19:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-29 19:05:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-29 19:06:18 +0100 | annamalai | (~annamalai@117.249.152.21) (Ping timeout: 265 seconds) |
| 2025-11-29 19:06:36 +0100 | annamalai | (~annamalai@157.32.203.114) annamalai |
| 2025-11-29 19:08:54 +0100 | <haskellbridge> | <Zemyla> Silly thought: Add null1 to Data.Foldable1 as the default for Foldable.null. null1 :: Foldable1 f => f a -> Bool; null1 _ = False |
| 2025-11-29 19:13:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 19:14:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:14:45 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.7.1) |
| 2025-11-29 19:15:33 +0100 | marlino | (~marlino@96-8-193-33.block0.gvtc.com) |
| 2025-11-29 19:15:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-29 19:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 19:23:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-29 19:26:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 19:27:24 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2025-11-29 19:27:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 19:29:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 19:29:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:34:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 19:35:40 +0100 | Googulator1 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 19:35:45 +0100 | Googulator90 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 19:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 19:46:43 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-29 19:48:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-29 19:48:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-29 19:49:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-29 20:00:05 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 20:00:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:00:28 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 20:00:43 +0100 | skum | (~skum@user/skum) skum |
| 2025-11-29 20:04:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 20:09:01 +0100 | <int-e> | Why does the innermost () here become a pattern match failure (patError)? |
| 2025-11-29 20:10:14 +0100 | <int-e> | (The code isn't supposed to make sense; the whole GHC.ArrayArray module is quite suspicious. It's also deprecated.) |
| 2025-11-29 20:15:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:18:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 20:19:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 20:22:41 +0100 | <[exa]> | int-e: where here? |
| 2025-11-29 20:22:55 +0100 | <int-e> | Err. Link: https://paste.tomsmeding.com/E5PQOOx1 |
| 2025-11-29 20:22:57 +0100 | <[exa]> | (maybe a link didn't get through) |
| 2025-11-29 20:22:59 +0100 | <[exa]> | ah |
| 2025-11-29 20:23:17 +0100 | <int-e> | Nah, I forgot to paste the link somehow. |
| 2025-11-29 20:24:22 +0100 | <[exa]> | it can't match right? |
| 2025-11-29 20:25:16 +0100 | <int-e> | "it"? surely the readMutableByteArrayArray# returns something and _ would match that. The () isn't a pattern, it's a value. |
| 2025-11-29 20:25:17 +0100 | <[exa]> | (the indentation of _ is fishy to me) |
| 2025-11-29 20:25:49 +0100 | <int-e> | ... |
| 2025-11-29 20:26:14 +0100 | <int-e> | Right. Who added EmptyCase as a default, grr. |
| 2025-11-29 20:26:24 +0100 | <int-e> | Thanks! |
| 2025-11-29 20:27:25 +0100 | <[exa]> | I got recently pwned with tons of such errors that propagate upwards to the closest innocent start of a `do` block |
| 2025-11-29 20:27:43 +0100 | <[exa]> | good to see the experience paid off :D :D |
| 2025-11-29 20:28:22 +0100 | <int-e> | I'll add {} since I don't want to increase the indentation depth |
| 2025-11-29 20:29:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-29 20:29:42 +0100 | <int-e> | Cool. I got the core dump I wanted. |
| 2025-11-29 20:29:48 +0100 | <[exa]> | <3 |
| 2025-11-29 20:30:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-29 20:30:41 +0100 | <int-e> | Also, -Wall would've pointed me at the issue. |
| 2025-11-29 20:30:45 +0100 | <monochrom> | That would have the opposite meaning in a C channel. :) |
| 2025-11-29 20:30:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:33:31 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-29 20:34:11 +0100 | <int-e> | FWIW: (note the first line) https://paste.tomsmeding.com/I8vQzBzx |
| 2025-11-29 20:35:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 20:37:06 +0100 | <[exa]> | aaaanyway, is there someone good with Streaming package here? I'm trying to get some rule of thumb on how to understand how stuff like this https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:separate can stream properly. |
| 2025-11-29 20:38:33 +0100 | <[exa]> | (In short the example there writes into the 2 files concurrently (the IO actions interleaved) and I'm trying to find the piece of code that makes it happen) |
| 2025-11-29 20:39:55 +0100 | <[exa]> | internally the code leads to https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Internal.html#v:destroyExposed and there I'm lost. |
| 2025-11-29 20:43:30 +0100 | <[exa]> | ok the `destroyExposed` is just foldr for streams, which is cool but helps neither |
| 2025-11-29 20:44:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 20:46:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 20:46:33 +0100 | trickard_ | trickard |
| 2025-11-29 20:47:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 20:49:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-29 20:49:20 +0100 | ljdarj1 | ljdarj |
| 2025-11-29 20:49:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-29 20:50:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 20:51:03 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2025-11-29 20:51:49 +0100 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-11-29 20:51:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-11-29 20:52:56 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-29 20:55:29 +0100 | <int-e> | [exa]: The example doesn't type-check. |
| 2025-11-29 20:55:44 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:7613:72d0:c05e:cd65) (Remote host closed the connection) |
| 2025-11-29 20:55:48 +0100 | <[exa]> | how come (it does for me) |
| 2025-11-29 20:56:26 +0100 | <[exa]> | (as in, my ghci is okay with it, my head doesn't typecheck tho) |
| 2025-11-29 20:58:02 +0100 | <int-e> | what is your S? mine is Streaming.Prelude from streaming-0.2.4.0 |
| 2025-11-29 20:59:28 +0100 | <[exa]> | yes |
| 2025-11-29 20:59:34 +0100 | <[exa]> | also `import Streaming` with no qual |
| 2025-11-29 21:00:04 +0100 | <int-e> | [exa]: https://paste.tomsmeding.com/OFa4FdLZ |
| 2025-11-29 21:01:01 +0100 | <int-e> | The non-writing parts do work, I guess. |
| 2025-11-29 21:01:03 +0100 | <[exa]> | ah might got hitten by monomorphism |
| 2025-11-29 21:01:09 +0100 | <[exa]> | try full: S.stdoutLn . S.map ("even:"++) . S.show $ S.stdoutLn . S.show $ separate $ S.maps (S.distinguish even) $ S.each [1..10::Int] |
| 2025-11-29 21:01:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:01:58 +0100 | <[exa]> | (a bit different but essentially the same thing) |
| 2025-11-29 21:01:59 +0100 | <int-e> | [exa]: The type of S.writeFile is too restricted. |
| 2025-11-29 21:02:41 +0100 | <int-e> | Inherently so because there's no anchor point for opening the file otherwise. |
| 2025-11-29 21:03:19 +0100 | <[exa]> | you're right, ah you're right it actually needs MonadIO but it returns a different monad than IO |
| 2025-11-29 21:03:23 +0100 | <[exa]> | wh |
| 2025-11-29 21:03:37 +0100 | [exa] | produces a loud *click* |
| 2025-11-29 21:03:37 +0100 | <int-e> | That's not an issue for S.stdoutLn which just has to grab the global stdout. |
| 2025-11-29 21:04:16 +0100 | <[exa]> | I think I understood it on the error here |
| 2025-11-29 21:05:01 +0100 | <[exa]> | the stream is never really split, that S.stdoutLn in the middle literally just converts one half of it to side effects |
| 2025-11-29 21:05:14 +0100 | <[exa]> | which is why it needs generic monad |
| 2025-11-29 21:05:17 +0100 | <[exa]> | ok gooooooooooooood |
| 2025-11-29 21:06:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 21:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 21:06:31 +0100 | <int-e> | Anyway. IIUC it's up to the final consumers (like stdoutLn) to process steps and effects in a timely manner so that GC can kick in and keep memory usage low. Stream's MonadIO instance plays into this as well I guess. |
| 2025-11-29 21:07:11 +0100 | <int-e> | But `liftIO` will just wrap the effect, right? |
| 2025-11-29 21:07:24 +0100 | <[exa]> | yeah |
| 2025-11-29 21:10:37 +0100 | <int-e> | Hmm. I think I'm wrong about the anchor point. Also, look at this older type: https://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming-Prelude.html#v:writeFile |
| 2025-11-29 21:11:43 +0100 | <int-e> | Have fun finding the ticket or PR or other rationale for why they changed it. My guess is timely closing of files in the presence of exceptions. |
| 2025-11-29 21:11:45 +0100 | <[exa]> | yeah they now have withFile there, and they'd need unliftIO to make the stuff work inside |
| 2025-11-29 21:13:50 +0100 | <int-e> | You can still open files beforehand and then use the awkwardly named https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:toHandle |
| 2025-11-29 21:15:33 +0100 | <[exa]> | yeah |
| 2025-11-29 21:15:39 +0100 | <[exa]> | I'm gonna send them a patch |
| 2025-11-29 21:15:43 +0100 | <[exa]> | anyway, thanks! |
| 2025-11-29 21:16:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:16:47 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:18:42 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-11-29 21:19:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-29 21:20:09 +0100 | <int-e> | (And toHandle does the obvious thing: use `hPutStrLn` for each piece received, and execute other effects as they arrive) |
| 2025-11-29 21:20:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 21:21:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:23:05 +0100 | <[exa]> | here we go https://github.com/haskell-streaming/streaming/pull/130 |
| 2025-11-29 21:23:27 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-29 21:23:50 +0100 | <[exa]> | nvm, time to sleep :D |
| 2025-11-29 21:23:52 +0100 | <[exa]> | o/ |
| 2025-11-29 21:28:18 +0100 | <Clint> | __monty__: it indexes them |
| 2025-11-29 21:31:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:33:16 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 21:36:04 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 21:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 21:40:42 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-29 21:40:47 +0100 | Googulator1 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 21:45:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-11-29 21:47:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:49:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 21:51:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 22:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 22:04:30 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-29 22:05:29 +0100 | Googulator92 | Googulator |
| 2025-11-29 22:05:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-11-29 22:07:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 22:14:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 22:18:15 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-29 22:18:31 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-29 22:21:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 22:24:55 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 22:27:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 22:30:37 +0100 | Guest56 | (~Guest56@38.49.92.193) |
| 2025-11-29 22:32:19 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-29 22:32:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 22:37:23 +0100 | <Guest56> | I need help with some haskell syntax. I have a really long type signature and I need a quick way of making sure that the parts of it which are equal are represented in the signature itself. (Explanation follows:) |
| 2025-11-29 22:37:23 +0100 | <Guest56> | Signature: |
| 2025-11-29 22:37:24 +0100 | <Guest56> | type var1 = String |
| 2025-11-29 22:37:24 +0100 | <Guest56> | type var2 = String |
| 2025-11-29 22:37:25 +0100 | <Guest56> | … some code … |
| 2025-11-29 22:37:25 +0100 | <Guest56> | let ta = typeDeconstruct …. (This function returns a Maybe type) |
| 2025-11-29 22:37:26 +0100 | <Guest56> | … some more code |
| 2025-11-29 22:37:26 +0100 | <Guest56> | let Just (MyType var1 var2 -> MyType var1’ var3) = ta …. Made sure that ta is not a Nothing already |
| 2025-11-29 22:37:27 +0100 | <Guest56> | In if var1 == var1’ |
| 2025-11-29 22:37:27 +0100 | <Guest56> | then … |
| 2025-11-29 22:37:28 +0100 | <Guest56> | else |
| 2025-11-29 22:37:28 +0100 | <Guest56> | I want to be able to do Just (MyType var1 var2 -> MyType var1 var3) …. Is there an extension for this? The actual code has over 8 places in which var1 is used and it is not realistic to keep adding apostrophes and do 56 comparisons |
| 2025-11-29 22:37:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 22:43:34 +0100 | <Guest56> | anyone? |
| 2025-11-29 22:48:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 22:54:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 23:01:31 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2025-11-29 23:01:42 +0100 | <pavonia> | What syntax is the arrow in "let Just (MyType var1 var2 -> MyType var1’ var3) = ta"? |
| 2025-11-29 23:03:40 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-29 23:04:58 +0100 | <Guest56> | it's supposed to return a function type. I have added arrows in there for easy viewing. My type definitions for arrows are: Arrow MyType MyType |
| 2025-11-29 23:06:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 23:06:34 +0100 | <Guest56> | So the actual code is on the lines of: Just (Arrow (MyType var1 var2) (MyType var1’ var3)) = ta |
| 2025-11-29 23:08:30 +0100 | <Rembane> | Guest56: Do they always have to be the same type or is it okay if they are different types sometimes? |
| 2025-11-29 23:08:49 +0100 | <Guest56> | no, they have to be the same types |
| 2025-11-29 23:09:08 +0100 | <Guest56> | var1 and var2 are just Type renames for strings |
| 2025-11-29 23:09:30 +0100 | <Guest56> | I'm sorry, I cannot show the actual code but I can come up with an MRE as close as possible. |
| 2025-11-29 23:10:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-29 23:11:05 +0100 | <Rembane> | Guest56: No worries, then I think you could use newtypes instead of types to give the type checker something more to work with and use functional dependencies or maybe type families (which I'm not familiar with more than the name) to get the same types. |
| 2025-11-29 23:11:13 +0100 | <Rembane> | Guest56: What are you trying to model with your machinery? |
| 2025-11-29 23:11:22 +0100 | <Guest56> | It is an extension of System F |
| 2025-11-29 23:13:22 +0100 | <Rembane> | Nice, where you can find out if two arguments are the same type? |
| 2025-11-29 23:13:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 23:13:46 +0100 | <Guest56> | uh, I'm writing an MRE. This should help. Gimme a couple minutes please :) |
| 2025-11-29 23:16:03 +0100 | <Rembane> | https://play.haskell.org/saved/8UUN33oD <- this is probably too simple, but I like thinking out loud |
| 2025-11-29 23:20:43 +0100 | <Guest56> | This is as close I can get to an MRE |
| 2025-11-29 23:20:47 +0100 | <Guest56> | Type = TSimple (Either Int Bool) | TArrow Type Type | (TVar String) | SpecialType Type Type Type |
| 2025-11-29 23:20:47 +0100 | <Guest56> | Exp = ESimple (Either Int Bool) | EArrow Type Type | (EVar String) | ESpecial Exp |
| 2025-11-29 23:20:48 +0100 | <Guest56> | typeCheck :: Exp -> Type |
| 2025-11-29 23:20:48 +0100 | <Guest56> | typeCheck (ESpecial e) = let te = inferType e |
| 2025-11-29 23:20:49 +0100 | <Guest56> | In if isJust te |
| 2025-11-29 23:20:49 +0100 | <Guest56> | then let Just (TArrow (SpecialType (TArrow (TVar t1) (TVar t2)) (TArrow (TVar t1) (TVar t2’)) (TArrow (TVar t1) (TVar t2’’))) (SpecialType (TVar t2) (TVar t2’) (TVar t2’’))) = te |
| 2025-11-29 23:20:50 +0100 | <Guest56> | in if t1 == t1’ && t1’ == t2’ |
| 2025-11-29 23:20:50 +0100 | <Guest56> | then SpecialType (TVar t2) (TVar t2’) (TVar t2’’) |
| 2025-11-29 23:20:51 +0100 | <Guest56> | else Nothing |
| 2025-11-29 23:20:51 +0100 | <Guest56> | else Nothing |
| 2025-11-29 23:21:09 +0100 | <Guest56> | whoops typo... t1' == t1'' not t2' |
| 2025-11-29 23:21:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 23:24:02 +0100 | <Guest56> | The actual code has like 8 `t1`s. |
| 2025-11-29 23:24:23 +0100 | <Rembane> | That's exciting and seems quite hard to read. |
| 2025-11-29 23:25:06 +0100 | <Guest56> | oh wait lol I can refer you to the actual paper. That is public domain lmao |
| 2025-11-29 23:26:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 23:26:12 +0100 | <Guest56> | https://www.cs.cornell.edu/people/fluet/research/rgn-monad/JFP06/jfp06.pdf |
| 2025-11-29 23:26:13 +0100 | <Guest56> | Go down to page 20. I'm trying to model the type checker for letRGN |
| 2025-11-29 23:29:18 +0100 | <Rembane> | That's some spicy notation! |
| 2025-11-29 23:29:34 +0100 | <Guest56> | yup lol |
| 2025-11-29 23:31:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-29 23:31:00 +0100 | <Guest56> | I guess I can share a snippet of my code |
| 2025-11-29 23:32:37 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-29 23:32:47 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-29 23:34:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-29 23:34:48 +0100 | <Guest56> | Gimme a sec please it ain't easy writing down all those Arrows lol |
| 2025-11-29 23:34:49 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-11-29 23:35:40 +0100 | divlamir_ | divlamir |
| 2025-11-29 23:36:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 23:37:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-29 23:38:13 +0100 | <Guest56> | ok, there we go. This will not compile because all those `gr2`s need to be different and then checked for equality. |
| 2025-11-29 23:39:01 +0100 | <Guest56> | inferType d g (ELetRGN tr1 ta v) = |
| 2025-11-29 23:39:01 +0100 | <Guest56> | let tv = (inferType d g . valToExp) v |
| 2025-11-29 23:39:02 +0100 | <Guest56> | in if (S.member tr1 d) && (S.member ta d) && isJust tv |
| 2025-11-29 23:39:02 +0100 | <Guest56> | then let FForall gr2 (FArrow (FArrow (FArrow (RGN tr1 (FVar gr2)) (RGN (FVar gr2) (gr2))) (RGNHandle (FVar gr2))) (RGN (FVar gr2) ta)) = tv |
| 2025-11-29 23:39:03 +0100 | <Guest56> | in if gr2 == gr2' && gr2' == gr2'' && gr2'' == gr2''' && gr2''' == gr2'''' && gr2'''' == gr2''''' |
| 2025-11-29 23:39:03 +0100 | <Guest56> | then Just $ RGN tr1 ta |
| 2025-11-29 23:39:04 +0100 | <Guest56> | else Nothing |
| 2025-11-29 23:39:04 +0100 | <Guest56> | else Nothing |
| 2025-11-29 23:39:37 +0100 | <Guest56> | Rembane you there? |
| 2025-11-29 23:40:08 +0100 | <Rembane> | Guest56: Yup, lets see. |
| 2025-11-29 23:41:11 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-11-29 23:41:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 23:41:28 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-29 23:42:21 +0100 | <Guest56> | I'm basically trying to replace the let expression as let will not let me repeat bindings. |
| 2025-11-29 23:42:44 +0100 | <Rembane> | Guest56: You can replace it with a case and pattern match on Just |
| 2025-11-29 23:43:12 +0100 | <Rembane> | Guest56: But I have a feeling there's either incredible inherent complexity in the problem or that there's an easier way to model this in Haskell. |
| 2025-11-29 23:43:14 +0100 | <Guest56> | oh? |
| 2025-11-29 23:43:36 +0100 | <Guest56> | hmm... how else should I model this? |
| 2025-11-29 23:45:05 +0100 | <Rembane> | Guest56: https://play.haskell.org/saved/2Ogh8nQy <- example for case |
| 2025-11-29 23:45:12 +0100 | <Rembane> | Guest56: No idea, I'm way too tired for that. :) |
| 2025-11-29 23:46:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-29 23:46:22 +0100 | <Guest56> | understandable |
| 2025-11-29 23:46:29 +0100 | <Guest56> | thanks for the case example though :) |
| 2025-11-29 23:48:48 +0100 | <__monty__> | Clint: Don't see how it deals with depending on different versions in different projects then. |
| 2025-11-29 23:49:33 +0100 | <Rembane> | Guest56: Another version, which uses guards on case which removes some of the nesting: https://play.haskell.org/saved/omzWcKUF |
| 2025-11-29 23:49:53 +0100 | <Rembane> | Guest56: No worries. Good luck! :) |
| 2025-11-29 23:52:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 23:52:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-29 23:53:35 +0100 | <Guest56> | Thank you so much! |
| 2025-11-29 23:54:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) |
| 2025-11-29 23:56:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |