2025/08/26

Newest at the top

2025-08-26 13:21:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:16:32 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-26 13:10:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 13:07:36 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds)
2025-08-26 13:06:04 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-08-26 13:05:50 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection)
2025-08-26 13:05:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:02:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 13:02:17 +0200caconym747(~caconym@user/caconym) caconym
2025-08-26 13:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-26 12:54:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 12:54:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-26 12:52:50 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-26 12:51:49 +0200sprotte24(~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-26 12:50:18 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 12:47:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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)