| 2025-01-07 00:07:34 +0100 | agent314 | (~quassel@138.199.43.74) (Ping timeout: 252 seconds) |
| 2025-01-07 00:09:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 00:09:36 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2025-01-07 00:13:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-07 00:15:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-07 00:24:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 00:28:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 00:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 00:42:54 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-01-07 00:44:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 00:55:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 00:59:05 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-07 00:59:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 01:10:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 01:15:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 01:15:32 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-07 01:25:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f019464203255df1d25.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-07 01:26:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 01:32:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 01:36:13 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-07 01:41:26 +0100 | chiselfu1e | chiselfuse |
| 2025-01-07 01:44:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 01:45:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5ca2:2d01:5d11:fdea) (Ping timeout: 264 seconds) |
| 2025-01-07 01:48:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 01:51:00 +0100 | sprotte24 | (~sprotte24@p200300d16f49780014fb0420edc350bc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-07 01:54:57 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-07 01:56:54 +0100 | forell | (~forell@user/forell) (Ping timeout: 265 seconds) |
| 2025-01-07 01:59:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 02:04:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 02:09:56 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-07 02:11:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-07 02:14:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 02:17:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-07 02:18:53 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.217) Jeanne-Kamikaze |
| 2025-01-07 02:19:09 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.217) (Remote host closed the connection) |
| 2025-01-07 02:19:28 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.217) Jeanne-Kamikaze |
| 2025-01-07 02:20:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 02:31:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 02:35:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 02:37:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-01-07 02:37:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-07 02:39:40 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-07 02:39:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-07 02:41:51 +0100 | otto_s | (~user@p5de2f29b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-01-07 02:43:12 +0100 | otto_s | (~user@p5de2f2cf.dip0.t-ipconnect.de) |
| 2025-01-07 02:45:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 02:46:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 02:50:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-07 02:51:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 02:53:26 +0100 | inedia_ | (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.2.2) |
| 2025-01-07 02:53:32 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-07 03:01:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 03:02:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-07 03:09:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 03:20:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 03:22:39 +0100 | Too2manyQ5 | (~Too2manyQ@mwg-atl27.infosec.fedex.com) (Quit: Client closed) |
| 2025-01-07 03:24:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 03:32:36 +0100 | cowboy8625 | (~cowboy@2605-4A80-7405-640-5FF7-D5E3-5D5-6165-dynamic.midco.net) (Ping timeout: 265 seconds) |
| 2025-01-07 03:33:30 +0100 | cowboy8625 | (~cowboy@2605-4A80-7405-640-6874-3892-A3C7-18B3-dynamic.midco.net) |
| 2025-01-07 03:35:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 03:37:09 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-01-07 03:39:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 03:48:15 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-07 03:50:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 03:55:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 04:02:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-07 04:06:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 04:10:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 04:13:50 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-07 04:13:50 +0100 | ChanServ | +v haskellbridge |
| 2025-01-07 04:20:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-07 04:21:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 04:25:51 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-07 04:26:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-07 04:34:23 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-07 04:34:51 +0100 | l_k | (~student@85.172.77.168) |
| 2025-01-07 04:36:09 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-07 04:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 04:37:51 +0100 | l__k | (~student@217.107.127.143) (Ping timeout: 265 seconds) |
| 2025-01-07 04:40:00 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-07 04:44:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 04:50:05 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.217) (Quit: Leaving) |
| 2025-01-07 04:54:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 04:59:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 05:01:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 05:05:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 05:09:15 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-01-07 05:10:27 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc4:4700:8cff:3cd6:574c:3859) aforemny |
| 2025-01-07 05:10:45 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-01-07 05:11:33 +0100 | aforemny | (~aforemny@i59F4C5A2.versanet.de) (Ping timeout: 248 seconds) |
| 2025-01-07 05:16:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 05:21:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 05:34:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 05:39:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-07 05:40:31 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-07 05:49:26 +0100 | l__k | (~student@217.107.127.233) |
| 2025-01-07 05:49:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 05:52:57 +0100 | l_k | (~student@85.172.77.168) (Ping timeout: 276 seconds) |
| 2025-01-07 05:54:32 +0100 | qqe | (~qqq@92.43.167.61) |
| 2025-01-07 05:55:46 +0100 | ft | (~ft@p3e9bc047.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-07 05:55:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 05:56:47 +0100 | l_k | (~student@85.172.111.42) |
| 2025-01-07 05:57:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-07 05:57:26 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-07 05:58:11 +0100 | mchav | (~mchav@77.246.55.174) |
| 2025-01-07 05:59:33 +0100 | l__k | (~student@217.107.127.233) (Ping timeout: 248 seconds) |
| 2025-01-07 06:01:32 +0100 | l__k | (~student@217.107.125.230) |
| 2025-01-07 06:02:38 +0100 | l_k_ | (~student@213.24.125.218) |
| 2025-01-07 06:03:24 +0100 | l_k | (~student@85.172.111.42) (Ping timeout: 265 seconds) |
| 2025-01-07 06:03:33 +0100 | l_k | (~student@217.107.124.218) |
| 2025-01-07 06:04:16 +0100 | mchav | (~mchav@77.246.55.174) (Quit: Client closed) |
| 2025-01-07 06:05:42 +0100 | l_k__ | (~student@217.107.127.143) |
| 2025-01-07 06:06:06 +0100 | l__k | (~student@217.107.125.230) (Ping timeout: 246 seconds) |
| 2025-01-07 06:06:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 06:07:25 +0100 | l__k | (~student@46.61.242.242) |
| 2025-01-07 06:07:29 +0100 | l_k_ | (~student@213.24.125.218) (Ping timeout: 260 seconds) |
| 2025-01-07 06:08:05 +0100 | raym | (~ray@user/raym) (Ping timeout: 248 seconds) |
| 2025-01-07 06:09:12 +0100 | l_k | (~student@217.107.124.218) (Ping timeout: 244 seconds) |
| 2025-01-07 06:09:57 +0100 | l_k__ | (~student@217.107.127.143) (Ping timeout: 246 seconds) |
| 2025-01-07 06:11:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 06:11:31 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-07 06:13:04 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-07 06:14:19 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-07 06:15:30 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-07 06:21:30 +0100 | l__k | (~student@46.61.242.242) (Ping timeout: 246 seconds) |
| 2025-01-07 06:22:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 06:23:44 +0100 | l__k | (~student@85.172.76.45) |
| 2025-01-07 06:27:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-07 06:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 06:33:57 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-07 06:38:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 06:41:44 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-07 06:44:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-07 06:49:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-07 06:54:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 06:57:25 +0100 | michalz | (~michalz@185.246.207.218) |
| 2025-01-07 06:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 07:02:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 07:06:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 07:13:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-07 07:17:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 07:20:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-07 07:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 07:27:24 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-01-07 07:28:12 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-07 07:29:00 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-01-07 07:32:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 07:36:59 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-07 07:39:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 07:50:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 07:55:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 08:03:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:07:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-07 08:10:08 +0100 | CiaoSen | (~Jura@2a05:5800:2db:3300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-07 08:18:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:18:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-07 08:20:26 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-07 08:20:44 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-07 08:23:42 +0100 | kmx | (~kmx@c-69-251-4-232.hsd1.md.comcast.net) |
| 2025-01-07 08:24:13 +0100 | <kmx> | hello |
| 2025-01-07 08:25:03 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-07 08:25:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-07 08:27:32 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Quit: leaving) |
| 2025-01-07 08:28:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:30:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 08:32:47 +0100 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
| 2025-01-07 08:33:48 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:33:59 +0100 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
| 2025-01-07 08:35:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:36:38 +0100 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw |
| 2025-01-07 08:38:52 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 08:39:01 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds) |
| 2025-01-07 08:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-07 08:48:43 +0100 | <jackdk> | hi |
| 2025-01-07 08:51:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 08:55:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-07 08:56:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-07 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-07 09:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-07 09:04:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16e58e65020330ade6.dip0.t-ipconnect.de) |
| 2025-01-07 09:07:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-07 09:08:55 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-07 09:24:21 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-01-07 09:24:38 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-07 09:27:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-07 09:36:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 09:37:17 +0100 | l_k | (~student@46.61.242.174) |
| 2025-01-07 09:39:03 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 09:40:18 +0100 | l__k | (~student@85.172.76.45) (Ping timeout: 246 seconds) |
| 2025-01-07 09:42:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-07 09:43:02 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-07 09:51:43 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-07 09:52:42 +0100 | orangeFl1 | (~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu |
| 2025-01-07 09:55:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-07 09:56:26 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds) |
| 2025-01-07 09:59:08 +0100 | <hellwolf> | I realized that I had understanding of what is Prisms. Now that I see it has two idiomatic functions "match" and "build". It got me thinking that I ought to understand it, since I am building otherwise an ad-hoc pattern-matching machinery. |
| 2025-01-07 09:59:08 +0100 | <hellwolf> | Does anyone have experiece with Prisms? |
| 2025-01-07 09:59:17 +0100 | <hellwolf> | *I had no understanding |
| 2025-01-07 10:01:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 10:01:39 +0100 | homo_ | homo |
| 2025-01-07 10:04:35 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 265 seconds) |
| 2025-01-07 10:05:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 10:08:20 +0100 | kmx | (~kmx@c-69-251-4-232.hsd1.md.comcast.net) (Quit: leaving) |
| 2025-01-07 10:15:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-07 10:20:46 +0100 | jespada | (~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) jespada |
| 2025-01-07 10:20:59 +0100 | homo | (~homo@user/homo) (Remote host closed the connection) |
| 2025-01-07 10:21:23 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-07 10:23:53 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Remote host closed the connection) |
| 2025-01-07 10:25:16 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 10:26:44 +0100 | qqe | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2025-01-07 10:28:19 +0100 | sprotte24 | (~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) |
| 2025-01-07 10:28:19 +0100 | sprotte24 | (~sprotte24@p200300d16f116c00e18de5f6dc64cbe3.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-07 10:32:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-07 10:38:23 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) |
| 2025-01-07 10:38:43 +0100 | ubert | (~Thunderbi@p200300ecdf117c03858f82df0dc40dbe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-07 10:39:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-07 10:42:18 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 10:51:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 10:51:21 +0100 | <jackdk> | I'm about to head out so I can't give a detailed answer, but I think you're not getting any responses because it's not clear what your actual question is, who is capable of answering it, and how much effort doing so will take. https://github.com/system-f/lets-lens eventually gets to prism exercises. Optics By Example is a fantastic book, but it is paid. |
| 2025-01-07 10:51:47 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-07 10:54:15 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 10:56:16 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-07 10:59:45 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) (Ping timeout: 248 seconds) |
| 2025-01-07 11:03:27 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:aa01:87f5:2ab2:56ea) ubert |
| 2025-01-07 11:06:01 +0100 | longlongdouble | (~longlongd@49.36.234.44) |
| 2025-01-07 11:08:21 +0100 | orangeFl1 | (~orangeFlu@wlan036187.wireless.utwente.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 11:10:55 +0100 | mari49021 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 11:13:00 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 2025-01-07 11:18:52 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-01-07 11:18:53 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-07 11:19:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-07 11:23:49 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) noumenon |
| 2025-01-07 11:24:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-07 11:25:15 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-07 11:27:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 11:31:00 +0100 | orangeFlu | (~orangeFlu@wlan036187.wireless.utwente.nl) orangeFlu |
| 2025-01-07 11:37:29 +0100 | CiaoSen | (~Jura@2a05:5800:2db:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2025-01-07 11:37:59 +0100 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2025-01-07 11:38:39 +0100 | l__k | (~student@213.24.125.146) |
| 2025-01-07 11:42:00 +0100 | l_k | (~student@46.61.242.174) (Ping timeout: 276 seconds) |
| 2025-01-07 11:47:50 +0100 | longlongdouble | (~longlongd@49.36.234.44) (Remote host closed the connection) |
| 2025-01-07 11:53:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 11:54:52 +0100 | l__k | (~student@213.24.125.146) (Ping timeout: 252 seconds) |
| 2025-01-07 11:56:39 +0100 | <hellwolf> | Thanks for the pointers! I will look into those books. And yes, it was not phrased to be a clear question, but rather a conversation opener which I assume is tolerated in this channel. |
| 2025-01-07 11:56:55 +0100 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
| 2025-01-07 12:00:19 +0100 | immae | (~immae@2a01:4f8:141:53e7::) immae |
| 2025-01-07 12:01:51 +0100 | <smiesner> | no experience with either lenses nor prisms.. so can't take part in the convo |
| 2025-01-07 12:05:40 +0100 | l__k | (~student@46.61.242.53) |
| 2025-01-07 12:06:59 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) |
| 2025-01-07 12:08:25 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2025-01-07 12:10:20 +0100 | longlongdouble | (~longlongd@2405:201:5c16:894:74ec:348f:7a5d:1fda) (Remote host closed the connection) |
| 2025-01-07 12:15:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-07 12:17:06 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-07 12:20:56 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 12:23:02 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-07 12:23:03 +0100 | tnt2 | tnt1 |
| 2025-01-07 12:24:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:baa:471a:82f1:1183) |
| 2025-01-07 12:29:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 12:34:25 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-01-07 12:35:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-07 12:35:52 +0100 | orangeFlu | (~orangeFlu@wlan036187.wireless.utwente.nl) (Ping timeout: 265 seconds) |
| 2025-01-07 12:35:55 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-07 12:39:20 +0100 | <haskellbridge> | <Morj> Does anyone have an example of a well-known (general purpose) language /without/ higher-order functions? |
| 2025-01-07 12:40:18 +0100 | <mari49021> | it is easier to find one without proper recursion handling, if you want to discriminate by paradigm |
| 2025-01-07 12:40:42 +0100 | <jackdk> | BASIC? |
| 2025-01-07 12:41:27 +0100 | <jackdk> | (Is that still well-known?) I'd also say C, because function pointers don't really get you the whole way there |
| 2025-01-07 12:41:41 +0100 | <haskellbridge> | <Morj> I want to give an example for first-class struct fields by first going through first-class functions |
| 2025-01-07 12:42:16 +0100 | <haskellbridge> | <Morj> It seems VBScript has function refs now |
| 2025-01-07 12:42:39 +0100 | <haskellbridge> | <Morj> If going for old languages, I believe old java didn't have higher order functions? |
| 2025-01-07 12:43:07 +0100 | <mari49021> | i am not familiar with functions as arguments in python either |
| 2025-01-07 12:43:26 +0100 | <geekosaur> | FORTRAN? |
| 2025-01-07 12:43:47 +0100 | <geekosaur> | maybe newer versions do, FORTRAN IV and FORTRAN 77 certainly didn't |
| 2025-01-07 12:44:00 +0100 | <haskellbridge> | <Morj> Have you heard of python's map and reduce functions in stdlib? :D |
| 2025-01-07 12:44:27 +0100 | <mari49021> | huh long time since i was pythoning |
| 2025-01-07 12:44:41 +0100 | <haskellbridge> | <Morj> Fortran is a nice idea. Maybe old pascal as well, where I'm from it's really well known |
| 2025-01-07 12:47:12 +0100 | <haskellbridge> | <Morj> Welp, pascal has also had function pointers since forever |
| 2025-01-07 12:47:55 +0100 | <jackdk> | Old Java lacking native HoFs was the reason for all these single-method interfaces like java.awt.event.ActionListener, which is `ActionEvent -> IO ()` in an OO trenchcoat |
| 2025-01-07 12:48:24 +0100 | <mauke> | java doesn't even have functions |
| 2025-01-07 12:48:27 +0100 | <mauke> | or have they changed that? |
| 2025-01-07 12:48:42 +0100 | <haskellbridge> | <Morj> I think they did, they even have anonymous closures now |
| 2025-01-07 12:49:25 +0100 | <mauke> | I expect that to be what C++ did, i.e. compiler-generated classes/instances under the hood |
| 2025-01-07 12:49:37 +0100 | <haskellbridge> | <Morj> It seems that java didn't have HoF at least in 2011, so that seems like a great example |
| 2025-01-07 12:50:27 +0100 | <haskellbridge> | <Morj> Probably it's exactly like in C++. I'm only concerned about UX, so the inner workings are whatever |
| 2025-01-07 12:50:28 +0100 | <jackdk> | Re: C and Pascal: I don't think you can call function pointers "higher-order functions". It's very hard to synthesise a new one at runtime (imagine trying to write `curry`). You can fudge them I guess but it's not nearly as ergonomic as a in a language that actually has them |
| 2025-01-07 12:51:23 +0100 | <haskellbridge> | <Morj> mmap(.., PROT_EXEC) goes brr |
| 2025-01-07 12:51:34 +0100 | <haskellbridge> | <Morj> I admit it's a crazy way to write curry |
| 2025-01-07 12:51:39 +0100 | <haskellbridge> | <Morj> But now I'm tempted to do it |
| 2025-01-07 12:52:31 +0100 | <mauke> | it was much easier on x86 without W^X protection :-D |
| 2025-01-07 12:54:37 +0100 | mari49021 | (~mari-este@user/mari-estel) () |
| 2025-01-07 12:58:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-07 12:59:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 13:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-07 13:02:10 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-07 13:03:54 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-07 13:08:06 +0100 | longlongdouble | (~longlongd@49.36.234.44) |
| 2025-01-07 13:16:01 +0100 | l_k | (~student@213.24.135.213) |
| 2025-01-07 13:17:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-07 13:17:30 +0100 | <homo> | logically it's W NAND X, why have either W or X mandatory... |
| 2025-01-07 13:18:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-07 13:18:49 +0100 | l__k | (~student@46.61.242.53) (Ping timeout: 252 seconds) |
| 2025-01-07 13:22:56 +0100 | <jackdk> | You said earlier that you were concerned about UX, not implementation details. I think implementing curry via mmap might cross that UX line |
| 2025-01-07 13:23:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 13:23:02 +0100 | <jackdk> | Cool idea though |
| 2025-01-07 13:23:08 +0100 | immae | (~immae@2a01:4f8:141:53e7::) (WeeChat 3.3) |
| 2025-01-07 13:30:29 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2025-01-07 13:36:37 +0100 | famubu | (~julinuser@user/famubu) famubu |
| 2025-01-07 13:37:41 +0100 | <famubu> | I tried `a-b=4` on a fresh ghci repl and it didn't give error. I was trying to see if haskell allows hyphens in variable names. But I guess it doesn't because attempt to use `a-b` gave errors. |
| 2025-01-07 13:37:53 +0100 | <famubu> | Still why didn't it give error at `a-b=4` itself? |
| 2025-01-07 13:38:27 +0100 | <geekosaur> | you defined a new `-` |
| 2025-01-07 13:38:37 +0100 | <geekosaur> | Haskell definition syntax is kinda interesting |
| 2025-01-07 13:39:25 +0100 | <geekosaur> | if you type `2-1` at the prompt you'll get `4` |
| 2025-01-07 13:39:35 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-07 13:40:56 +0100 | <famubu> | Oh.. 😃 That's really interesting.. |
| 2025-01-07 13:41:15 +0100 | <famubu> | So functions can be defined in infix as well? |
| 2025-01-07 13:41:23 +0100 | <famubu> | For which all symbols is that possible? |
| 2025-01-07 13:42:12 +0100 | <famubu> | So far I've tried +-*/%^ |
| 2025-01-07 13:42:54 +0100 | <famubu> | Can multi-character symbols be done too? |
| 2025-01-07 13:42:56 +0100 | <famubu> | Like a--b=3 |
| 2025-01-07 13:43:50 +0100 | <geekosaur> | -- is reserved for comments |
| 2025-01-07 13:44:21 +0100 | <geekosaur> | but multi-character symbols are definitely possible, with one restriction: if the first character is `:` then it's a constructor name and you can't define it as a function |
| 2025-01-07 13:45:05 +0100 | <geekosaur> | other reserved characters exist: can't define braces, parentheses, commas, and single (but not multiple) & and | are reserved "words" |
| 2025-01-07 13:45:55 +0100 | l_k | (~student@213.24.135.213) (Read error: Connection reset by peer) |
| 2025-01-07 13:46:55 +0100 | l_k | (~student@81.177.126.196) |
| 2025-01-07 13:47:41 +0100 | <famubu> | Is there some place where I can read more about the possibility of defining functions using symbols? |
| 2025-01-07 13:47:44 +0100 | <famubu> | Can unary functions also have notations like this? |
| 2025-01-07 13:47:50 +0100 | <merijn> | famubu: More specifically, you can use any character that has the unicode class Symbol |
| 2025-01-07 13:48:39 +0100 | <merijn> | > generalCategory '☃' |
| 2025-01-07 13:48:40 +0100 | <lambdabot> | OtherSymbol |
| 2025-01-07 13:49:05 +0100 | <merijn> | > let x ☃ y = (x*y) + x + y in 3 ☃ 5 |
| 2025-01-07 13:49:07 +0100 | <lambdabot> | 23 |
| 2025-01-07 13:49:30 +0100 | <merijn> | famubu: The exact details can be found in the Haskell Report 2010 |
| 2025-01-07 13:49:37 +0100 | <geekosaur> | unary functions aren't actually a thing in Haskell; there's an ugly parser hack for unary `-` which leads to conflicts with section syntax |
| 2025-01-07 13:49:38 +0100 | <merijn> | I'm guessing (of the top of my head) chapter 2 |
| 2025-01-07 13:49:58 +0100 | <merijn> | geekosaur: unary operators aren't ;) |
| 2025-01-07 13:50:05 +0100 | <geekosaur> | (sections being the main reason unary operators are a problem) |
| 2025-01-07 13:50:11 +0100 | <merijn> | geekosaur: Unary functions is all we got! ;) |
| 2025-01-07 13:50:25 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 248 seconds) |
| 2025-01-07 13:50:47 +0100 | <geekosaur> | (a "section" is a partially applied operator. quick, what does `(- 1)` mean?) |
| 2025-01-07 13:51:16 +0100 | <merijn> | famubu: The full specification is here: https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-180002.4 |
| 2025-01-07 13:51:16 +0100 | l__k | (~student@217.107.125.71) |
| 2025-01-07 13:51:21 +0100 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) sim590 |
| 2025-01-07 13:52:17 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-01-07 13:52:38 +0100 | <merijn> | famubu: So the following ascii characters: ! # $ % & ⋆ + . / < = > ? @ |\ ^ - ~ : |
| 2025-01-07 13:53:30 +0100 | <merijn> | And any unicode symbol that is not: _ " ' |
| 2025-01-07 13:54:04 +0100 | <merijn> | famubu: Incidentally, any function can be made infix via ` |
| 2025-01-07 13:54:09 +0100 | l_k | (~student@81.177.126.196) (Ping timeout: 248 seconds) |
| 2025-01-07 13:54:12 +0100 | <merijn> | > elem 3 [1..5] |
| 2025-01-07 13:54:24 +0100 | <merijn> | > 3 `elem` [1..5] |
| 2025-01-07 13:54:41 +0100 | <lambdabot> | True |
| 2025-01-07 13:54:42 +0100 | <lambdabot> | True |
| 2025-01-07 13:55:50 +0100 | <kaol> | > 3 `(`elem`)` [1..5] |
| 2025-01-07 13:55:52 +0100 | <lambdabot> | <hint>:1:4: error: parse error on input ‘(’ |
| 2025-01-07 13:56:30 +0100 | <geekosaur> | yeh, no expressions inside `` ` ``, parsing gets too complicated |
| 2025-01-07 13:56:49 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-01-07 13:56:56 +0100 | <merijn> | Yeah, only single names |
| 2025-01-07 13:57:08 +0100 | <kaol> | There are days when I wish everything was lisp. |
| 2025-01-07 13:57:42 +0100 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) (Quit: WeeChat 4.5.1) |
| 2025-01-07 13:59:11 +0100 | <famubu> | I guess these are the character combinations whose precedence and associativity can be set separately with `infix` and friends. |
| 2025-01-07 13:59:16 +0100 | <famubu> | Is it? |
| 2025-01-07 13:59:31 +0100 | <geekosaur> | yes, if I understand you correctly |
| 2025-01-07 14:00:02 +0100 | <geekosaur> | https://github.com/xmonad/xmonad/blob/master/src/XMonad/ManageHook.hs#L45-L51 |
| 2025-01-07 14:00:40 +0100 | <famubu> | Yeah like `infix :+`. |
| 2025-01-07 14:00:51 +0100 | nkatte | (~nkatte@user/nkatte) nkatte |
| 2025-01-07 14:00:56 +0100 | <famubu> | Sorry `infix +:` if `:` cannot be the beginning. |
| 2025-01-07 14:02:47 +0100 | <geekosaur> | you can set associativity for constructors. consider that : itself (list constructor) is right associative |
| 2025-01-07 14:03:17 +0100 | <merijn> | famubu: Both operators and the `` notation of regular functions can have their fixity (precedence) set explicitly |
| 2025-01-07 14:03:30 +0100 | <merijn> | The default being `infixl 9` (iirc?) |
| 2025-01-07 14:05:32 +0100 | <merijn> | famubu: Fixity going from 0 to 9 (0 being lowest precedence, 9 highest) and function application having fixity 10 (i.e. higher than any operator) and record syntax having fixity 11 |
| 2025-01-07 14:06:39 +0100 | <merijn> | famubu: You can see non-default fixity's in the Hackage docs too, see for example: https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-List.html#v:elem |
| 2025-01-07 14:07:07 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-01-07 14:08:56 +0100 | l_k | (~student@188.254.126.181) |
| 2025-01-07 14:09:12 +0100 | <famubu> | Defining fixity for a function means that it takes effect only when used as infix with the backtick syntax, I suppose. |
| 2025-01-07 14:09:40 +0100 | <merijn> | Correct |
| 2025-01-07 14:09:42 +0100 | l_k_ | (~student@213.24.134.198) |
| 2025-01-07 14:09:57 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-07 14:09:58 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 14:11:45 +0100 | l__k | (~student@217.107.125.71) (Ping timeout: 248 seconds) |
| 2025-01-07 14:13:24 +0100 | l_k | (~student@188.254.126.181) (Ping timeout: 260 seconds) |
| 2025-01-07 14:13:49 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-07 14:14:25 +0100 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) sim590 |
| 2025-01-07 14:15:54 +0100 | <famubu> | `:` cannot be used as operator, right? But doing `a:b=4` doesn't result in error. What happens there instead? |
| 2025-01-07 14:15:59 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 14:16:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-07 14:17:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-07 14:17:30 +0100 | tnt2 | tnt1 |
| 2025-01-07 14:18:56 +0100 | <merijn> | > let a:b = 5 in 1:2 |
| 2025-01-07 14:18:57 +0100 | <lambdabot> | error: |
| 2025-01-07 14:18:57 +0100 | <lambdabot> | • No instance for (Num [Integer]) arising from a use of ‘e_1512’ |
| 2025-01-07 14:18:57 +0100 | <lambdabot> | • In the expression: e_1512 |
| 2025-01-07 14:19:00 +0100 | <geekosaur> | pattern match. `4` is assumed to be a list whose head would be bound to `a` and tail to `b`. (this works because numeric literals are secretly functions) |
| 2025-01-07 14:19:09 +0100 | <merijn> | oh, right |
| 2025-01-07 14:19:13 +0100 | <merijn> | Funky :D |
| 2025-01-07 14:19:27 +0100 | <geekosaur> | at top level this won't fire unless `a` or `b` is used, in which case you get the error above |
| 2025-01-07 14:19:49 +0100 | <merijn> | Try using 'a' instead of 4 for a more sensible error ;) |
| 2025-01-07 14:19:58 +0100 | <merijn> | > let a:b='a' in 1:2 |
| 2025-01-07 14:20:00 +0100 | <lambdabot> | error: |
| 2025-01-07 14:20:00 +0100 | <lambdabot> | • Couldn't match expected type ‘[a1]’ with actual type ‘Char’ |
| 2025-01-07 14:20:00 +0100 | <lambdabot> | • In the expression: 'a' |
| 2025-01-07 14:20:08 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-07 14:20:16 +0100 | <merijn> | > let a:b="ha" in (a, b) |
| 2025-01-07 14:20:17 +0100 | <lambdabot> | ('h',"a") |
| 2025-01-07 14:22:30 +0100 | <famubu> | So that didn't give error because of lazy evaluation. And `Num` behaves like functions? |
| 2025-01-07 14:22:44 +0100 | <geekosaur> | you're confusing compile time with run time |
| 2025-01-07 14:23:32 +0100 | <geekosaur> | lazy evaluation doesn't apply to the compiler, only to runtime |
| 2025-01-07 14:24:52 +0100 | <geekosaur> | the compiler assigns a type to the binding which won't work if actually used somewhere (instance resolution is determined at use sites, not binding sites) |
| 2025-01-07 14:25:22 +0100 | <geekosaur> | somewhat infamously, this lets you write things that are nonsense but since they're "unreachable" there is no error. try "2=4" |
| 2025-01-07 14:27:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-07 14:27:32 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-07 14:28:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-07 14:28:21 +0100 | tnt2 | tnt1 |
| 2025-01-07 14:28:30 +0100 | <famubu> | 😲 |
| 2025-01-07 14:28:33 +0100 | <geekosaur> | I think the type of "a:b=4" is something like `Num [p] => (p : [p])`, but if you don't use `a` or `b` there is no use site for the pattern so the compiler doesn't try to discharge the `Num [p]` constraint (at which point it would have determined that there is no matching instance) |
| 2025-01-07 14:32:02 +0100 | l_k | (~student@85.172.110.96) |
| 2025-01-07 14:33:57 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-07 14:34:59 +0100 | l_k_ | (~student@213.24.134.198) (Ping timeout: 260 seconds) |
| 2025-01-07 14:42:18 +0100 | <sim590> | I'm not sure if I should have asked here or on #archlinux, but I have a question regarding packaging a Haskell executable on Archlinux and the guidelines here: https://wiki.archlinux.org/title/Haskell_package_guidelines. |
| 2025-01-07 14:43:40 +0100 | <sim590> | My project doesn't have a Setup.hs file since its `build-type` is `Simple` (the default). I'm wondering if `arch-hs` is gonna understand that correctly and give working PKGBUILD as output. |
| 2025-01-07 14:44:06 +0100 | <geekosaur> | probably #archlinux since they don't follow Haskell best practices |
| 2025-01-07 14:44:41 +0100 | <geekosaur> | yeh, you need to ask them about it, it's a question about their build/packaging system, not Haskell |
| 2025-01-07 14:45:07 +0100 | <geekosaur> | that said, best practice is to include a "dummy" Setup.hs to make life easier for distributors |
| 2025-01-07 14:45:37 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-07 14:46:20 +0100 | <sim590> | How can I generate one? Or is there documentation about how to write it? My first few attempts at searching for that were not successful. |
| 2025-01-07 14:46:28 +0100 | <geekosaur> | https://paste.tomsmeding.com/jLSAsoLQ |
| 2025-01-07 14:46:40 +0100 | <geekosaur> | it's boilerplate for the Simple build type |
| 2025-01-07 14:47:12 +0100 | <geekosaur> | downstream distriibutors don't use cabal or stack, they run Setup.hs with appropriate parameters to integrate the package into their distribution |
| 2025-01-07 14:47:35 +0100 | <sim590> | Is there a more complicated example I could find somewhere on the internet? My first searches only showed me oneliners like these which don't help me very much at making a more elaborate file. |
| 2025-01-07 14:47:56 +0100 | <geekosaur> | if you need something mreo elaborate then youre not using the Simple build type |
| 2025-01-07 14:49:23 +0100 | <sim590> | Hmmm. So I could just put that simple file and it would be enough, that's what you're suggesting? |
| 2025-01-07 14:49:28 +0100 | <sim590> | I'll try that. |
| 2025-01-07 14:50:12 +0100 | <sim590> | Interesting! That's way simpler than I thought! |
| 2025-01-07 14:50:13 +0100 | <geekosaur> | yes |
| 2025-01-07 14:50:29 +0100 | <geekosaur> | any other questions you'll have to ask the Arch folks |
| 2025-01-07 14:50:56 +0100 | <sim590> | Alright! That's very helpful though! Thanks! |
| 2025-01-07 14:52:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 265 seconds) |
| 2025-01-07 14:52:39 +0100 | <sim590> | With this, I could avoid uploading on Hackage if I don't find it relevant. My package is a simple Card game, not a library. Not sure if that's relevant to put on Hackage. |
| 2025-01-07 14:53:10 +0100 | <geekosaur> | up to you but it's generally good practice to put stuff on Hackage so people not on Arch can install it |
| 2025-01-07 14:53:27 +0100 | <geekosaur> | and if it's worth packaging for a distro then it's worth packaging for Hackage imo |
| 2025-01-07 14:53:37 +0100 | <sim590> | You're right. I'll try to do it also then! |
| 2025-01-07 14:57:18 +0100 | <absence> | Disregarding the obvious contrivedness, why doesn't test3 work when test2 does, and can the definition of Test3 be changed to make it work? https://play.haskell.org/saved/xAfH2AaD |
| 2025-01-07 14:57:55 +0100 | kuribas | (~user@ptr-17d51eobwafm7a8n0pk.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-07 14:58:19 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 15:00:17 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-07 15:05:28 +0100 | dysthesi1 | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-07 15:05:43 +0100 | <Leary> | absence: Try `data Test3 a where Test3 :: (a -> b) -> Test3 a`. The `b` is existential, not universal. That field is the type of something like `absurd` or `const undefined`. |
| 2025-01-07 15:08:34 +0100 | <sim590> | which I gues is equivalent to: Test3 :: forall a b. (a -> b) -> Test3 a. |
| 2025-01-07 15:08:36 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-07 15:09:05 +0100 | <sim590> | But since it's the default, you don't need the explicit `forall a b.`. |
| 2025-01-07 15:11:00 +0100 | dysthesi1 | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-07 15:14:36 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-07 15:15:14 +0100 | <absence> | Oh right, I was confused by the necessity of an explicit forall in one case, but not the other. If I use GADT syntax for Test, I don't need any foralls. Thanks! |
| 2025-01-07 15:19:18 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-07 15:25:54 +0100 | l__k | (~student@85.172.110.161) |
| 2025-01-07 15:28:50 +0100 | l_k | (~student@85.172.110.96) (Ping timeout: 260 seconds) |
| 2025-01-07 15:29:57 +0100 | kuribas | (~user@ptr-17d51eobwafm7a8n0pk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-01-07 15:36:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-07 15:42:02 +0100 | agent314 | (~quassel@138.199.43.74) agent314 |
| 2025-01-07 15:43:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-07 15:46:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-07 15:47:58 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-07 16:02:17 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 16:02:48 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:13:21 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-07 16:19:51 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-07 16:22:54 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-07 16:24:49 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-07 16:28:54 +0100 | kuribas | (~user@ptr-17d51emkwlp9y9rv9mz.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-07 16:29:16 +0100 | turlando | (~turlando@user/turlando) () |
| 2025-01-07 16:32:16 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-07 16:40:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-07 16:53:21 +0100 | jespada | (~jespada@2800:a4:c5:2900:7896:24d4:be22:1827) (Ping timeout: 248 seconds) |
| 2025-01-07 16:54:56 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-07 16:56:32 +0100 | jespada | (~jespada@2800:a4:df:5500:7cf2:7592:7185:e171) jespada |
| 2025-01-07 16:56:42 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-07 16:56:55 +0100 | homo_ | (~homo@user/homo) homo |
| 2025-01-07 17:00:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:00:53 +0100 | homo | (~homo@user/homo) (Ping timeout: 248 seconds) |
| 2025-01-07 17:01:02 +0100 | homo_ | homo |
| 2025-01-07 17:01:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:02:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-07 17:04:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 17:11:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:11:38 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:11:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-07 17:21:11 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:21:41 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:31:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:31:53 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:41:32 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:42:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:42:33 +0100 | Square | (~Square@user/square) Square |
| 2025-01-07 17:51:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 17:52:13 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 17:58:10 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |