Logs on 2025-05-28 (liberachat/#haskell)
| 00:01:05 | × | acidjnk quits (~acidjnk@p200300d6e71c4f71d1d5de29932680ec.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:01:11 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:02:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:02:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:04:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 00:08:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:08:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:15:39 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:18:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:19:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:21:48 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 00:22:31 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 00:23:40 | → | pandeyan joins (~pandeyan@23-93-125-220.fiber.dynamic.sonic.net) |
| 00:23:45 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 00:24:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:25:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:25:31 | × | anpad quits (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 00:33:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:38:00 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:38:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:39:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:49:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:50:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:54:15 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 01:00:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:00:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:04:36 | × | xff0x quits (~xff0x@2405:6580:b080:900:421a:f7d5:c8c3:af24) (Ping timeout: 272 seconds) |
| 01:10:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:11:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:16:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:17:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:17:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:24:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:24:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:30:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:31:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:38:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:39:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:40:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 01:42:41 | <sm> | I think it's ok to freely prune dead links from @where, since they could be found again in the automatic git history if needed. Let me know if you feel otherwise. Feel free to do a little gardening every day, it's therapeutic. |
| 01:45:20 | <haskellbridge> | <sm> I tend to do it in a private chat to keep the noise down, but interesting or controversial updates are good to do in here perhaps |
| 01:46:16 | <haskellbridge> | <sm> @where planet-haskell |
| 01:46:27 | <EvanR> | @where planet-haskell |
| 01:46:27 | <lambdabot> | http://antti-juhani.kaijanaho.fi/planet-haskell/ |
| 01:46:39 | <haskellbridge> | <sm> .. |
| 01:46:39 | <haskellbridge> | @where+ planet-haskell |
| 01:46:39 | <lambdabot> | It is forgotten. |
| 01:46:50 | <haskellbridge> | <sm> .. |
| 01:46:50 | <haskellbridge> | @where planethaskell |
| 01:46:51 | <lambdabot> | http://antti-juhani.kaijanaho.fi/planet-haskell/ |
| 01:46:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:46:58 | <EvanR> | .oO(where+ subtracts...) |
| 01:47:05 | <haskellbridge> | <sm> .. |
| 01:47:05 | <haskellbridge> | @where+ planethaskell |
| 01:47:05 | <lambdabot> | It is forgotten. |
| 01:47:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:47:20 | <haskellbridge> | <sm> yeah, that took me a while to figure out 😂 |
| 01:47:48 | <haskellbridge> | <sm> ideally it would show the thing one last time when you delete |
| 01:49:03 | <haskellbridge> | <sm> after something is deleted here, there's a 5-10m window when you can check what it was at https://haskell-links.org |
| 01:49:16 | <haskellbridge> | <sm> .. |
| 01:49:16 | <haskellbridge> | @where+ ibid |
| 01:49:16 | <lambdabot> | It is forgotten. |
| 01:52:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:53:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:57:28 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 01:58:21 | → | pabs3 joins (~pabs3@user/pabs3) |
| 02:05:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:05:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:05:49 | × | td_ quits (~td@i53870903.versanet.de) (Ping timeout: 245 seconds) |
| 02:06:53 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:07:40 | → | td_ joins (~td@i53870920.versanet.de) |
| 02:12:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:12:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:20:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:21:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:27:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:27:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:35:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:35:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:45:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:45:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:56:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:57:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:02:48 | × | td_ quits (~td@i53870920.versanet.de) (Ping timeout: 244 seconds) |
| 03:04:43 | → | td_ joins (~td@i5387090E.versanet.de) |
| 03:04:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:05:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:07:33 | × | zzz quits (~z@user/zero) (Ping timeout: 248 seconds) |
| 03:08:50 | → | yin joins (~z@user/zero) |
| 03:12:14 | × | foul_owl quits (~kerry@94.156.149.92) (Ping timeout: 260 seconds) |
| 03:22:20 | × | DrachenMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:22:27 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 03:23:10 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 03:25:44 | → | foul_owl joins (~kerry@94.156.149.92) |
| 03:25:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:26:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:32:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:32:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:37:29 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 03:39:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:39:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:47:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:47:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:48:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:57:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:57:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:59:01 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 03:59:22 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 04:11:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:11:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:13:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 04:17:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:17:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:17:45 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 04:27:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:27:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:33:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:33:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:43:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:44:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:49:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:50:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:51:00 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 04:55:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:56:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:57:08 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 04:58:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 04:58:31 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:00:56 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 05:01:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:02:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:07:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:08:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:09:20 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 05:13:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:14:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:23:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:25:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:26:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:30:03 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 05:33:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:34:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:39:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 05:39:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:40:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:45:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:46:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:50:50 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 05:50:57 | → | Axma82850 joins (~Axman6@user/axman6) |
| 05:51:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:51:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:52:43 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 05:56:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:59:13 | Axma82850 | is now known as Axman6 |
| 06:01:36 | → | Axma58382 joins (~Axman6@user/axman6) |
| 06:03:51 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 06:03:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 06:03:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:04:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:04:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:09:01 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:09:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:10:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:12:22 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:16:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:16:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:18:42 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 06:26:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:26:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:26:46 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 06:38:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:38:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:42:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:47:33 | × | fantom quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 06:50:18 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 06:58:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 07:02:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:03:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:05:57 | → | FANTOM joins (~fantom@33be818f.skybroadband.com) |
| 07:07:29 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:10:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:10:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:16:05 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 07:17:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:17:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:25:51 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:25:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:26:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:29:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 07:32:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:32:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:38:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:38:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:41:53 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 07:42:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:42:39 | → | chele joins (~chele@user/chele) |
| 07:44:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:44:42 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:47:00 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:48:02 | → | acidjnk joins (~acidjnk@p200300d6e71c4f128d29b950d20b1255.dip0.t-ipconnect.de) |
| 07:54:11 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:54:36 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:56:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:57:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:58:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 07:58:32 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:58:39 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:02:16 | → | Everything joins (~Everythin@77.120.244.38) |
| 08:06:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:06:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:10:45 | <tomsmeding> | EvanR: more than cat burritos, have owl burritos https://owlsintowels.org/ |
| 08:15:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:15:24 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 08:15:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:15:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:16:02 | → | __monty__ joins (~toonn@user/toonn) |
| 08:18:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 08:20:02 | → | oskarw joins (~user@194.29.137.22) |
| 08:20:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 08:20:23 | → | oskarw` joins (~user@194.29.137.22) |
| 08:20:49 | × | oskarw` quits (~user@194.29.137.22) (Remote host closed the connection) |
| 08:20:50 | × | oskarw quits (~user@194.29.137.22) (Remote host closed the connection) |
| 08:21:12 | → | oskarw joins (~user@user/oskarw) |
| 08:22:24 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:24:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:25:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:25:21 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 08:28:11 | → | merijn joins (~merijn@77.242.116.146) |
| 08:28:20 | → | oskarw joins (~user@user/oskarw) |
| 08:35:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:36:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:38:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:40:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 08:43:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:43:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:50:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:50:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:52:52 | → | merijn joins (~merijn@77.242.116.146) |
| 08:55:23 | → | ubert joins (~Thunderbi@2a02:8109:abb3:7000:b3bd:bf5a:1fc5:21e8) |
| 09:00:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:00:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:05:31 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 09:15:55 | <oskarw> | Hi, is there situation where I should use ghci over cabal-repl? I just found out that ghci can't use -threaded option, because its interpreter, and cabal-repl can, because it compiles code. |
| 09:17:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:17:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:20:53 | <oskarw> | I don't know how, but haskell-mode in emacs didn't found my .cabal file in my project and was opening ghci like it should be https://haskell.github.io/haskell-mode/manual/latest/REPL.html |
| 09:21:08 | <oskarw> | Was opening ghci instead of cabal-repl |
| 09:22:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:24:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:25:20 | <oskarw> | Does anybody here uses haskell-ts-mode and want to say how much they like it? |
| 09:25:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:37:06 | <tomsmeding> | whenever you're in a cabal package/project, you should use `cabal repl` because ghci doesn't pick up on the project configuration |
| 09:38:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 09:40:04 | → | merijn joins (~merijn@77.242.116.146) |
| 09:41:23 | <oskarw> | tomsmeding: ok, I will keep that in mind |
| 09:42:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:42:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:43:50 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 09:44:49 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 09:46:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 09:51:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:51:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:56:21 | → | spk joins (~spk@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) |
| 09:56:56 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 09:57:09 | × | spk quits (~spk@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) (Client Quit) |
| 09:57:43 | → | spk-Guest24 joins (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) |
| 09:58:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:58:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:06:37 | <spk-Guest24> | hello all, I have a question about creating a law-abiding lens. Basically, I want the `over` function to accept an `(Int, String)` but update only the `String` part (the `Int` is just extra, read-only context). So, I thought I could set up a lens of the type `Lens (Int, String) (Int, String) (Int, String) String`. |
| 10:06:54 | <spk-Guest24> | However, I don't know how to check the lens laws for this, since get-put and put-get seem to expect `a ~ b` whereas `a` and `b` are different here. Is my lens a valid lens in the first place? If so, any ideas on how to check its laws? If not, is there some other way I can solve this kind of problem within the lenses paradigm? Thanks |
| 10:09:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 10:09:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:13:00 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 10:15:14 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:15:17 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 268 seconds) |
| 10:15:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:18:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:21:34 | → | dhil joins (~dhil@5.151.29.137) |
| 10:23:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:23:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:31:04 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 10:31:09 | → | merijn joins (~merijn@77.242.116.146) |
| 10:31:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:31:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:35:38 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:35:48 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 10:36:11 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 10:37:20 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:37:21 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 10:37:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:42:45 | → | merijn joins (~merijn@77.242.116.146) |
| 10:43:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:43:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:43:49 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:48:52 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 10:51:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 10:51:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:56:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:57:24 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:57:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:57:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:59:17 | → | merijn joins (~merijn@77.242.116.146) |
| 11:00:28 | → | olliep joins (~ollie@2a0a:ef40:19e:b02:5af:d167:b1b4:7a80) |
| 11:05:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:05:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:06:08 | → | Guest4 joins (~Guest4@193.110.182.11) |
| 11:07:41 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 11:11:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:11:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:12:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:15:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 11:16:01 | → | xff0x joins (~xff0x@2405:6580:b080:900:b805:2b56:e562:b1fd) |
| 11:16:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 11:16:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:17:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:17:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:19:49 | × | Guest4 quits (~Guest4@193.110.182.11) (Quit: Client closed) |
| 11:22:18 | → | merijn joins (~merijn@77.242.116.146) |
| 11:23:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:24:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:29:45 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Quit: fp) |
| 11:29:54 | → | fp1 joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 11:30:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:31:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:31:47 | → | shaeto joins (~Shaeto@94.25.234.207) |
| 11:32:06 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 11:32:16 | fp1 | is now known as fp |
| 11:32:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 11:34:36 | → | merijn joins (~merijn@77.242.116.146) |
| 11:40:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:40:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:44:52 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 11:46:13 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Quit: fp) |
| 11:46:29 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 11:47:06 | → | chele joins (~chele@user/chele) |
| 11:48:40 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 11:49:27 | × | spk-Guest24 quits (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) (Quit: Client closed) |
| 11:49:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:49:39 | × | dhil quits (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
| 11:49:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:51:58 | × | shaeto quits (~Shaeto@94.25.234.207) (Ping timeout: 276 seconds) |
| 11:53:56 | → | shaeto joins (~Shaeto@94.25.234.139) |
| 11:56:37 | → | spk-Guest24 joins (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) |
| 11:58:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:59:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:03:39 | <kaol> | Lens seem to compose the wrong way to me. Writing the outermost thing first always trips me. In every other context the first function is associated with the return value. |
| 12:09:03 | → | poscat0x04 joins (~poscat@user/poscat) |
| 12:09:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:10:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:12:14 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 12:14:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:16:03 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 12:17:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 12:18:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 12:18:29 | ljdarj1 | is now known as ljdarj |
| 12:19:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:20:00 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 12:20:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:21:50 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 12:24:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 12:24:59 | ljdarj1 | is now known as ljdarj |
| 12:25:58 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:26:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:27:42 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 12:29:43 | → | haritz joins (~hrtz@152.37.64.162) |
| 12:29:43 | × | haritz quits (~hrtz@152.37.64.162) (Changing host) |
| 12:29:43 | → | haritz joins (~hrtz@user/haritz) |
| 12:31:07 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 12:32:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:32:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:32:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:36:13 | → | jespada joins (~jespada@179.26.252.87) |
| 12:38:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:38:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:39:54 | × | spk-Guest24 quits (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) (Quit: Client closed) |
| 12:44:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:45:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:52:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:52:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:57:02 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 12:59:57 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:01:10 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 13:01:10 | ljdarj1 | is now known as ljdarj |
| 13:02:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:02:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:12:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:12:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:13:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 13:17:54 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:19:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 13:20:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:20:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:28:13 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:28:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:34:52 | → | lortabac joins (~lortabac@2a0d:e487:123f:100e:3741:2f3f:e8f9:e593) |
| 13:35:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:36:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:42:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:43:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:49:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:50:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:56:29 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 14:05:49 | × | jespada quits (~jespada@179.26.252.87) (Ping timeout: 245 seconds) |
| 14:06:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:06:36 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:06:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:07:52 | × | ubert quits (~Thunderbi@2a02:8109:abb3:7000:b3bd:bf5a:1fc5:21e8) (Remote host closed the connection) |
| 14:08:25 | → | jespada joins (~jespada@179.26.252.87) |
| 14:11:19 | → | gorignak joins (~gorignak@user/gorignak) |
| 14:14:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:14:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:16:36 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 14:20:32 | → | craunts7 joins (~craunts@136.158.8.87) |
| 14:22:27 | → | dhil joins (~dhil@5.151.29.138) |
| 14:22:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:23:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:23:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:25:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 14:30:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:37:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:37:56 | × | lortabac quits (~lortabac@2a0d:e487:123f:100e:3741:2f3f:e8f9:e593) (Ping timeout: 244 seconds) |
| 14:38:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:42:38 | <EvanR> | ok I'll bite. What exactly is "a singleton" |
| 14:43:25 | <EvanR> | is data T a where A :: T Int; B :: T Float a singleton |
| 14:43:41 | <EvanR> | is data Z (no constructors) a singleton |
| 14:44:35 | <nitrix> | You need a single instance and it needs to break referential transparency, so unsafePerformIO + IORef. |
| 14:46:16 | <nitrix> | I don't think the classical Singleton is reproducible in Haskell. StateT perhaps, but it's not as "globally" accessible as a singleton normally is. |
| 14:46:26 | <EvanR> | no that's C++ singleton |
| 14:47:02 | <nitrix> | Or Java's singleton, or PHP's singleton, or ... |
| 14:47:06 | <EvanR> | https://hackage.haskell.org/package/singletons |
| 14:47:07 | <Leary> | EvanR: A type with a single non-bottom value, or that value, the two being loosely identified. |
| 14:47:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) |
| 14:47:28 | <nitrix> | Dependently typed, ah. Well that's an unfortunate name. |
| 14:48:05 | <EvanR> | Z above has no values so it's not a singleton? T Int has "one value" so it's a singleton? |
| 14:48:12 | <Leary> | Yes. |
| 14:48:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:48:44 | <EvanR> | and A and B "are singletons" too, despite being a different species of thing? |
| 14:48:44 | <Leary> | It comes (I presume) from "singleton set", which is any set of cardinality 1. |
| 14:49:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:49:06 | <Leary> | When "loosely identifying", yes. |
| 14:49:12 | <EvanR> | wild |
| 14:49:37 | <EvanR> | since T has multiple constructors I wouldn't have guess it was singleton related |
| 14:49:47 | <Leary> | I mean, the whole idea is to pretend we have values at the type level. |
| 14:50:06 | <EvanR> | what about data kinds |
| 14:50:10 | → | Shsl-Junko-POSER joins (~Shsl-Junk@50.235.208.178) |
| 14:50:14 | <EvanR> | do those count as singletons |
| 14:50:17 | <EvanR> | despite not being values |
| 14:50:34 | ← | spew parts (~spew@135.233.119.40) () |
| 14:51:56 | <EvanR> | I'll stop asking questions and just call out absurdity if I find a singleton has cardinality other than 1 |
| 14:52:04 | <Leary> | Uhh. They're kinda orthogonal, just a useful tool to actually create some structure at the type level. |
| 14:53:32 | <EvanR> | well it corresponds directly to "pretend we have values at type level" since it literally promotes values to types |
| 14:55:56 | <Leary> | They relate on a conceptual level, but are independent of actual singleton-ness. |
| 14:56:10 | <EvanR> | nitrix, instead of unsafePerformIO + IORef, try (carefully implemented unsafePerformIO + IVar) then it doesn't break RT |
| 14:56:43 | <nitrix> | o: |
| 14:57:31 | <EvanR> | if I wrote data T a where A :: T Int; B :: T Float; C :: T Int, would I be violating singleton-ness, and are there consequences |
| 14:57:52 | <EvanR> | what do I break |
| 14:57:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:58:09 | <Leary> | "singletonicity" |
| 14:58:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:58:23 | × | Shsl-Junko-POSER quits (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
| 14:58:44 | <EvanR> | it seems like I could still implement TestEquality correctly on T |
| 14:59:18 | <EvanR> | or in a way that doesn't explode |
| 14:59:37 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 15:00:30 | <Leary> | It just means that `A` and `C` aren't distinguished on the type level, so the information of which one you're dealing with isn't there, and you can't have the compiler verify facts about it. |
| 15:00:56 | <Leary> | It's just jumping out of pretend dependent-types land and back into regular Haskell; nothing's gonna explode. |
| 15:03:13 | <EvanR> | nice |
| 15:04:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:05:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 15:05:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:05:30 | × | dhil quits (~dhil@5.151.29.138) (Ping timeout: 252 seconds) |
| 15:10:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:11:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:12:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:14:46 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 15:17:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:17:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:21:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:21:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 15:22:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) |
| 15:22:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:23:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:24:56 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 15:25:56 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 15:28:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:29:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:37:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:37:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:44:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:44:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:46:37 | → | spk-Guest24 joins (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) |
| 15:52:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:53:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:56:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 16:01:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:01:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:05:46 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:09:38 | × | turlando quits (~turlando@user/turlando) () |
| 16:10:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 16:11:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:11:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:15:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:18:07 | → | turlando joins (~turlando@user/turlando) |
| 16:23:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:25:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:25:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:26:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) |
| 16:31:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:31:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:37:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:38:55 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:40:24 | → | ft joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 16:41:14 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 16:43:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:43:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:44:59 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 16:47:30 | <absence> | Is there something I can add to test1 to require that constraints on g should "propagate" to f, so that test3 compiles? https://play.haskell.org/saved/5pSDuinu |
| 16:48:42 | <geekosaur> | you would need to specify the `Functor` constraint |
| 16:48:43 | × | jle` quits (~jle`@2603:8001:3b00:11:cbf7:2c80:8f8:480c) (Ping timeout: 268 seconds) |
| 16:48:59 | <absence> | That's what I was hoping to avoid... |
| 16:49:16 | → | jle` joins (~jle`@2603:8001:3b00:11:3b41:97f4:1903:c327) |
| 16:49:34 | <geekosaur> | you cannot say "all possible constraints", because in general Haskell must provide a witness to the required constraint (in ghc this witness is the instance record containing the specific method definitions) |
| 16:51:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:52:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:52:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:54:37 | <absence> | I had imagined that test3 would pass a dictionary for Functor f to test1, which then would somehow forward it, and it would all check out. Is there something I'm missing that makes it impossible in general, or is it "just" a matter of Haskell not having the syntax to express it? |
| 16:57:56 | <geekosaur> | that's just not how typeclasses work |
| 16:58:44 | <geekosaur> | there are various advanced tricks possible, but in general typeclasses just aren't what you want here |
| 16:59:46 | <geekosaur> | you can use `IfCxt` to reify `Dict`s IIRC, and then you can do some things with them, but there are strict limits |
| 17:01:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:06:39 | <geekosaur> | interestingly, about the time you asked this a full answer appeared on the Discord Haskell channel https://paste.tomsmeding.com/40pDrdx2 |
| 17:07:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:07:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:10:20 | <absence> | Hmm I see, thanks! |
| 17:17:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:17:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:23:22 | → | dhil joins (~dhil@5.151.29.137) |
| 17:25:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:25:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:26:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 17:31:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:32:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:32:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 17:35:10 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:37:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:38:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:44:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:44:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:48:06 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:50:26 | → | pavonia joins (~user@user/siracusa) |
| 17:53:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 17:53:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:54:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:54:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:55:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:58:33 | × | olliep quits (~ollie@2a0a:ef40:19e:b02:5af:d167:b1b4:7a80) (Ping timeout: 252 seconds) |
| 18:04:14 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:04:42 | × | shaeto quits (~Shaeto@94.25.234.139) (Quit: WeeChat 4.1.1) |
| 18:05:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:06:11 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:06:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:07:39 | <EvanR> | should this be possible or impossible :: (forall a . Elem a as -> b) -> Int -> Maybe b |
| 18:07:59 | <EvanR> | I guess it's impossible because it seems to want the result being Nothing or Just to depend on the choice of as |
| 18:10:13 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:12:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:12:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:13:53 | × | spk-Guest24 quits (~spk-Guest@2405:201:e02d:902f:47b2:524d:9d9e:d2f4) (Quit: Client closed) |
| 18:14:34 | → | sprotte24 joins (~sprotte24@p200300d16f3c6b007804d0f3f760a6e1.dip0.t-ipconnect.de) |
| 18:19:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:20:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:26:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:26:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:29:08 | → | tccq joins (~user@user/tccq) |
| 18:29:42 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 18:31:48 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:32:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:33:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:34:59 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:38:17 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:39:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:39:13 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 18:39:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:40:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:40:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 18:40:15 | ljdarj1 | is now known as ljdarj |
| 18:42:51 | × | tccq quits (~user@user/tccq) (Ping timeout: 252 seconds) |
| 18:43:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 18:44:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 18:46:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:47:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:51:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:52:09 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:52:57 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 18:53:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:54:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:54:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:57:09 | rvalue- | is now known as rvalue |
| 18:58:52 | × | Everything quits (~Everythin@77.120.244.38) (Quit: leaving) |
| 18:59:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:00:04 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:00:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:00:44 | → | caconym7 joins (~caconym@user/caconym) |
| 19:07:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:08:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:10:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:15:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:15:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:15:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:19:24 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 19:19:48 | → | pierrot joins (~pi@user/pierrot) |
| 19:25:31 | JuanDaugherty | is now known as ColinRobinson |
| 19:25:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:26:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:26:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:31:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:31:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:32:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:36:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:36:33 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 19:38:40 | × | dhil quits (~dhil@5.151.29.137) (Ping timeout: 276 seconds) |
| 19:39:59 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:40:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:42:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:46:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:46:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:47:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:54:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:54:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:55:48 | → | Otong joins (~Otong@user/Otong) |
| 19:58:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:59:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:59:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:00:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:02:04 | <bwe> | If I have a function with return type `IO [a]` why can't I use `each :: (Monad m, Foldable f) => f a -> Stream (Of a) m ()` from Streaming.Prelude to produce a stream? https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:each Is it because IO only returns the list once it has been completely evaluated (even if the list itself is created lazily)? |
| 20:02:08 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:02:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:03:55 | <Rembane> | That IO isn't Foldable could be a reason |
| 20:06:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:06:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:07:38 | <EvanR> | function returning IO [a]... |
| 20:07:43 | <EvanR> | "function" isn't foldable |
| 20:08:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 20:09:11 | <bwe> | …then would `g :: Foldable f => IO f a` be it? |
| 20:09:33 | <EvanR> | but also yes, IO [a] will only return a list when the I/O action is over |
| 20:09:55 | <EvanR> | IO only takes 1 argument |
| 20:10:34 | <EvanR> | what is 'f' |
| 20:10:57 | <EvanR> | ok, List |
| 20:11:01 | <bwe> | :) |
| 20:11:09 | <EvanR> | IO (f a) is the correct parens here |
| 20:11:28 | <bwe> | `g :: Foldable f => IO (f a)` |
| 20:11:46 | <EvanR> | that doesn't match the argument type of each |
| 20:11:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:12:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:12:26 | <EvanR> | (right now there are two 'f's in play) |
| 20:13:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:15:34 | <EvanR> | things you can pass into each... list of a, vector of a, Map k of a, Set of a, ... |
| 20:16:02 | <bwe> | S.each <$> g :: IO _ -- S.each takes `f a` and `g` produces a `IO (f a)` |
| 20:16:16 | <EvanR> | ok you fmapped it |
| 20:16:38 | <EvanR> | so it's an IO action producing a Stream |
| 20:18:10 | <bwe> | IO does only return the full list if it's returning a list -- so I cannot run away from switching from inserting a Stream layer into underneath the IO layer, right? |
| 20:18:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:22:04 | <bwe> | Why does IO only return the list once it is evaluated completely and not lazily? Why doesn't it stream it by default? |
| 20:22:27 | <EvanR> | it's not up to IO it's up to how you constructed that IO |
| 20:22:44 | <EvanR> | e.g. readFile does produce a lazy I/O list |
| 20:23:20 | <EvanR> | while strict ByteString readFile produces something only after the entire file is read in |
| 20:23:23 | <bwe> | …in that case I could fmap `each` over readFile and I'd be fine? |
| 20:23:49 | <EvanR> | it's fine as long as there are no I/O errors down the line |
| 20:24:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:24:33 | <bwe> | So, any IO will wait for the list to be evaluated completely if constructing the list itself depends on a strict thing? |
| 20:24:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 20:24:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:25:21 | <EvanR> | the list produced by readFile? |
| 20:25:59 | <EvanR> | having a hard time parsing the question precisely |
| 20:26:28 | <EvanR> | there's a lot of details to be assumed in this area |
| 20:27:18 | <EvanR> | yahb is probably capable of demonstrating some phenomena |
| 20:27:36 | <int-e> | unsafeInterleaveIO is a mechanism by which an IO action can be deferred until a particular value is demanded. So readFile :: FilePath -> IO String can return a list that triggers such deferred IO actions. |
| 20:27:57 | → | anselmschueler joins (~quassel@user/schuelermine) |
| 20:27:57 | <int-e> | despite the fact that the `readFile` IO action itself is complete |
| 20:28:54 | <int-e> | bwe: if you analyze it like that there's no contradiction between "IO [a] will only return a list when the I/O action is over" and `readFile` doing "lazy IO". |
| 20:29:29 | <int-e> | Which I think is the confusion here? |
| 20:29:33 | <int-e> | Context is hard. |
| 20:29:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:29:43 | <EvanR> | % (pure (repeat 7) :: IO [Int]) >>= print . take 7 |
| 20:29:43 | <yahb2> | [7,7,7,7,7,7,7] |
| 20:29:58 | <EvanR> | just because it's IO doesn't mean the entire list is evaluated ^ |
| 20:30:21 | <EvanR> | it's really up to what the IO does |
| 20:30:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:30:43 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:31:47 | <int-e> | % import System.IO.Unsafe |
| 20:31:48 | <yahb2> | <no output> |
| 20:31:55 | <int-e> | % let sevens = (:) <$> pure 7 <*> unsafeInterleaveIO sevens in take 7 <$> sevens |
| 20:31:55 | <yahb2> | [7,7,7,7,7,7,7] |
| 20:32:06 | <int-e> | % let sevens = (:) <$> pure 7 <*> sevens in take 7 <$> sevens |
| 20:32:07 | <yahb2> | <interactive>: Unable to commit 1048576 bytes of memory ; <interactive>: Exiting. The system might be out of memory. |
| 20:34:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:37:19 | <EvanR> | pure (:) <*> pure 7 <*> sevens, to even get started looking at this list it has two complete 3 obvious IO actions in sequence, and one of them might / does have to do its own IO before it completes, and so on |
| 20:39:26 | <EvanR> | and unsafeInterleaveIO completes early setting up a "promise" to be redeemed by whatever looks at its result next, if anything |
| 20:41:01 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 20:42:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:43:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:45:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:45:49 | <bwe> | int-e: so, sort of like `[IO a, IO a, IO a]` is mocked as IO [a] but being lazy? |
| 20:47:22 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 20:48:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 20:48:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:49:00 | <bwe> | EvanR: "just because it's IO doesn't mean the entire list is evaluated ^" is significant - how can I tell from the return type whether IO evaluates the complete list before it returns? |
| 20:49:30 | <EvanR> | that information is not available in types like IO [a] |
| 20:49:44 | <bwe> | so, IO [a] could be both?! |
| 20:50:16 | <EvanR> | hell, taking this discussion seriously [a] could be both |
| 20:50:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:50:33 | <EvanR> | (lazy I/O or not) |
| 20:51:11 | <EvanR> | your projects conventions hopefully provide context to know if lazy I/O is going on |
| 20:51:24 | <EvanR> | next best thing is documentation |
| 20:52:45 | <bwe> | Of course. But it's harder if you want to interface with libraries you haven't written on your own. It's not necessarily obvious whether the IO is lazy or not. |
| 20:53:35 | <EvanR> | bwe, re: how can I tell <erase erase erase> whether IO evaluates the complete list before it returns. If you go into the definition of the IO action and it logically must *do* IO actions to produce the list values, and there's no lazy I/O, then logically it must produce a whole list before returning |
| 20:54:15 | <EvanR> | though the list elements still may not be fully evaluated at that point, the list structure would be |
| 20:54:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:54:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:55:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:56:13 | <EvanR> | for what it's worth, lazy I/O is not a common thing for libraries to pull on your without warning you |
| 20:57:00 | <EvanR> | that there is a streaming library involved is probably a good hint no lazy I/O is involved because that defeats the purpose of the streaming library |
| 20:57:24 | <bwe> | Then, it's essential to produce the list structure in a lazy I/O way while building a lazy IO. |
| 20:57:34 | <bwe> | (And that's what a streaming library does?) |
| 20:57:52 | <EvanR> | I would expect "streaming library" to not have any lazy I/O |
| 20:58:33 | <EvanR> | mainly lazy I/O is useful for applications who want to play fast and loose |
| 20:59:47 | → | jaror joins (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 21:00:21 | <haskellbridge> | <magic_rb> Lazy IO is extremely hard to debug |
| 21:00:41 | <bwe> | I mean, there are common use cases where you just pull data from some place (IO), and want to apply some function to it, without having all data in memory at once. I still find it hard how unintuitive it is for me to make the shift with Haskell into that one at a time processing. |
| 21:01:01 | <EvanR> | there are other ways to accomplish that without resorting to lazy I/O magic |
| 21:01:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:02:01 | <bwe> | EvanR: which are those? |
| 21:02:09 | <[exa]> | conduit & pipes libraries |
| 21:02:13 | <[exa]> | and well, traverse :) |
| 21:02:14 | <EvanR> | e.g. instead of readFile :: FilePath -> IO [Char] -- returns a magic lazy I/O list, eachChar :: (Char -> IO ()) -> FilePath -> IO () -- visit each Char in the file in sequence and do something |
| 21:02:31 | <EvanR> | where eachChar is some thing I made up that is more or less efficient |
| 21:03:43 | <EvanR> | the intention being it doesn't load the whole file at once |
| 21:04:26 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:04:39 | <bwe> | [exa]: I find Streaming simpler. |
| 21:04:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:05:09 | <[exa]> | bwe: as in, the "streaming" prelude? |
| 21:05:13 | <bwe> | [exa]: ... what's the buzz about traverse? |
| 21:05:24 | <bwe> | [exa]: https://hackage.haskell.org/package/streaming |
| 21:06:14 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:07:03 | <[exa]> | yes this one is good too. A bit less universal approach but covers the usual usecase space :D |
| 21:07:55 | <EvanR> | if you're using this, then I would suggest not using lazy I/O |
| 21:08:06 | <EvanR> | if you want to feed in some data from a source, produce a stream, not a lazy I/O list |
| 21:08:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:08:19 | <EvanR> | then it should play well with the rest of the library |
| 21:09:41 | <bwe> | EvanR: sorry if I was not able to convey my point - I want to use streaming but the point for me is how to take whatever IO input from some yet non-streaming library like DB stuff. |
| 21:10:08 | <EvanR> | if you are going through a library that doesn't support streaming, you can't |
| 21:10:25 | <[exa]> | well you can but you have to provide a bit of glue |
| 21:10:31 | <EvanR> | but database APIs if you go close enough to the raw API, support streaming |
| 21:11:15 | <EvanR> | [exa], like if it's this selda library which only produces whole list of results at once and no way to get 1 row at a time |
| 21:11:19 | <[exa]> | bwe: btw is this for the selda streams? if you start the work somewhere please ping me, I'd try to find time to write some code (at least for postgres) |
| 21:11:24 | <[exa]> | ah yes it's selda |
| 21:11:42 | <bwe> | [exa]: yeah, it's selda |
| 21:12:10 | <haskellbridge> | <sm> "The worst part of Haskell is its handling of JSON encoding – the Aeson library that everybody uses is quite complex to understand and use effectively. I believe that the unintuitive handling of JSON is one of the primary reasons that slows down Haskell adoption." |
| 21:12:17 | <EvanR> | it's kind of like how do I incrementally read JSON if all I have is js JSON.parse |
| 21:12:33 | <[exa]> | EvanR: anyway true, I read "through" too literally, there you could do by bits. Selda is more like "from" |
| 21:12:45 | <[exa]> | sm: lol where's that from. |
| 21:13:01 | <bwe> | yeah, that's my gut feeling.. that I need to make my own flavour of constructing the result list. Which essentially boils down to finding the right place of inserting S.yield and getting the type signatures right. |
| 21:13:14 | <haskellbridge> | <sm> this great interview: https://serokell.io/blog/haskell-in-production-simplex |
| 21:13:25 | <haskellbridge> | <sm> also: "Another short-coming was a cross-platform terminal IO with unicode support – it doesn’t really work out of the box." |
| 21:13:38 | <bwe> | [exa]: are you aware of https://github.com/haskell-streaming/streaming-postgresql-simple ? |
| 21:13:45 | <EvanR> | that's ridiculous |
| 21:14:27 | <bwe> | [exa]: ... and then, what about the fate of selda? Is the creator=maintainer still alive? |
| 21:14:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:14:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:14:40 | <EvanR> | who thought that JSON would be so complicated |
| 21:14:50 | <EvanR> | shoulda used XML |
| 21:14:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:14:56 | <[exa]> | sm: rofl. |
| 21:15:07 | <[exa]> | EvanR: or YAML!!!11 |
| 21:15:19 | <EvanR> | or CBOR |
| 21:15:37 | <[exa]> | bwe: yeah that's mostly why I'm asking, it's not really maintained (but works :D), taking over is a possibility. |
| 21:16:40 | <[exa]> | bwe: anyway yeah well the streaming pgsql mostly solves it, great. :D |
| 21:18:08 | <EvanR> | aeson is doing double duty, reading in "dumb" json values but also giving a way to parse-don't-validate it to useful types |
| 21:18:09 | <bwe> | [exa]: atm I'd like to work on getting streaming into selda for SQLite; however isn't it agnostic to whatever DB selda supports? |
| 21:18:15 | <EvanR> | other languages have the second stage too and it's just as complex |
| 21:18:57 | <[exa]> | json schemas yay |
| 21:19:07 | <EvanR> | haskell can skip the second stage and be just as brittle |
| 21:19:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:20:01 | <EvanR> | it's just unconventional |
| 21:20:31 | <dibblego> | waargonaut is better than aeson anyway |
| 21:21:03 | <[exa]> | bwe: the "core" part should be db-agnostic, yes. API there will need an update. I'm interested in having the postgres part working (not now but for future project) so if you have the API updated somewhere I'll just join in and port the postgres part if possible |
| 21:22:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:22:43 | <bwe> | ... over and over I get the feeling that I tend to pick the wrong libraries in Haskell because I don't know about the existing right ones! Sadly, there is no current awesome-haskell list :(. |
| 21:22:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:23:45 | <[exa]> | bwe: there's always a better library. stay with the expectable one. lack of surprise is good. |
| 21:24:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:24:12 | × | Otong quits (~Otong@user/Otong) (Ping timeout: 265 seconds) |
| 21:24:31 | <EvanR> | *sql-simple packages are solid |
| 21:27:32 | <haskellbridge> | <sm> how wrong you are bwe, two awesome lists for you here: https://joyful.com/Haskell+map#personal+docs |
| 21:28:30 | <haskellbridge> | <sm> but better are some of the links at https://joyful.com/Haskell+map#other+docs, like fpblock |
| 21:29:19 | <haskellbridge> | <sm> but you probably meant recently and ongoingly updated, and I guess you're right about that |
| 21:29:42 | <bwe> | sm: yes, I mean recently and ongoingly updated. |
| 21:30:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:30:28 | <haskellbridge> | <sm> gotcha. I guess keeping an eye on discourse and reddit is the best then |
| 21:30:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:30:49 | <haskellbridge> | <sm> after you're familiar with the old stuff |
| 21:31:36 | <bwe> | EvanR: you mean for example https://hackage.haskell.org/package/sql-simple-sqlite ? |
| 21:32:01 | <EvanR> | https://hackage.haskell.org/package/sqlite-simple |
| 21:32:29 | <bwe> | [exa]: yeah, but before over-frustrating myself potentially with for example conduit, I'd give streaming a try. |
| 21:32:45 | <bwe> | [exa]: but yes, avoiding those surprises is preferable, too. |
| 21:33:32 | <[exa]> | bwe: for selda the way to go would probably be to not pull in any new dependencies and just expose a handle that people can pull stuff from |
| 21:33:45 | <haskellbridge> | <sm> bwe also I usually do a few searches on hackage for alternatives. Better hackage search would be helpful. |
| 21:35:01 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 21:35:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:35:16 | <bwe> | [exa]: That's what I was contemplating yesterday. Not to introduce streaming as a dependency. So, I would factor out the S.yield function, for example as an argument? Then people could just pass in whatever streaming library they prefer? |
| 21:35:37 | <bwe> | sm: Agreed. Would save a ton of frustrations. |
| 21:35:59 | <[exa]> | bwe: yeah, that's the way. Expose mechanism, avoid policing. |
| 21:36:32 | <bwe> | sm: To that end, actually linking similar packages together would help. Categories seem not to do that in a great way atm. |
| 21:36:59 | <haskellbridge> | <sm> flora.pm has cleaned up the categories, I read |
| 21:37:01 | <bwe> | [exa]: I am celebrating this clarity now :). |
| 21:37:18 | <haskellbridge> | <sm> but hackage's search is more powerful. Fuzzier and more powerful search, and more trustworthy ratings, would be good |
| 21:37:42 | bwe | checks out what's the buzz about flora.pm |
| 21:37:59 | <[exa]> | current selda produces [], which you can reimagine in streaming version as (SomeHandle -> Either [] (a, SomeHandle)), which you can re-reimagine practically for database access as (SomeHandle -> IO (Either [] (a, SomeHandle))) and that's likely what I'd put in there as the interface type |
| 21:38:16 | → | dut joins (~dut@user/dut) |
| 21:38:37 | <haskellbridge> | <sm> are package categorisations much different on Flora, Hecate ? |
| 21:38:39 | <[exa]> | (plusminus some type syntax that makes this compile) |
| 21:39:25 | <[exa]> | s/Either []/Maybe/ (haha stupid me) |
| 21:39:34 | <bwe> | [exa]: I will come back to that when I touch it again! |
| 21:40:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:40:24 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:40:37 | <[exa]> | bwe: ok please do |
| 21:40:50 | <bwe> | [exa]: so by having factored out the dependency of the streaming library, I am free to define a type instance without introducing a dependency |
| 21:41:06 | <bwe> | EvanR: Thanks for your input, appreciate it! |
| 21:42:22 | × | anselmschueler quits (~quassel@user/schuelermine) (Quit: This text is the quit reason) |
| 21:42:54 | <bwe> | [exa]: will ping you if I'll give it a try with working on selda streaming. |
| 21:43:37 | <[exa]> | ok looking forward! |
| 21:44:01 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:44:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:45:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:48:42 | × | dut quits (~dut@user/dut) (Quit: Leaving) |
| 21:49:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 21:50:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:53:22 | yin | is now known as zzz |
| 21:54:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:55:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:56:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:00:15 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:00:42 | → | wickedjargon joins (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 22:00:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:01:04 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:06:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:07:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:07:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:07:59 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:11:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:15:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 22:15:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:16:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:18:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:19:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:22:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:25:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:25:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:27:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:29:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 22:32:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:32:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:37:45 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 268 seconds) |
| 22:38:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:40:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:41:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:42:04 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
| 22:43:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:44:34 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 22:49:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:50:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:51:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:5da2:ba0:a157:afb4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:54:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:54:21 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:56:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:57:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:57:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:59:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:03:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:03:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:09:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:10:35 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 23:14:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:16:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:16:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:23:33 | × | xff0x quits (~xff0x@2405:6580:b080:900:b805:2b56:e562:b1fd) (Ping timeout: 248 seconds) |
| 23:25:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:25:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:26:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:27:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 23:28:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:33:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:33:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:35:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 23:40:03 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:40:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:43:26 | → | biberu\ joins (~biberu@user/biberu) |
| 23:45:10 | × | sprotte24 quits (~sprotte24@p200300d16f3c6b007804d0f3f760a6e1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:46:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:46:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:46:54 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:47:01 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 248 seconds) |
| 23:47:02 | biberu\ | is now known as biberu |
| 23:47:24 | × | gorignak quits (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 23:47:27 | × | tabemann_ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 23:47:52 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:47:56 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 23:48:10 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
| 23:48:37 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 23:52:19 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 23:52:37 | × | michalz quits (~michalz@185.246.207.193) (Ping timeout: 272 seconds) |
| 23:52:45 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 23:52:55 | → | michalz joins (~michalz@185.246.207.197) |
| 23:53:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:53:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:53:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:54:31 | × | APic quits (apic@apic.name) (Ping timeout: 272 seconds) |
| 23:54:42 | → | APic joins (apic@apic.name) |
| 23:54:53 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:56:37 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 23:59:21 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 23:59:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 23:59:24 | ljdarj1 | is now known as ljdarj |
All times are in UTC on 2025-05-28.