Newest at the top
| 2025-01-22 02:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 02:10:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:01:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 01:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 01:55:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-22 01:55:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 01:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:54:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5) (Ping timeout: 264 seconds) |
| 2025-01-22 01:52:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 01:51:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:44:15 +0100 | <zero> | i wonder about the efficiency of tuple trees vs idiomatic trees in haskell |
| 2025-01-22 01:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-22 01:42:29 +0100 | <zero> | there we go |
| 2025-01-22 01:42:25 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:23 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (car (cdr (cdr (0,(1,(2,3)))))) |
| 2025-01-22 01:42:14 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:12 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:41:30 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:41:28 +0100 | <zero> | > (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:40:53 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:40:51 +0100 | <zero> | > (fst . snd . snd) (0,(1,(2,3))) |
| 2025-01-22 01:40:00 +0100 | <zero> | reiventing lisp |
| 2025-01-22 01:39:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 01:39:39 +0100 | <geekosaur> | in some sense, at least |
| 2025-01-22 01:39:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:37:33 +0100 | <geekosaur> | you're reinventing lens, I see |
| 2025-01-22 01:36:55 +0100 | <lambdabot> | (2,1) |
| 2025-01-22 01:36:54 +0100 | <zero> | > first (const 2) (0,1) |
| 2025-01-22 01:36:51 +0100 | <zero> | first (const 2) (0,1) |
| 2025-01-22 01:36:24 +0100 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 2025-01-22 01:36:23 +0100 | <zero> | :t first |
| 2025-01-22 01:36:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:36:16 +0100 | <zero> | first and second from Data.Bifunctor are useful |
| 2025-01-22 01:29:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-22 01:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 01:23:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:23:04 +0100 | <jackdk> | Agreed - it's rare indeed that I want even a 3-tuple |
| 2025-01-22 01:20:59 +0100 | KicksonButt | (~AdminUser@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-22 01:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 01:18:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-22 01:18:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-22 01:14:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:14:25 +0100 | <haskellbridge> | <magic_rb> Without lenses it do be a bit awkward to update tuples. But then again if your tuple is 4 or more wide, maybe you should consider a record |
| 2025-01-22 01:12:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-22 01:11:13 +0100 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-01-22 01:08:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:07:57 +0100 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2025-01-22 01:06:40 +0100 | LainExperiments6 | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-01-22 01:05:32 +0100 | <zero> | hellwolf: the ability to do `(0,1) { fst = 2 } ==> (2,1)` |
| 2025-01-22 01:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |