2025/08/26

Newest at the top

2025-08-26 12:46:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 12:40:42 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-26 12:40:20 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-26 12:38:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 12:38:44 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 12:38:32 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 12:37:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 12:32:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:29:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-26 12:28:28 +0200 <Leary> Presumably you can also write RULES for `yourFromString (unpackCString s)` if you want to do better.
2025-08-26 12:27:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-08-26 12:27:28 +0200 <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 12:26:58 +0200 <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 12:25:56 +0200 <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 12:25:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2025-08-26 12:25:34 +0200 <Athas> Semantically, a Haskell string literal "foo" will be (fromList ('f' : 'o' : 'o' " [])).
2025-08-26 12:23:08 +0200 <sshine> how would they be more efficiently represented than non-literals; by static inlining?
2025-08-26 12:21:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 12:17:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:09:02 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-26 12:07:37 +0200 <Athas> Are Text literals (using OverloadedStrings) efficiently represented?
2025-08-26 12:07:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 12:02:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:01:21 +0200trickard_trickard
2025-08-26 11:55:19 +0200ubert1(~Thunderbi@178.115.39.91.wireless.dyn.drei.com) ubert
2025-08-26 11:51:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 11:50:10 +0200kaskal(~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) kaskal
2025-08-26 11:49:53 +0200kaskal(~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) (Quit: ZNC - https://znc.in)
2025-08-26 11:46:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:46:29 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 11:42:57 +0200Gravifer(~Gravifer@user/Gravifer) (Quit: Client closed)
2025-08-26 11:42:29 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 11:37:11 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-26 11:35:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 11:32:39 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 11:32:26 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 11:31:26 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-08-26 11:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:20:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 11:17:11 +0200Gravifer(~Gravifer@user/Gravifer) Gravifer
2025-08-26 11:15:18 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-08-26 11:14:42 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-08-26 11:14:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:14:15 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude
2025-08-26 11:13:55 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection)
2025-08-26 11:13:03 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 11:12:56 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 11:12:50 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 11:10:16 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-08-26 11:07:22 +0200inline_(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline