Logs: liberachat/#haskell
| 2025-09-29 07:42:32 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-29 07:46:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 07:56:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-29 08:00:37 | → | Googulator47 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 08:00:46 | × | Googulator70 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 08:01:49 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-09-29 08:01:51 | × | BOMBOCLAT quits (xadmin@2001:b07:5d26:75a7::b00b) (K-Lined) |
| 2025-09-29 08:04:37 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-29 08:05:04 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-29 08:07:18 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-29 08:10:18 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-29 08:10:43 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-29 08:13:59 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-09-29 08:14:03 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Client Quit) |
| 2025-09-29 08:14:24 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-09-29 08:15:54 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 08:16:15 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 08:16:40 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-09-29 08:19:38 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-29 08:20:38 | × | Googulator47 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 08:20:51 | → | Googulator47 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 08:24:06 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 08:29:40 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-09-29 08:30:56 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-29 08:30:59 | × | Googulator47 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 08:31:04 | → | Googulator40 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 08:33:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 08:36:02 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-29 08:36:40 | rvalue- | is now known as rvalue |
| 2025-09-29 08:37:50 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-29 08:40:27 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 08:45:28 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-09-29 08:45:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 08:51:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-09-29 08:51:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 08:52:16 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-29 08:54:10 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 256 seconds) |
| 2025-09-29 09:02:34 | → | aku joins (aku@65.108.245.241) |
| 2025-09-29 09:03:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 09:04:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-29 09:04:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-29 09:05:47 | → | dhil joins (~dhil@5.151.29.137) |
| 2025-09-29 09:15:52 | × | tromp quits (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 09:19:13 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-09-29 09:21:34 | → | chele joins (~chele@user/chele) |
| 2025-09-29 09:27:51 | → | kuribas joins (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) |
| 2025-09-29 09:37:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 09:50:01 | → | justache joins (~justache@user/justache) |
| 2025-09-29 09:50:24 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-09-29 09:52:49 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 09:54:37 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 09:57:04 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 10:08:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-29 10:11:23 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 2025-09-29 10:12:01 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 10:12:04 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 10:16:44 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-29 10:16:44 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-29 10:17:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-29 10:18:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-29 10:18:57 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-29 10:20:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-29 10:26:55 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-09-29 10:30:10 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 10:30:50 | × | malte quits (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2025-09-29 10:36:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 10:38:05 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-09-29 10:38:13 | × | justache quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 2025-09-29 10:39:37 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-29 10:44:09 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-29 10:44:25 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-29 10:44:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-29 10:44:30 | → | justache joins (~justache@user/justache) |
| 2025-09-29 10:46:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 10:48:07 | <yin> | it amazes daily how liftA2 is not an infix operator |
| 2025-09-29 10:48:58 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-29 10:49:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-29 10:55:58 | <merijn> | :t liftA2 |
| 2025-09-29 10:55:58 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-09-29 10:56:12 | <merijn> | yin: I mean, that's just a combination of <$> and <*>? |
| 2025-09-29 10:56:41 | <merijn> | :t let lift f x y = f <$> x <*> y in lift |
| 2025-09-29 10:56:42 | <lambdabot> | Applicative f => (a1 -> a2 -> b) -> f a1 -> f a2 -> f b |
| 2025-09-29 10:57:25 | <merijn> | And that notation trivialiases to any arity |
| 2025-09-29 11:00:51 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-29 11:02:00 | <yin> | useful and ubiquitous binary operation that I feel is awkward to write as prefix, not unlike `on` |
| 2025-09-29 11:02:39 | <merijn> | I don't see how liftA2 nicely turns into an infix binary operator, tbh |
| 2025-09-29 11:03:06 | <Leary> | Binary? `liftA2` tends to be given either one or three arguments. |
| 2025-09-29 11:03:13 | <yin> | now we could write <$> ... <*>, you're right! but sometimes, liftA2 is more performant |
| 2025-09-29 11:03:14 | <merijn> | > ((+) `liftA2` (Just 1)) (Just 2) |
| 2025-09-29 11:03:15 | <lambdabot> | Just 3 |
| 2025-09-29 11:03:24 | <merijn> | That seems very awkward to use |
| 2025-09-29 11:04:22 | <merijn> | > let (☃) = liftA2 in (+) ☃ (Just 1) (Just 2) |
| 2025-09-29 11:04:24 | <lambdabot> | error: |
| 2025-09-29 11:04:24 | <lambdabot> | • Couldn't match expected type ‘Maybe a1 -> f c’ |
| 2025-09-29 11:04:24 | <lambdabot> | with actual type ‘Maybe a0’ |
| 2025-09-29 11:04:40 | <merijn> | > let (☃) = liftA2 in ((+) ☃ (Just 1)) (Just 2) |
| 2025-09-29 11:04:41 | <lambdabot> | Just 3 |
| 2025-09-29 11:04:45 | <Leary> | > Just 1 &liftA2 (+)$ Just 2 |
| 2025-09-29 11:04:47 | <lambdabot> | Just 3 |
| 2025-09-29 11:04:48 | → | arandombit joins (~arandombi@user/arandombit) |
All times are in UTC.