Newest at the top
2024-07-05 08:23:52 +0200 | phma | (phma@2001:5b0:210f:75d8:5712:dd76:7969:de0f) |
2024-07-05 08:23:21 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-07-05 08:23:02 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-07-05 08:22:38 +0200 | phma | (~phma@2001:5b0:211f:df58:db5:77f1:4b7c:c21a) (Read error: Connection reset by peer) |
2024-07-05 08:16:39 +0200 | Guest44 | (~Guest54@122.115.224.163) |
2024-07-05 08:09:11 +0200 | califax | (~califax@user/califx) |
2024-07-05 08:08:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-07-05 08:01:39 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 08:01:21 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Remote host closed the connection) |
2024-07-05 07:54:09 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 255 seconds) |
2024-07-05 07:52:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-05 07:50:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-07-05 07:45:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-07-05 07:45:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-07-05 07:44:51 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb277d28f4d2e7a5b949.dip0.t-ipconnect.de) |
2024-07-05 07:44:08 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-05 07:31:21 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: Yup, exiting...) |
2024-07-05 07:30:17 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-07-05 07:27:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-07-05 07:15:24 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-05 07:05:11 +0200 | dfg | (~dfg@user/dfg) |
2024-07-05 07:04:56 +0200 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
2024-07-05 07:03:37 +0200 | dfg | (~dfg@user/dfg) |
2024-07-05 07:03:37 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
2024-07-05 07:03:36 +0200 | dfg | (~dfg@dfg.rocks) |
2024-07-05 07:02:46 +0200 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
2024-07-05 06:58:41 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-07-05 06:56:23 +0200 | michalz | (~michalz@185.246.207.200) |
2024-07-05 06:40:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-07-05 06:40:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2024-07-05 06:28:50 +0200 | <haskellbridge> | <aaron> wonder if there's a combinator for making a lens strict |
2024-07-05 06:27:47 +0200 | <haskellbridge> | <aaron> er, fieldLens would have to be the lens for the nested record, not the field within it |
2024-07-05 06:24:19 +0200 | <jackdk> | that would still need the outer record to be forced via `seq` or something, right? |
2024-07-05 06:23:40 +0200 | <haskellbridge> | <aaron> jackdk: also if you use lenses you can do "set fieldLens $! value" |
2024-07-05 06:19:13 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-05 06:18:55 +0200 | euleritian | (~euleritia@dynamic-176-002-133-146.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-05 06:14:36 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-07-05 06:13:30 +0200 | dunj3 | (~dunj3@kingdread.de) |
2024-07-05 06:12:51 +0200 | dunj3 | (~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
2024-07-05 06:10:17 +0200 | <haskellbridge> | <aaron> -XForceField |
2024-07-05 06:07:56 +0200 | <EvanR> | force field |
2024-07-05 06:00:52 +0200 | <jackdk> | Sounds good, thanks |
2024-07-05 06:00:25 +0200 | <haskellbridge> | <aaron> jackdk: for forcing a field I guess you can do let !field = x in record { field } |
2024-07-05 05:52:42 +0200 | <haskellbridge> | <aaron> Oh, as in updating a nested record? |
2024-07-05 05:47:43 +0200 | <jackdk> | aaron: it's a record update of a record update, so AIUI I'd need to force the outer field so the inner update happens promptly |
2024-07-05 05:46:36 +0200 | <haskellbridge> | <aaron> jackdk: Why do you need to force the field? Don't you just need to force record'? |
2024-07-05 05:43:59 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 05:43:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-07-05 05:38:45 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-05 05:36:29 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |