Logs: liberachat/#haskell
| 2026-01-22 03:19:03 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 2026-01-22 03:21:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 03:21:22 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-01-22 03:23:16 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-22 03:25:35 | → | cupnoodle joins (~cupnoodle@223.187.121.96) |
| 2026-01-22 03:26:42 | → | Typedfern joins (~Typedfern@249.red-83-37-36.dynamicip.rima-tde.net) |
| 2026-01-22 03:32:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 03:36:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 03:41:22 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 03:41:34 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 03:46:40 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 03:48:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 03:51:37 | <ncf> | Leary's answer is the way to go, but if you like lens fuckery: |
| 2026-01-22 03:51:39 | <ncf> | > catMaybes . peek Nothing <$> holesOf traverse (Just <$> [1,2,3]) |
| 2026-01-22 03:51:40 | <lambdabot> | [[2,3],[1,3],[1,2]] |
| 2026-01-22 03:51:52 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 03:52:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 03:55:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 04:00:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 04:01:27 | × | Inline quits (~User@2001-4dd6-dd24-0-288a-d894-752e-65cf.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-22 04:01:40 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-22 04:02:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-22 04:03:29 | × | Jackneill quits (~Jackneill@178-164-234-102.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2026-01-22 04:06:17 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-01-22 04:11:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 04:13:54 | × | cupnoodle quits (~cupnoodle@223.187.121.96) (Quit: Lost terminal) |
| 2026-01-22 04:15:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 04:26:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 04:31:27 | <haskellbridge> | <iqubic (she/her)> What the fuck is that lens fuckery? |
| 2026-01-22 04:31:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 04:33:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 04:44:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 04:45:41 | → | Googulator43 joins (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 04:45:53 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 04:49:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 04:50:13 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-22 04:58:28 | <jackdk> | Wow that's cool. |
| 2026-01-22 04:59:03 | <probie> | :t holesOf |
| 2026-01-22 04:59:04 | <lambdabot> | Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Control.Lens.Internal.Context.Pretext p a a t] |
| 2026-01-22 04:59:48 | <jackdk> | I was very pleased with `bmap (zoom someRecordFieldLens)` the other day and I see I still have much more to learn. |
| 2026-01-22 05:00:02 | <probie> | :t holesOf traverse |
| 2026-01-22 05:00:03 | <lambdabot> | Traversable t => t a -> [Control.Lens.Internal.Context.Pretext (->) a a (t a)] |
| 2026-01-22 05:00:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 05:02:13 | <haskellbridge> | <iqubic (she/her)> How the hell does "holesOf" work? |
| 2026-01-22 05:02:47 | <dibblego> | @info bmap |
| 2026-01-22 05:02:48 | <lambdabot> | bmap |
| 2026-01-22 05:03:26 | <haskellbridge> | <iqubic (she/her)> ncf: How the hell does that work? |
| 2026-01-22 05:03:46 | <probie> | :t holesOf traverse [Just 1] |
| 2026-01-22 05:03:47 | <lambdabot> | Num a => [Control.Lens.Internal.Context.Pretext (->) (Maybe a) (Maybe a) [Maybe a]] |
| 2026-01-22 05:05:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 05:06:27 | <probie> | > map (\x -> peek (reverse (pos x)) x) $ holesOf traverse $ words "hello lens world" |
| 2026-01-22 05:06:28 | <lambdabot> | [["olleh","lens","world"],["hello","snel","world"],["hello","lens","dlrow"]] |
| 2026-01-22 05:07:08 | <haskellbridge> | <iqubic (she/her)> What is that doing?!?! |
| 2026-01-22 05:07:26 | <haskellbridge> | <iqubic (she/her)> It's doing unwords and also reversing one of the words?!?! |
| 2026-01-22 05:07:56 | <haskellbridge> | <iqubic (she/her)> *doing words |
| 2026-01-22 05:08:46 | <probie> | the words was just because I was too lazy to write ["hello", "lens", "world"]. |
| 2026-01-22 05:09:26 | <haskellbridge> | <iqubic (she/her)> Right, but how the hell are you just reversing only one element at a time? |
| 2026-01-22 05:11:45 | <probie> | holesOf takes a traversal and a thing to traverse and gives you a list back, where for every traversed element, you get a "context" of what was around the element |
| 2026-01-22 05:13:25 | <probie> | `pos ctx` gives you the element under focus (not used in ncf's thing), and `peek x ctx` "inserts" `x` into the context |
| 2026-01-22 05:16:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 05:16:54 | <haskellbridge> | <iqubic (she/her)> I see! |
| 2026-01-22 05:19:16 | <jackdk> | dibblego: `bmap` is what package `barbies` calls its rank-2 `fmap` (i.e. on functors of kind `(k -> Type) -> Type`) |
| 2026-01-22 05:20:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-22 05:21:33 | <jackdk> | probie: `peeks reverse` |
| 2026-01-22 05:21:53 | <jackdk> | Axman6: get in here we're having fun |
| 2026-01-22 05:24:17 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2026-01-22 05:31:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 05:34:58 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-22 05:36:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 05:38:01 | → | Guest49 joins (~Guest89@187.170.211.94) |
| 2026-01-22 05:39:24 | <dibblego> | ah ok |
| 2026-01-22 05:43:40 | <jackdk> | While we're talking about lenses, someone re-uploaded the lost SPJ talk and I think that's great: https://www.youtube.com/watch?v=dxGaKn4REaY |
| 2026-01-22 05:47:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 05:51:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 05:56:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 06:01:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 06:04:54 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-22 06:05:45 | <haskellbridge> | <Axman6> Hello! |
| 2026-01-22 06:11:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-22 06:12:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 06:15:49 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-22 06:16:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 06:19:53 | × | Guest49 quits (~Guest89@187.170.211.94) (Ping timeout: 272 seconds) |
| 2026-01-22 06:22:44 | → | FANTOM joins (~fantom@87.75.185.177) |
| 2026-01-22 06:27:06 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-22 06:27:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 06:32:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 06:38:04 | → | DarcsGuest joins (~DarcsGues@2a07:7840:0:100:d9ca:210e:81dc:9c94) |
| 2026-01-22 06:41:11 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-22 06:43:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 06:45:01 | → | Inline joins (~User@2001-4dd7-bc56-0-fdb7-c703-fc72-e0a.ipv6dyn.netcologne.de) |
| 2026-01-22 06:48:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 06:48:17 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 06:50:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-22 06:53:12 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-22 06:53:36 | <haskellbridge> | <iqubic (she/her)> I need to watch that talk! |
| 2026-01-22 06:55:30 | → | skum joins (~skum@user/skum) |
| 2026-01-22 06:57:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-22 07:02:00 | trickard_ | is now known as trickard |
| 2026-01-22 07:02:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.