Logs: liberachat/#haskell
| 2025-11-27 10:03:21 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-27 10:03:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-27 10:04:36 | trickard_ | is now known as trickard |
| 2025-11-27 10:06:05 | → | Googulator50 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 10:06:17 | × | Googulator quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 10:15:01 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-27 10:40:45 | × | Inline quits (~inlinE@2001-4dd7-868d-0-d5bc-668b-3438-8372.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2025-11-27 10:40:45 | → | inline__ joins (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) |
| 2025-11-27 11:03:14 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-27 11:07:52 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) () |
| 2025-11-27 11:08:21 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 2025-11-27 11:08:21 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 11:08:21 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 2025-11-27 11:08:24 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-11-27 11:08:44 | <lucabtz> | what is the command to get the type of an expression? |
| 2025-11-27 11:08:50 | → | potatoespotatoes joins (~quassel@130.44.145.181) |
| 2025-11-27 11:08:50 | × | potatoespotatoes quits (~quassel@130.44.145.181) (Changing host) |
| 2025-11-27 11:08:50 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 2025-11-27 11:09:03 | <ent-_> | :t <expression> |
| 2025-11-27 11:09:04 | <lambdabot> | error: parse error on input ‘<’ |
| 2025-11-27 11:09:11 | <lucabtz> | thanks |
| 2025-11-27 11:09:30 | <lucabtz> | :t snd . mapAccumL |
| 2025-11-27 11:09:31 | <lambdabot> | error: |
| 2025-11-27 11:09:31 | <lambdabot> | • Couldn't match type ‘a -> t0 b -> (a, t0 c)’ with ‘(a0, c1)’ |
| 2025-11-27 11:09:31 | <lambdabot> | Expected type: (a -> b -> (a, c)) -> (a0, c1) |
| 2025-11-27 11:11:27 | <lucabtz> | right that wont work |
| 2025-11-27 11:11:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-27 11:13:13 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-11-27 11:15:31 | → | noctux joins (~noctux@user/noctux) |
| 2025-11-27 11:15:35 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 11:16:20 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-27 11:16:58 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 2025-11-27 11:18:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:7143:8b5a:1c3d:7f99) |
| 2025-11-27 11:25:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-27 11:25:25 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 11:30:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-27 11:32:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-27 11:38:12 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-27 11:39:09 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-27 11:40:55 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-11-27 11:41:11 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-27 11:41:59 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-27 11:42:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-27 11:45:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-27 11:45:26 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-11-27 11:46:35 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-11-27 11:46:39 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-27 11:51:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-27 11:53:35 | × | hseg_ quits (~hseg_@46.120.21.70) (Ping timeout: 240 seconds) |
| 2025-11-27 11:53:54 | → | hseg_ joins (~hseg_@2.54.43.248) |
| 2025-11-27 11:54:10 | <dutchie> | is there a neater way to do `Applicative f => f (a -> b) -> a -> f b` than `f <*> pure a` (f is already some `Ctor <$> fx <*> fy` thing) |
| 2025-11-27 11:55:16 | <dutchie> | lens has `fab ?? a = fmap ($ a) fab` |
| 2025-11-27 11:56:17 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-27 11:59:47 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-27 12:03:37 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-11-27 12:04:10 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-27 12:06:59 | × | hseg_ quits (~hseg_@2.54.43.248) (Read error: Connection reset by peer) |
| 2025-11-27 12:07:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-27 12:07:49 | → | hseg_ joins (~hseg_@46.120.21.70) |
| 2025-11-27 12:08:11 | → | Guest77 joins (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) |
| 2025-11-27 12:08:44 | × | hseg_ quits (~hseg_@46.120.21.70) (Remote host closed the connection) |
| 2025-11-27 12:09:03 | → | hseg_ joins (~hseg_@46.120.21.70) |
| 2025-11-27 12:10:36 | <Guest77> | Hello :) |
| 2025-11-27 12:10:47 | × | Guest77 quits (~Guest77@2401:4900:8821:a506:65a4:1502:5c26:31f8) (Client Quit) |
| 2025-11-27 12:13:27 | × | hseg_ quits (~hseg_@46.120.21.70) (Ping timeout: 252 seconds) |
| 2025-11-27 12:15:40 | → | Googulator52 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 12:15:44 | × | Googulator50 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 12:16:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-27 12:19:21 | × | Jackneill_ quits (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 12:21:23 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-27 12:22:27 | → | Jackneill joins (~Jackneill@178-164-177-218.pool.digikabel.hu) |
| 2025-11-27 12:23:07 | × | Jackneill quits (~Jackneill@178-164-177-218.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-27 12:23:49 | → | Jackneill joins (~Jackneill@178-164-177-218.pool.digikabel.hu) |
| 2025-11-27 12:23:50 | × | trickard quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-27 12:24:03 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-27 12:24:04 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-27 12:26:21 | <dminuoso> | dutchie: Then `pure a` is the cleanest way. |
| 2025-11-27 12:27:07 | <dminuoso> | It seems like an unnecessary way to be cleaver to introduce ??, which nobody could read instantly. `Foo <$> bar <*> quux <*> pure a` otoh is a common pattern |
| 2025-11-27 12:27:13 | <dminuoso> | s/cleaver/clever/ |
| 2025-11-27 12:27:59 | <dutchie> | i guess another ugly way would be abuse flip to get the pure thing to be the first argument |
| 2025-11-27 12:28:08 | <dminuoso> | I mean you could do `<$> ($ a)` I suppose? But `<*> pure a` reads just more naturally and fits the flow... |
| 2025-11-27 12:28:25 | <lucabtz> | pure a seems very clear to me |
| 2025-11-27 12:30:32 | <__monty__> | * `($ a) <$>` |
| 2025-11-27 12:31:29 | <dminuoso> | dutchie: And yes, I have reordered arguments for exactly that reason before - but I feel like this is bike shedding over something truly irreleveant. |
| 2025-11-27 12:31:41 | <dutchie> | indeed |
| 2025-11-27 12:44:14 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 12:45:04 | <jackdk> | There's also `<&> ($ a)` using `(<&>)` from `Data.Functor` |
| 2025-11-27 12:45:21 | <jackdk> | But I'd also go the `<*> pure a` route here. |
| 2025-11-27 12:45:45 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-27 12:50:14 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-27 12:50:39 | × | Googulator52 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-27 12:50:47 | → | Googulator15 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-27 12:51:10 | × | inline__ quits (~inlinE@2001-4dd7-868d-0-11ff-701-9c0c-1057.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-11-27 12:51:38 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-27 12:52:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-27 12:52:44 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-27 12:56:43 | → | Inline joins (~inlinE@2001-4dd7-868d-0-2e24-c46e-4393-27fd.ipv6dyn.netcologne.de) |
| 2025-11-27 12:58:21 | → | hseg_ joins (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) |
| 2025-11-27 12:59:03 | × | hseg_ quits (~hseg_@2a0d:6fc7:626:b8a2:9739:328f:5ca4:7b11) (Read error: Connection reset by peer) |
| 2025-11-27 12:59:53 | → | hseg_ joins (~hseg_@46.120.21.70) |
All times are in UTC.