Logs: liberachat/#haskell
| 2025-12-28 15:38:25 | × | spew quits (~spew@user/spew) (Ping timeout: 264 seconds) |
| 2025-12-28 15:39:22 | × | spew_ quits (~spew@user/spew) (Client Quit) |
| 2025-12-28 15:42:14 | → | spew joins (~spew@user/spew) |
| 2025-12-28 15:42:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 15:46:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-28 15:57:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 16:02:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 16:10:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 16:15:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 16:19:38 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-28 16:21:55 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 264 seconds) |
| 2025-12-28 16:29:38 | → | wennefer0_______ joins (~wennefer0@user/wennefer0) |
| 2025-12-28 16:32:08 | × | wennefer0_______ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-28 16:41:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-28 16:41:36 | × | opencircuit quits (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-12-28 16:41:45 | → | opencircuit joins (~quassel@user/opencircuit) |
| 2025-12-28 16:48:22 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-28 17:01:55 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-12-28 17:02:00 | → | glguy joins (glguy@libera/staff/glguy) |
| 2025-12-28 17:03:18 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-28 17:06:08 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-28 17:10:52 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 255 seconds) |
| 2025-12-28 17:11:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 17:18:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-28 17:20:54 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-28 17:22:25 | → | spew joins (~spew@user/spew) |
| 2025-12-28 17:28:52 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 255 seconds) |
| 2025-12-28 17:30:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 17:30:49 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-28 17:31:17 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-28 17:34:07 | × | synchromesh quits (~john@2406:5a00:2412:2c00:7842:6802:4767:2e5b) (Quit: WeeChat 4.1.1) |
| 2025-12-28 17:34:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 17:38:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-28 18:01:19 | → | CryptLab joins (~NSA@2a0d:5600:6:108::2e) |
| 2025-12-28 18:03:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-28 18:10:55 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-28 18:11:28 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-28 18:12:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 18:12:32 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-28 18:17:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 18:18:42 | → | tromp joins (~textual@user/tromp) |
| 2025-12-28 18:22:43 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-12-28 18:25:59 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-28 18:28:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 18:29:23 | × | tromp quits (~textual@user/tromp) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-28 18:30:19 | × | bionade24 quits (~quassel@server2.oscloud.info) (Ping timeout: 264 seconds) |
| 2025-12-28 18:32:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 18:43:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 18:47:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-28 18:49:27 | → | Square2 joins (~Square@user/square) |
| 2025-12-28 18:51:32 | → | tromp joins (~textual@user/tromp) |
| 2025-12-28 19:01:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 19:02:05 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-28 19:05:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-28 19:06:58 | edmerry | is now known as edm |
| 2025-12-28 19:12:26 | → | sroso joins (~sroso@user/SrOso) |
| 2025-12-28 19:13:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 19:18:25 | → | bionade24 joins (~quassel@server2.oscloud.info) |
| 2025-12-28 19:20:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-28 19:22:01 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: ein reboot macht gut) |
| 2025-12-28 19:33:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 19:35:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-12-28 19:37:42 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-28 19:37:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 19:39:07 | <machinedgod> | Hi everyone. Linear types question (mostly theoretical curiosity but practical solution is appreciated too): is it possible to make a linear function that acts just like a record selector on data? The reason I ask is because, my intuition says - I will have to ignore (consume) all the fields except the one I need when I pattern match, therefore it violates linearity. However, linear versions of fst |
| 2025-12-28 19:39:13 | <machinedgod> | and snd from linear-base do just that. Is this meant to help bridge the gaps with nonlinear code, or is linear code actually supposed to be like that? Thank you upfront. |
| 2025-12-28 19:39:27 | <machinedgod> | (sorry for the wall of text - didn't realize how much I wrote) |
| 2025-12-28 19:41:44 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 2025-12-28 19:43:56 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-28 19:44:23 | <ncf> | machinedgod: record projections take an unrestricted record unless there's only a single field, see https://ghc-proposals.readthedocs.io/en/latest/proposals/0111-linear-types.html#records-and-projections |
| 2025-12-28 19:44:51 | <ncf> | the fst and snd from linear-base have a Consumable constraint on the field that's being discarded, so there's no magic there |
| 2025-12-28 19:46:52 | × | zfnmxt quits (~m-gkkevi@209.209.10.107) (Ping timeout: 246 seconds) |
| 2025-12-28 19:51:34 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-28 19:58:24 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2025-12-28 20:03:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-28 20:09:34 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-28 20:11:15 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 2025-12-28 20:11:49 | <machinedgod> | Oh, I see! I didn't even notice the Consumable constraint! Thank you, now I know at least my intuition was at the right place. |
| 2025-12-28 20:13:09 | <machinedgod> | ncf: The proposal has much more information than manual - this is great, thank you again. |
| 2025-12-28 20:14:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 20:16:30 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-28 20:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-28 20:26:43 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-28 20:27:06 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 2025-12-28 20:30:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 20:31:24 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-28 20:31:50 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 2025-12-28 20:35:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-28 20:42:57 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-12-28 20:45:57 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2025-12-28 20:46:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 20:47:34 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-28 20:50:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-28 21:00:44 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-28 21:02:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-28 21:04:10 | × | tromp quits (~textual@user/tromp) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-28 21:07:17 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-12-28 21:07:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-28 21:08:21 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-28 21:13:50 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
All times are in UTC.