| 2024-11-28 00:00:06 +0100 | <haskellbridge> | <thirdofmay18081814goya> i'm trying to find the easiest target to reach javascript from lean4 |
| 2024-11-28 00:00:22 +0100 | <haskellbridge> | <thirdofmay18081814goya> am thinking one of either haskell, agda or idris |
| 2024-11-28 00:01:18 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-28 00:04:20 +0100 | infinity0 | (~infinity0@pwned.gg) (Client Quit) |
| 2024-11-28 00:04:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-11-28 00:08:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:09:11 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-28 00:09:25 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-28 00:10:54 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-28 00:13:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-11-28 00:13:15 +0100 | ljdarj1 | ljdarj |
| 2024-11-28 00:14:10 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-28 00:14:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-28 00:14:32 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-28 00:15:03 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-28 00:17:46 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-28 00:20:32 +0100 | <hellwolf> | ?pastebin |
| 2024-11-28 00:20:32 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-11-28 00:20:41 +0100 | <hellwolf> | @pastebin |
| 2024-11-28 00:20:41 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-11-28 00:23:06 +0100 | <hellwolf> | How do you make GHC shortern the error message of this scary monster? https://pastebin.com/RbpELwKX |
| 2024-11-28 00:23:17 +0100 | <hellwolf> | "ghc-internal-9.1001.0:GHC.Internal.TypeNats.+" |
| 2024-11-28 00:25:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:29:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 00:30:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 00:35:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-28 00:36:52 +0100 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) foul_owl |
| 2024-11-28 00:40:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:41:17 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-fd8e-d0c2-176e-9396-3461.rev.sfr.net) alexherbo2 |
| 2024-11-28 00:46:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-fd8e-d0c2-176e-9396-3461.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-28 00:47:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 00:47:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-fd8e-d0c2-176e-9396-3461.rev.sfr.net) alexherbo2 |
| 2024-11-28 00:47:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-28 00:53:45 +0100 | <geekosaur> | depend on the package explicitly and import the module (qualified) |
| 2024-11-28 00:54:32 +0100 | <geekosaur> | also I think you were looking for |
| 2024-11-28 00:54:35 +0100 | <geekosaur> | ?where paste |
| 2024-11-28 00:54:35 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-11-28 00:55:14 +0100 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-11-28 00:55:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:58:43 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2024-11-28 00:59:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-28 01:01:19 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f45e92259293d368009.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-28 01:02:52 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 01:04:52 +0100 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds)) |
| 2024-11-28 01:05:53 +0100 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-28 01:08:04 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 01:09:53 +0100 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-11-28 01:09:57 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-28 01:10:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:15:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 01:16:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-28 01:19:16 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 01:20:43 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-fd8e-d0c2-176e-9396-3461.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-28 01:23:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-11-28 01:24:47 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-28 01:26:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:31:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 01:41:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:43:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e3:b85:1caf:7d34) (Ping timeout: 245 seconds) |
| 2024-11-28 01:45:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 01:46:59 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2024-11-28 01:50:29 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-11-28 01:56:27 +0100 | <jackdk> | huh? I see the error snippet inlined from a pastebin |
| 2024-11-28 01:56:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:58:38 +0100 | Everything | (~Everythin@46.211.105.44) (Ping timeout: 255 seconds) |
| 2024-11-28 02:01:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 02:02:57 +0100 | tabemann__ | (~tabemann@2600:1700:7990:24e0:5174:5a46:699:13f) |
| 2024-11-28 02:03:04 +0100 | inedia | (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.2.2) |
| 2024-11-28 02:04:44 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:dcfd:354f:7f87:b580) (Ping timeout: 260 seconds) |
| 2024-11-28 02:04:56 +0100 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2024-11-28 02:06:25 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-28 02:12:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:18:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 02:19:32 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 252 seconds) |
| 2024-11-28 02:20:43 +0100 | euleritian | (~euleritia@dynamic-176-006-132-016.176.6.pool.telefonica.de) |
| 2024-11-28 02:22:25 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 02:23:59 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-28 02:26:18 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 02:26:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-11-28 02:30:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:34:27 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-28 02:34:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 02:45:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:49:10 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-28 02:50:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 02:51:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-28 02:51:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-28 02:53:09 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-11-28 02:57:17 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) billchenchina |
| 2024-11-28 03:01:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:03:29 +0100 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
| 2024-11-28 03:05:08 +0100 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-11-28 03:06:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 03:11:39 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 03:16:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:17:19 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 03:20:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-28 03:23:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 03:29:41 +0100 | krei-se | (~krei-se@p57af2af4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-28 03:31:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:32:35 +0100 | krei-se | (~krei-se@p5085dd86.dip0.t-ipconnect.de) krei-se |
| 2024-11-28 03:33:59 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 260 seconds) |
| 2024-11-28 03:36:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 03:39:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 03:47:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:53:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 03:54:54 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-28 03:55:32 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 04:09:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:14:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 04:15:43 +0100 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2024-11-28 04:18:19 +0100 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2024-11-28 04:20:22 +0100 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2024-11-28 04:21:58 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-28 04:22:22 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-11-28 04:22:22 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-11-28 04:22:22 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2024-11-28 04:22:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-11-28 04:23:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:31:46 +0100 | foul_owl | (~kerry@185.219.141.161) foul_owl |
| 2024-11-28 04:31:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 04:34:01 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-28 04:35:22 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Remote host closed the connection) |
| 2024-11-28 04:38:25 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-28 04:42:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:42:19 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-28 04:44:02 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-28 04:46:48 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 04:47:40 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-11-28 04:48:03 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-28 04:49:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 04:58:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 05:00:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 05:09:06 +0100 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) divya |
| 2024-11-28 05:10:39 +0100 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Client Quit) |
| 2024-11-28 05:11:24 +0100 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) divya |
| 2024-11-28 05:15:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:15:39 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 2024-11-28 05:19:01 +0100 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-11-28 05:20:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 05:30:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:35:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 05:37:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-28 05:38:40 +0100 | aforemny_ | (~aforemny@2001:9e8:6cfc:4900:21e:33c9:bfd:626b) aforemny |
| 2024-11-28 05:39:33 +0100 | aforemny | (~aforemny@2001:9e8:6ce2:4f00:247:abb5:ff11:88a7) (Ping timeout: 245 seconds) |
| 2024-11-28 05:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:46:14 +0100 | divya` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) |
| 2024-11-28 05:47:44 +0100 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Ping timeout: 260 seconds) |
| 2024-11-28 05:51:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 05:54:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-28 05:55:03 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2024-11-28 05:57:41 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 06:01:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:06:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 06:06:14 +0100 | divya` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Read error: Connection reset by peer) |
| 2024-11-28 06:06:17 +0100 | divya`` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) |
| 2024-11-28 06:10:35 +0100 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 06:11:49 +0100 | divya`` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Read error: Connection reset by peer) |
| 2024-11-28 06:14:05 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-28 06:14:08 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-11-28 06:16:01 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-28 06:16:59 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-11-28 06:17:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:18:02 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-28 06:20:13 +0100 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-11-28 06:21:04 +0100 | <Leary> | Playing with RequiredTypeArguments, I find I mostly want them in class methods where they require an ugly hack. I just realised that hack can actually be made pretty: `type a --> b = forall a' -> a' ~ a => b; infixr 0 -->`. Unfortunately we don't have `infixr 0 ->` so it's not perfect; you have to parenthesise the body of the type if it's `_ -> _`. |
| 2024-11-28 06:23:45 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 276 seconds) |
| 2024-11-28 06:23:51 +0100 | urdh | (~urdh@user/urdh) urdh |
| 2024-11-28 06:24:30 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-11-28 06:25:30 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-11-28 06:28:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 06:39:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:44:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 06:53:54 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-28 06:54:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:56:59 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-28 06:59:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 07:10:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:14:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 07:18:17 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-28 07:19:13 +0100 | euleritian | (~euleritia@dynamic-176-006-132-016.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 07:19:32 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 07:20:37 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-28 07:21:07 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-28 07:21:11 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-11-28 07:25:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:29:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 07:32:49 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-28 07:34:28 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-11-28 07:35:19 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-28 07:35:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:37:25 +0100 | euleritian | (~euleritia@dynamic-176-006-137-063.176.6.pool.telefonica.de) |
| 2024-11-28 07:41:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 07:42:45 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-11-28 07:45:39 +0100 | euleritian | (~euleritia@dynamic-176-006-137-063.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-11-28 07:45:53 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 07:51:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:54:45 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-28 07:55:30 +0100 | euleritian | (~euleritia@dynamic-176-002-010-054.176.2.pool.telefonica.de) |
| 2024-11-28 07:56:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 08:00:37 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-11-28 08:01:56 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-11-28 08:05:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-28 08:07:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 08:10:23 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 08:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 08:24:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 08:33:37 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 08:34:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 08:45:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 08:49:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 08:53:54 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-28 08:54:35 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-28 08:55:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 08:57:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 09:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 09:00:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 09:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 09:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 09:15:09 +0100 | ubert | (~Thunderbi@91.141.67.185.wireless.dyn.drei.com) ubert |
| 2024-11-28 09:16:56 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-11-28 09:21:32 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-28 09:27:56 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) billchenchina |
| 2024-11-28 09:30:23 +0100 | billchenchina | (~billchenc@103.118.42.229) (Ping timeout: 245 seconds) |
| 2024-11-28 09:32:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-28 09:35:07 +0100 | vpan | (~vpan@212.117.1.172) |
| 2024-11-28 09:35:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 09:51:14 +0100 | euleritian | (~euleritia@dynamic-176-002-010-054.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 09:51:32 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 09:53:02 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 09:57:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-28 09:58:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 10:01:35 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 10:04:17 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-28 10:09:48 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-28 10:10:02 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-28 10:18:55 +0100 | <hellwolf> | interesting, I used to use default signature extension for similar situation |
| 2024-11-28 10:20:08 +0100 | <hellwolf> | You could even make a better type error messsage: |
| 2024-11-28 10:20:08 +0100 | <hellwolf> | default abiDecoder :: forall. ( Assert (Not (IsABICoreType a)) |
| 2024-11-28 10:20:08 +0100 | <hellwolf> | (TypeError (Text "abiDecoder must be defined for a core type")) |
| 2024-11-28 10:20:08 +0100 | <hellwolf> | , ABITypeCodec (ABITypeDerivedOf a)) => S.Get a |
| 2024-11-28 10:20:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-28 10:21:11 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 265 seconds) |
| 2024-11-28 10:21:45 +0100 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2024-11-28 10:23:37 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-28 10:26:43 +0100 | bramh | (~bramh@user/bramh) bramh |
| 2024-11-28 10:31:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 10:37:41 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-28 10:38:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 10:39:52 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-11-28 10:41:25 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f2308e7690b90e194d6.dip0.t-ipconnect.de) |
| 2024-11-28 10:58:31 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-28 11:04:27 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-28 11:06:04 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Ping timeout: 260 seconds) |
| 2024-11-28 11:08:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-11-28 11:09:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 11:11:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-11-28 11:12:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-28 11:20:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 11:24:30 +0100 | Guest40 | (~Guest40@2409:40f4:39:82b7:7921:f1bd:d070:e8c) |
| 2024-11-28 11:25:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer) |
| 2024-11-28 11:27:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-11-28 11:28:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 11:29:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 11:33:41 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-28 11:42:15 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-11-28 11:43:45 +0100 | euleritian | (~euleritia@176.2.10.54) |
| 2024-11-28 11:43:55 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-11-28 11:46:00 +0100 | img_ | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-28 11:47:24 +0100 | img | (~img@user/img) img |
| 2024-11-28 11:52:35 +0100 | Guest40 | (~Guest40@2409:40f4:39:82b7:7921:f1bd:d070:e8c) (Quit: Client closed) |
| 2024-11-28 11:57:13 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-28 12:09:30 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-28 12:09:44 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-28 12:11:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-28 12:15:06 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-11-28 12:23:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 12:25:59 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 2024-11-28 12:30:39 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-28 12:31:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-11-28 12:32:08 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-28 12:32:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2024-11-28 12:38:46 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-11-28 12:38:59 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-11-28 12:39:30 +0100 | grc | (~user@212-132-42-22.customer.gigaclear.net) |
| 2024-11-28 12:40:21 +0100 | euleritian | (~euleritia@176.2.10.54) (Ping timeout: 246 seconds) |
| 2024-11-28 12:41:04 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 12:43:08 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-11-28 12:43:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 12:44:46 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-28 12:47:19 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-28 12:54:12 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) |
| 2024-11-28 12:56:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 13:00:08 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 13:02:20 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 13:07:17 +0100 | divya``` | (~user@139.5.10.61) (Remote host closed the connection) |
| 2024-11-28 13:07:38 +0100 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 13:08:50 +0100 | divya``` | (~user@139.5.10.61) (Remote host closed the connection) |
| 2024-11-28 13:09:07 +0100 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 13:09:23 +0100 | divya``` | divya |
| 2024-11-28 13:15:16 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-28 13:15:37 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 13:25:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-28 13:38:33 +0100 | divya- | (divya@140.238.251.170) divya |
| 2024-11-28 13:41:58 +0100 | divya | (~user@139.5.10.61) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-11-28 13:42:10 +0100 | divya- | divya |
| 2024-11-28 13:43:17 +0100 | alp__ | (~alp@2001:861:8ca0:4940:cda0:b848:4c21:79b0) (Remote host closed the connection) |
| 2024-11-28 13:43:39 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c5af:950e:283c:7445) |
| 2024-11-28 13:44:53 +0100 | ash3en | (~Thunderbi@149.222.150.35) ash3en |
| 2024-11-28 13:48:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-28 13:52:13 +0100 | ash3en | (~Thunderbi@149.222.150.35) (Quit: ash3en) |
| 2024-11-28 13:53:22 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-11-28 14:10:11 +0100 | briandaed | (~root@user/briandaed) (Quit: Lost terminal) |
| 2024-11-28 14:26:29 +0100 | ash3en | (~Thunderbi@149.222.150.35) ash3en |
| 2024-11-28 14:27:32 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-28 14:29:47 +0100 | <haskellbridge> | <hellwolf> Well, today's extension to include is ... qualified do |
| 2024-11-28 14:29:55 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-28 14:30:05 +0100 | <haskellbridge> | <hellwolf> For gradedmonad |
| 2024-11-28 14:32:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-28 14:32:53 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-28 14:33:22 +0100 | <haskellbridge> | <hellwolf> But I am in serious questioning of the real value of this do notation in my case. |
| 2024-11-28 14:41:16 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-28 14:41:35 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 14:41:39 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Quit: Leaving) |
| 2024-11-28 14:45:48 +0100 | ash3en | (~Thunderbi@149.222.150.35) (Ping timeout: 252 seconds) |
| 2024-11-28 14:51:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 14:52:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-28 14:56:35 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-28 14:57:30 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 14:58:06 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 15:01:06 +0100 | <mauke> | grade d monad |
| 2024-11-28 15:01:32 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-28 15:06:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 15:10:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Client Quit) |
| 2024-11-28 15:11:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 15:12:15 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-11-28 15:30:29 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-11-28 15:32:13 +0100 | euleritian | (~euleritia@dynamic-176-002-091-174.176.2.pool.telefonica.de) |
| 2024-11-28 15:34:49 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-28 15:37:38 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 255 seconds) |
| 2024-11-28 15:40:54 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-11-28 15:42:29 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2024-11-28 15:43:29 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 255 seconds) |
| 2024-11-28 15:44:54 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-28 15:48:02 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 15:48:35 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-11-28 15:53:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 16:04:54 +0100 | mulk | (~mulk@p5b112b80.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-28 16:07:39 +0100 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 16:07:40 +0100 | ash3en | (~Thunderbi@149.222.206.227) (Client Quit) |
| 2024-11-28 16:08:36 +0100 | mulk | (~mulk@p5b112d68.dip0.t-ipconnect.de) mulk |
| 2024-11-28 16:13:01 +0100 | <haskellbridge> | <Bowuigi> Qualified do is more useful without typeclasses ngl |
| 2024-11-28 16:14:13 +0100 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 16:14:30 +0100 | <haskellbridge> | <Bowuigi> Qualified applicative do is even more interesting without typeclasses |
| 2024-11-28 16:14:34 +0100 | ash3en | (~Thunderbi@149.222.206.227) (Client Quit) |
| 2024-11-28 16:22:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-28 16:26:03 +0100 | <juri_> | well, glad to be writing haskell again. |
| 2024-11-28 16:27:58 +0100 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 16:32:28 +0100 | ash3en | (~Thunderbi@149.222.206.227) (Ping timeout: 245 seconds) |
| 2024-11-28 16:45:02 +0100 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-11-28 16:45:26 +0100 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2024-11-28 16:45:26 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2024-11-28 16:45:27 +0100 | Server | +Cnt |
| 2024-11-28 16:45:31 +0100 | natto | (~natto@129.154.243.159) natto |
| 2024-11-28 16:45:37 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2024-11-28 16:45:38 +0100 | gawen_ | (~gawen@user/gawen) gawen |
| 2024-11-28 16:45:40 +0100 | hueso_ | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 16:46:00 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2024-11-28 16:46:06 +0100 | urdh | (~urdh@user/urdh) urdh |
| 2024-11-28 16:46:14 +0100 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-11-28 16:46:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-11-28 16:46:35 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-11-28 16:46:46 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2024-11-28 16:46:50 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-11-28 16:47:31 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-28 16:47:44 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 16:47:48 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-28 16:47:48 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-11-28 16:47:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 16:47:56 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2024-11-28 16:48:10 +0100 | gawen | (~gawen@user/gawen) (Ping timeout: 252 seconds) |
| 2024-11-28 16:49:06 +0100 | <juri_> | grr. aeson being opaque, as usual. no instance for FromJSON ByteString when decodeing, but if i supply a fromJSON instance for the type, i have overlapping instances. WTH. |
| 2024-11-28 16:49:55 +0100 | zero | (~z@user/zero) zero |
| 2024-11-28 16:52:10 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-28 16:56:45 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-28 17:01:56 +0100 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
| 2024-11-28 17:03:38 +0100 | benkard | (~mulk@p5b112ff6.dip0.t-ipconnect.de) mulk |
| 2024-11-28 17:04:25 +0100 | mulk | (~mulk@p5b112d68.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-28 17:04:25 +0100 | benkard | mulk |
| 2024-11-28 17:13:24 +0100 | <tomsmeding> | hellwolf: that particular (+) is just in GHC.TypeNats in base, no need to depend on ghc-internal |
| 2024-11-28 17:14:05 +0100 | <tomsmeding> | juri_: strict vs lazy ByteString? They're both called ByteString |
| 2024-11-28 17:14:18 +0100 | euleritian | (~euleritia@dynamic-176-002-091-174.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 17:14:35 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 17:19:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-28 17:20:21 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 17:22:43 +0100 | <juri_> | tomsmeding: the type i am trying to read uses strict. I've rewritten to use decodeFileStrict, and still can't get around it. |
| 2024-11-28 17:23:23 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-28 17:28:14 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-11-28 17:38:24 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-11-28 17:42:23 +0100 | <hellwolf> | I didn't depend on the type (+) directly in the use-site, it was used from my own package elsewhere. It was shown in the error message, which was confusing. But the root cause was more pertinent, and I had to fix that instead. I will watch out how often it shows up to end users, if it were not due to internal bugs, which then could be concerning. |
| 2024-11-28 17:44:31 +0100 | <tomsmeding> | juri_: what instance does the instance you try to write overlap with? Is that instance imported at the place where you try to use it? |
| 2024-11-28 17:44:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-28 17:45:18 +0100 | <tomsmeding> | hellwolf: right, I was just responding to geekosaur's suggestion to import the module it comes from to simplify the error message |
| 2024-11-28 17:45:49 +0100 | <hellwolf> | I am having serious crisis doubting if do syntax is really that beneficial. `>>= \x -> ...` looks equally fine. It does save you some key strokes of ">>=, >>" with "do", ofc. Thinking about it, the linear-type syntax I am building up heavily relying on (&, &+, &-, &|+, &|-, etc.) to start the line following, usually, a lambda. Akin to the the bind operator ">>=", but with more variant to deal wih those "&" series of |
| 2024-11-28 17:45:49 +0100 | <hellwolf> | multiplicity combinators that I am designing. |
| 2024-11-28 17:45:52 +0100 | <c_wraith> | fwiw, aeson doesn't have a FromJSON instance for ByteString. And it shouldn't. Such an instance implies a privileged encoding. That's fine for your application, but not for the core library |
| 2024-11-28 17:46:11 +0100 | <tomsmeding> | juri_: ^ |
| 2024-11-28 17:46:40 +0100 | <geekosaur> | tomsmeding, that was just a generic "why does that error qualify a type with package and module" |
| 2024-11-28 17:47:32 +0100 | <geekosaur> | and yes, it's a bit of a scorched earth response, but it'll always work whereas I needed to see more to know if it could be simplified in that cas |
| 2024-11-28 17:47:33 +0100 | <geekosaur> | e |
| 2024-11-28 17:48:14 +0100 | <hellwolf> | with (+), if one of the Nat didn't get inferred properly (which is the root problem), then the whole message was garbled with what I pasted above. |
| 2024-11-28 17:48:41 +0100 | <hellwolf> | so I am hoping that such inference error is eliminated at use site so that I won't scare away users. |
| 2024-11-28 17:49:19 +0100 | <tomsmeding> | hellwolf: exporting (Data.TypeNats.+) will at least shorten that to just "+" in the error message |
| 2024-11-28 17:49:26 +0100 | <tomsmeding> | which, granted, may still be unreadable |
| 2024-11-28 17:50:25 +0100 | <hellwolf> | could be. and it could be a wishful thinking from me. if it the inference deficiency did happen, I will have to see if I can shortcircuit it earlier with a TypeError. But that's extra work. |
| 2024-11-28 17:52:01 +0100 | tjbc | (~tjbc@user/fliife) (Ping timeout: 244 seconds) |
| 2024-11-28 17:55:47 +0100 | son0p | (~ff@191.109.96.243) (Ping timeout: 272 seconds) |
| 2024-11-28 17:57:55 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
| 2024-11-28 17:58:52 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-11-28 18:02:23 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-11-28 18:06:05 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 18:13:46 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 18:14:32 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-28 18:16:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2024-11-28 18:18:28 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-28 18:23:48 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-11-28 18:27:07 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-28 18:28:02 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 18:28:46 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-11-28 18:32:00 +0100 | Piedro | (~Piedro@213.226.141.250) Piedro |
| 2024-11-28 18:36:56 +0100 | <juri_> | tomsmeding, c_wraith: https://paste.rs/qKcMz.txt |
| 2024-11-28 18:38:03 +0100 | <c_wraith> | is Vocab a type alias? |
| 2024-11-28 18:38:09 +0100 | <juri_> | it is. |
| 2024-11-28 18:38:28 +0100 | <c_wraith> | ... I kind of hate type aliases. |
| 2024-11-28 18:38:45 +0100 | <juri_> | me too, but not my library. |
| 2024-11-28 18:40:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 18:41:00 +0100 | <juri_> | trying to use https://github.com/BobMcDear/minbpe-hs/blob/main/src/BPE/Base.hs , and serialize in a Vocab from a json file. |
| 2024-11-28 18:42:20 +0100 | <c_wraith> | Ok, so... You need to create a FromJSON instance for BS.ByteString, not for Vocab |
| 2024-11-28 18:42:58 +0100 | <geekosaur> | that was the original question, no? |
| 2024-11-28 18:43:39 +0100 | <c_wraith> | It was, but the error messages that indicate conflicting instances aren't from ByteString, they're from InsOrdHashMap, which Vocab is a type alias for |
| 2024-11-28 18:48:25 +0100 | <c_wraith> | alternatively, you can convert the Vocab to have Text values for serialization, and then convert the values back to the right type after deserializing. |
| 2024-11-28 18:48:48 +0100 | <c_wraith> | Assuming the contents are actually text, anyway |
| 2024-11-28 18:52:51 +0100 | <juri_> | ok, that fits. thank you. :) |
| 2024-11-28 18:54:39 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2024-11-28 18:55:16 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 18:58:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-28 18:59:13 +0100 | <ash3en> | is every job -- haskell or not -- somehow either project management or writing REST? |
| 2024-11-28 19:03:13 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-11-28 19:05:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-28 19:08:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-28 19:10:43 +0100 | <ski> | it would be nice if GHC supported being able to abstractly export a type synonym |
| 2024-11-28 19:11:46 +0100 | <ski> | (in Hugs, this is, more or less, restricted type synonyms. except that in that case, you specifically list which definitions it's concretely in scope over. kinda like `abstype' in SML) |
| 2024-11-28 19:12:56 +0100 | <tomsmeding> | ski: how would that work? |
| 2024-11-28 19:13:40 +0100 | <tomsmeding> | what's the difference with just exporting the type synonym as you can currently do? |
| 2024-11-28 19:15:22 +0100 | <ski> | externally, the type would appear as a `data'/`newtype', with no constructors exported |
| 2024-11-28 19:15:37 +0100 | <ski> | internally, it's known to be a `type' synonym |
| 2024-11-28 19:15:38 +0100 | <tomsmeding> | what would be the advantage of that? |
| 2024-11-28 19:15:49 +0100 | <tomsmeding> | it's not like you can really keep _secrets_ |
| 2024-11-28 19:16:13 +0100 | <ski> | dunno what you mean by the latter |
| 2024-11-28 19:16:43 +0100 | <ski> | but you could avoid some annoying `newtype' constuctor wrapping and unwrapping, in internal definitions |
| 2024-11-28 19:16:59 +0100 | <tomsmeding> | the only difference I see is whether the haddocks contains the definition of the type synonym or not |
| 2024-11-28 19:17:24 +0100 | <ski> | (and also avoid using `unsafeCoerce#' or `coerce') |
| 2024-11-28 19:17:38 +0100 | <tomsmeding> | or would you also disallow `fst foo` if `foo :: Foo` where `type Foo = (Bar1, Bar2)` is an abstractly exported type synonym? |
| 2024-11-28 19:17:56 +0100 | <tomsmeding> | (the `#` there feels somewhat overly strong) |
| 2024-11-28 19:17:56 +0100 | <ski> | yes. otherwise it would not be abstractly exported |
| 2024-11-28 19:18:21 +0100 | <tomsmeding> | right |
| 2024-11-28 19:18:29 +0100 | <ski> | (the ML module systems do this, btw) |
| 2024-11-28 19:21:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-28 19:21:53 +0100 | <ski> | (if you opaquely (rather than transparently) ascribe a signature that mentions the type, but not it being defined as a particular `datatype' or `type' (synonym), to the structure/module in question that defines the type. e.g. `structure Foo : sig type foo; val mkFoo : int -> foo option ; ... end = struct type foo = ...; fun mkFoo n = ...; ... end') |
| 2024-11-28 19:22:41 +0100 | <ski> | (er, s/Foo :/Foo :>/. using `:' would be transparent ascription) |
| 2024-11-28 19:26:42 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-28 19:29:59 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 19:30:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 19:33:56 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2024-11-28 19:34:07 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-28 19:36:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-28 19:36:25 +0100 | <haskellbridge> | <Bowuigi> ski Miranda has this mechanism combined with module parameters (sorta like ML) instead of typeclasses |
| 2024-11-28 19:37:20 +0100 | <haskellbridge> | <Bowuigi> It is meh because most of the time the definitions are small and you have to do some plumbing to get multiple overloadings going |
| 2024-11-28 19:37:55 +0100 | <haskellbridge> | <Bowuigi> It isn't real overload either, you can't use a single symbol to refer to multiple operations, you have to rename each one manually instead |
| 2024-11-28 19:38:03 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 19:38:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 19:38:45 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-28 19:39:54 +0100 | <haskellbridge> | <Bowuigi> It's quite fast as well, because everything is specialized (Miranda is not fast in general though) |
| 2024-11-28 19:40:52 +0100 | <haskellbridge> | <Bowuigi> In particular, a somewhat naive implementation of graph reduction segfaults on fairly small terms, but that's unrelated |
| 2024-11-28 19:49:13 +0100 | <ski> | Bowuigi : are the module parameters modules ? values ? can they be types ? |
| 2024-11-28 19:49:38 +0100 | <ski> | not sure what you mean by overloadings |
| 2024-11-28 19:53:25 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 19:55:07 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2024-11-28 19:55:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2024-11-28 19:59:07 +0100 | <haskellbridge> | <Bowuigi> No, the "module parameters" of Miranda are similar to setting "#define"s before including a file in C |
| 2024-11-28 19:59:32 +0100 | <haskellbridge> | <Bowuigi> They can't be modules because modules exist at a sort of macro level. You can't compute with them either |
| 2024-11-28 20:00:51 +0100 | <haskellbridge> | <Bowuigi> Overloading as in referring to multiple definitions, respecting a singular schema but implemented for different types. The typeclass members on Haskell are overloaded |
| 2024-11-28 20:00:51 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-11-28 20:03:47 +0100 | son0p | (~ff@186.121.16.116) son0p |
| 2024-11-28 20:04:30 +0100 | <ski> | mhm |
| 2024-11-28 20:05:38 +0100 | <ski> | (yea, but you said "It isn't real overload either", which made me wonder if it was just like making local names for operations coming from other modules or module parameters) |
| 2024-11-28 20:06:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-28 20:07:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2024-11-28 20:10:42 +0100 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) |
| 2024-11-28 20:10:44 +0100 | <markasoftware> | i can't believe <$> has left-associativity |
| 2024-11-28 20:10:44 +0100 | <markasoftware> | my mind is blown |
| 2024-11-28 20:11:46 +0100 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) (Client Quit) |
| 2024-11-28 20:14:13 +0100 | <markasoftware> | fn1 <$> fn2 <$> [1, 2, 3] = (fn1 <$> fn2) <$> [1, 2, 3] but functions are functors so (fn1 <$> fn2) = (fn1 . fn2) |
| 2024-11-28 20:14:37 +0100 | <markasoftware> | i always thought it was fn1 <$> (fn2 <$> [1, 2, 3]) |
| 2024-11-28 20:14:51 +0100 | <tomsmeding> | that is funny |
| 2024-11-28 20:15:06 +0100 | <tomsmeding> | automatic fmap fusion by associativity! |
| 2024-11-28 20:17:29 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 20:17:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 20:31:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 20:31:58 +0100 | <haskellbridge> | <hellwolf> what about (&) |
| 2024-11-28 20:33:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 20:36:11 +0100 | <enikar> | infixl 1 |
| 2024-11-28 20:36:28 +0100 | <enikar> | amazing! |
| 2024-11-28 20:38:01 +0100 | <tomsmeding> | Well that one makes sense. |
| 2024-11-28 20:38:33 +0100 | <tomsmeding> | just like f $ g $ x = f $ (g $ x) = f (g x), you have x & g & f = (x & g) & f = f (g x) |
| 2024-11-28 20:39:09 +0100 | <geekosaur> | yep. remember (&) is reversed |
| 2024-11-28 20:40:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 20:41:40 +0100 | <haskellbridge> | <hellwolf> with block arguments, it can look like this |
| 2024-11-28 20:41:40 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/DUWxphAzhbxtcmoiFFOcnqsr/NRs7mKkwlGA (4 lines) |
| 2024-11-28 20:41:59 +0100 | <markasoftware> | interestingly, <&> is also left-associative, even though they could use the same trick to make it right-associative and the composition order would be correct. |
| 2024-11-28 20:42:37 +0100 | <haskellbridge> | <hellwolf> & + BlockArguments is your reincarnation of unix pipe in Haskell. |
| 2024-11-28 20:42:43 +0100 | <tomsmeding> | hellwolf: if you get BlockArguments out then you can even `f do g do x` |
| 2024-11-28 20:43:07 +0100 | <haskellbridge> | <hellwolf> for that small toy case, yes, but I mean to point out something general. |
| 2024-11-28 20:44:03 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-11-28 20:45:32 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-11-28 20:45:53 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-28 20:46:01 +0100 | <tomsmeding> | :t (Control.Category.>>>) |
| 2024-11-28 20:46:02 +0100 | <lambdabot> | forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c |
| 2024-11-28 20:46:37 +0100 | <tomsmeding> | % :t (Control.Category.>>>) @(->) |
| 2024-11-28 20:46:37 +0100 | <yahb2> | (Control.Category.>>>) @(->) ; :: GHC.Internal.Control.Category.Category (->) => ; (a -> b) -> (b -> c) -> a -> c |
| 2024-11-28 20:47:07 +0100 | <tomsmeding> | :t flip (.) |
| 2024-11-28 20:47:08 +0100 | <lambdabot> | (a -> b) -> (b -> c) -> a -> c |
| 2024-11-28 20:48:23 +0100 | <haskellbridge> | <hellwolf> i am having fun atm with lineartypes, and that's about the only tolerable syntax I can find due to all these one-multiplicity constraint: |
| 2024-11-28 20:48:25 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPVnzzMFyBOkwLGLuDYnpbus/EB4G3VwQL1Y (6 lines) |
| 2024-11-28 20:48:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-28 20:49:00 +0100 | <tomsmeding> | ah yes, with LinearTypes (&) ends up being quite useful if you don't want to nest `case` 10-deep |
| 2024-11-28 20:50:48 +0100 | <haskellbridge> | <hellwolf> % :t (Control.Category.<<<) @(->) |
| 2024-11-28 20:51:17 +0100 | <tomsmeding> | hellwolf: try putting the command on the second line of your message |
| 2024-11-28 20:51:20 +0100 | <hellwolf> | % :t (Control.Category.<<<) @(->) |
| 2024-11-28 20:51:20 +0100 | <yahb2> | (Control.Category.<<<) @(->) ; :: GHC.Internal.Control.Category.Category (->) => ; (b -> c) -> (a -> b) -> a -> c |
| 2024-11-28 20:51:31 +0100 | <tomsmeding> | (<<<) @(->) = (.) |
| 2024-11-28 20:51:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 20:53:08 +0100 | <hellwolf> | % :t ($!) |
| 2024-11-28 20:53:09 +0100 | <yahb2> | ($!) :: (a -> b) -> a -> b |
| 2024-11-28 20:53:22 +0100 | <hellwolf> | % : info ($!) |
| 2024-11-28 20:53:22 +0100 | <yahb2> | unrecognised flag: info ; unrecognised flag: ($!) |
| 2024-11-28 20:53:28 +0100 | <tomsmeding> | % :i ($!) |
| 2024-11-28 20:53:28 +0100 | <yahb2> | ($!) :: (a -> b) -> a -> b -- Defined in ‘GHC.Internal.Base’ ; infixr 0 $! |
| 2024-11-28 20:53:44 +0100 | <tomsmeding> | has the same type as ($) but evaluates the argument to WHNF before passing it to the function |
| 2024-11-28 20:54:13 +0100 | <hellwolf> | How can I explain WHNF to people like we are all javascript programmers. |
| 2024-11-28 20:54:38 +0100 | <hellwolf> | ELJS |
| 2024-11-28 20:54:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 20:54:59 +0100 | <tomsmeding> | that might be tricky, because it's not even "strict application" really in a JS mindset, because it's only the top-level constructor |
| 2024-11-28 20:55:45 +0100 | <hellwolf> | Also, today I also had a look of the base's document of Monad, the excerpt: |
| 2024-11-28 20:55:59 +0100 | <hellwolf> | "The Monad class defines the basic operations over a monad, a concept from a branch of mathematics known as category theory. From the perspective of a Haskell programmer, however, it is best to think of a monad as an abstract datatype of actions. Haskell's do expressions provide a convenient syntax for writing monadic expressions." |
| 2024-11-28 20:55:59 +0100 | <tomsmeding> | do you need ($!) specifically or could you make do with ($!!!!) :: NFData a => (a -> b) -> a -> b ; f $!!!! x = x `deepseq` f x |
| 2024-11-28 20:56:07 +0100 | <hellwolf> | how is this supposed to be understandable to beginners. |
| 2024-11-28 20:56:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 20:56:28 +0100 | <tomsmeding> | reference documentation is not a tutorial |
| 2024-11-28 20:56:46 +0100 | <hellwolf> | yea, fair enough. but please don't search "what is monad?" |
| 2024-11-28 20:56:52 +0100 | <tomsmeding> | lol |
| 2024-11-28 20:56:55 +0100 | <tomsmeding> | "it's a burrito" |
| 2024-11-28 20:57:14 +0100 | <Rembane> | Mmmburrito |
| 2024-11-28 20:57:25 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 20:57:50 +0100 | <tomsmeding> | Rembane: it's past dinnertime, you should have eaten already |
| 2024-11-28 20:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 20:58:19 +0100 | <hellwolf> | Happy thanks giving. Haskell is a wonderful gift to us. I am gonna keep grinding now. |
| 2024-11-28 20:58:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-11-28 20:59:10 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2024-11-28 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 21:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 21:00:40 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-11-28 21:01:03 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 21:03:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-28 21:08:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:09:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-28 21:13:11 +0100 | <cheater> | haskgiving |
| 2024-11-28 21:13:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 21:20:57 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-11-28 21:20:57 +0100 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) |
| 2024-11-28 21:24:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:24:45 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-28 21:29:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 21:30:30 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 2024-11-28 21:34:40 +0100 | <haskellbridge> | <Bowuigi> ski sort of, you have a "%free" directive to declare free variables in the current module (with their types) and you "fill" them when "%include"-ing it |
| 2024-11-28 21:35:25 +0100 | <haskellbridge> | <Bowuigi> Including also allows you to include parts of modules and/or rename stuff |
| 2024-11-28 21:37:23 +0100 | <ski> | Bowuigi : ok. can two modules be combined, filling free variables of one with some ones defined in the other, and simultaneously also the other way around ? |
| 2024-11-28 21:38:56 +0100 | <haskellbridge> | <Bowuigi> Not sure, lemme check |
| 2024-11-28 21:39:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:41:05 +0100 | Piedro | (~Piedro@213.226.141.250) (Remote host closed the connection) |
| 2024-11-28 21:41:33 +0100 | <haskellbridge> | <Bowuigi> You can't, inclusions must form a DAG |
| 2024-11-28 21:42:03 +0100 | <haskellbridge> | <Bowuigi> As in, you can't have cycles / mutually recursive modules |
| 2024-11-28 21:42:27 +0100 | <Athas> | tomsmeding: did you have Haskell implementations of ADBench? |
| 2024-11-28 21:44:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 21:44:29 +0100 | <ski> | mhm, ok, Bowuigi. ty |
| 2024-11-28 21:45:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 21:45:52 +0100 | <ski> | (reminds me of "Some Were Meant for C - The Endurance of an Unmanageable Language" by Stephen Kell in 2017-10-(25-27) at <https://www.humprog.org/~stephen/research/papers/kell17some-preprint.pdf>) |
| 2024-11-28 21:47:09 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-28 21:49:32 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 21:50:02 +0100 | <Rembane> | tomsmeding: I know! My eating is lazily evaluated. :D |
| 2024-11-28 21:50:26 +0100 | pera | (~pera@user/pera) pera |
| 2024-11-28 21:51:22 +0100 | codaraxis___ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2024-11-28 21:51:27 +0100 | <tomsmeding> | Athas: I had an implementation of GMM and BA in a fork of Accelerate with AD (of questionable quality) |
| 2024-11-28 21:51:40 +0100 | <tomsmeding> | well, have |
| 2024-11-28 21:51:50 +0100 | <tomsmeding> | "it probably still compiles" |
| 2024-11-28 21:55:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:00:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 22:02:38 +0100 | Square | (~Square@user/square) Square |
| 2024-11-28 22:03:29 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-11-28 22:06:24 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 22:06:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-11-28 22:07:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-28 22:08:00 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-11-28 22:09:16 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-28 22:09:21 +0100 | n3t | (~n3t@user/n3t) (Ping timeout: 252 seconds) |
| 2024-11-28 22:10:25 +0100 | n3t | (~n3t@user/n3t) n3t |
| 2024-11-28 22:11:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:12:03 +0100 | gAy_Dragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2024-11-28 22:12:17 +0100 | A_Dragon | (A_D@libera/staff/dragon) ad |
| 2024-11-28 22:13:47 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-28 22:14:27 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 22:15:37 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 22:16:03 +0100 | eugenrh | (~eugenrh@user/eugenrh) (Ping timeout: 265 seconds) |
| 2024-11-28 22:16:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 22:16:36 +0100 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
| 2024-11-28 22:17:02 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2024-11-28 22:17:57 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: Ping timeout (120 seconds)) |
| 2024-11-28 22:18:02 +0100 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-11-28 22:18:11 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-11-28 22:20:33 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-11-28 22:21:24 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer) |
| 2024-11-28 22:21:40 +0100 | nshepperd2 | (~nshepperd@static.117.72.21.65.clients.your-server.de) nshepperd |
| 2024-11-28 22:22:18 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (Ping timeout: 252 seconds) |
| 2024-11-28 22:23:10 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2024-11-28 22:26:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-28 22:26:06 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-28 22:26:25 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-28 22:27:00 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-28 22:27:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:31:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-28 22:32:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 22:32:59 +0100 | Everything | (~Everythin@46-133-159-79.mobile.vf-ua.net) Everything |
| 2024-11-28 22:42:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:44:36 +0100 | michalz_ | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-11-28 22:48:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 22:54:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-11-28 22:55:49 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:6136:217c:de43:8e5e) (Ping timeout: 245 seconds) |
| 2024-11-28 22:56:56 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:3504:b367:1fbc:1943) jle` |
| 2024-11-28 22:58:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:59:59 +0100 | simendsjo | (~user@84.211.91.108) (Ping timeout: 245 seconds) |
| 2024-11-28 23:01:24 +0100 | tabemann__ | tabemann |
| 2024-11-28 23:04:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 23:08:29 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 23:13:10 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-28 23:14:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:21:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-28 23:25:57 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 248 seconds) |
| 2024-11-28 23:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:32:50 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-28 23:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 23:39:27 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-28 23:43:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) (Ping timeout: 276 seconds) |
| 2024-11-28 23:45:37 +0100 | pera | (~pera@user/pera) (Remote host closed the connection) |
| 2024-11-28 23:48:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:50:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) |
| 2024-11-28 23:53:08 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-28 23:53:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 23:54:14 +0100 | Everything | (~Everythin@46-133-159-79.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-28 23:57:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |