Logs: liberachat/#haskell
| 2025-08-26 09:12:56 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 09:13:03 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 09:13:55 | × | pikajude quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection) |
| 2025-08-26 09:14:15 | → | pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 2025-08-26 09:14:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 09:14:42 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-08-26 09:15:18 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-08-26 09:17:11 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 2025-08-26 09:20:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 09:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 09:31:26 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-08-26 09:32:26 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 09:32:39 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 09:35:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 09:37:11 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-26 09:42:29 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-08-26 09:42:57 | × | Gravifer quits (~Gravifer@user/Gravifer) (Quit: Client closed) |
| 2025-08-26 09:46:29 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 09:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 09:49:53 | × | kaskal quits (~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) (Quit: ZNC - https://znc.in) |
| 2025-08-26 09:50:10 | → | kaskal joins (~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) |
| 2025-08-26 09:51:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-26 09:55:19 | → | ubert1 joins (~Thunderbi@178.115.39.91.wireless.dyn.drei.com) |
| 2025-08-26 10:01:21 | trickard_ | is now known as trickard |
| 2025-08-26 10:02:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 10:07:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 10:07:37 | <Athas> | Are Text literals (using OverloadedStrings) efficiently represented? |
| 2025-08-26 10:09:02 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-26 10:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 10:21:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 10:23:08 | <sshine> | how would they be more efficiently represented than non-literals; by static inlining? |
| 2025-08-26 10:25:34 | <Athas> | Semantically, a Haskell string literal "foo" will be (fromList ('f' : 'o' : 'o' " [])). |
| 2025-08-26 10:25:42 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2025-08-26 10:25:56 | <Athas> | That's eight constructors and a lazy application. I hope that is not the code that is generated from the appropriate fromList type is monomorphic. |
| 2025-08-26 10:26:58 | <Leary> | Without `OverloadedStrings`, a `String` literal "foo" compiles to `unpackCString "foo"#`. I don't see why the extension should change anything in this regard. |
| 2025-08-26 10:27:28 | <Athas> | Oh, so GHC already has an optimisation for that case. I'd be surprised if it didn't, but it's nice to make sure. |
| 2025-08-26 10:27:36 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-08-26 10:28:28 | <Leary> | Presumably you can also write RULES for `yourFromString (unpackCString s)` if you want to do better. |
| 2025-08-26 10:29:51 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-26 10:32:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 10:37:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 10:38:32 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 10:38:44 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 10:38:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-26 10:40:20 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-26 10:40:42 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-26 10:46:05 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-26 10:47:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 10:50:18 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 10:51:49 | × | sprotte24 quits (~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-26 10:52:50 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-26 10:54:03 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-26 10:54:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-26 11:00:04 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-26 11:02:17 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-26 11:02:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-26 11:05:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 11:05:50 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection) |
| 2025-08-26 11:06:04 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2025-08-26 11:07:36 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-08-26 11:10:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 11:16:32 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-26 11:21:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 11:25:44 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-08-26 11:26:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 11:29:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:bd9c:270d:261:4d07) |
| 2025-08-26 11:31:22 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-08-26 11:32:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 11:34:31 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-08-26 11:37:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 11:38:29 | → | kuribas joins (~user@2a02-1810-2825-6000-1140-f7e9-a719-3107.ip6.access.telenet.be) |
| 2025-08-26 11:39:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-08-26 11:40:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-26 11:42:53 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 11:44:58 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-26 11:46:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-26 11:47:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-08-26 11:47:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Client Quit) |
| 2025-08-26 11:48:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 11:50:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-08-26 11:51:32 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-26 11:52:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-26 11:52:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-26 11:57:58 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-08-26 11:58:11 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 2025-08-26 12:02:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-26 12:03:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 12:06:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-26 12:08:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 12:11:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-08-26 12:14:42 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Server closed connection) |
| 2025-08-26 12:14:56 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 2025-08-26 12:18:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-26 12:19:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 12:20:43 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-08-26 12:20:49 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 2025-08-26 12:23:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 12:24:41 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-26 12:28:20 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 12:28:37 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
All times are in UTC.