Newest at the top
| 2026-01-22 07:16:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 07:15:49 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-22 07:12:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 07:11:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-22 07:05:45 +0100 | <haskellbridge> | <Axman6> Hello! |
| 2026-01-22 07:04:54 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-22 07:01:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 06:56:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:51:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 06:47:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:43:40 +0100 | <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 06:39:24 +0100 | <dibblego> | ah ok |
| 2026-01-22 06:38:01 +0100 | Guest49 | (~Guest89@187.170.211.94) |
| 2026-01-22 06:36:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 06:34:58 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-22 06:31:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:24:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2026-01-22 06:21:53 +0100 | <jackdk> | Axman6: get in here we're having fun |
| 2026-01-22 06:21:33 +0100 | <jackdk> | probie: `peeks reverse` |
| 2026-01-22 06:20:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-22 06:19:16 +0100 | <jackdk> | dibblego: `bmap` is what package `barbies` calls its rank-2 `fmap` (i.e. on functors of kind `(k -> Type) -> Type`) |
| 2026-01-22 06:16:54 +0100 | <haskellbridge> | <iqubic (she/her)> I see! |
| 2026-01-22 06:16:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:13:25 +0100 | <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 06:11:45 +0100 | <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 06:09:26 +0100 | <haskellbridge> | <iqubic (she/her)> Right, but how the hell are you just reversing only one element at a time? |
| 2026-01-22 06:08:46 +0100 | <probie> | the words was just because I was too lazy to write ["hello", "lens", "world"]. |
| 2026-01-22 06:07:56 +0100 | <haskellbridge> | <iqubic (she/her)> *doing words |
| 2026-01-22 06:07:26 +0100 | <haskellbridge> | <iqubic (she/her)> It's doing unwords and also reversing one of the words?!?! |
| 2026-01-22 06:07:08 +0100 | <haskellbridge> | <iqubic (she/her)> What is that doing?!?! |
| 2026-01-22 06:06:28 +0100 | <lambdabot> | [["olleh","lens","world"],["hello","snel","world"],["hello","lens","dlrow"]] |
| 2026-01-22 06:06:27 +0100 | <probie> | > map (\x -> peek (reverse (pos x)) x) $ holesOf traverse $ words "hello lens world" |
| 2026-01-22 06:05:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 06:03:47 +0100 | <lambdabot> | Num a => [Control.Lens.Internal.Context.Pretext (->) (Maybe a) (Maybe a) [Maybe a]] |
| 2026-01-22 06:03:46 +0100 | <probie> | :t holesOf traverse [Just 1] |
| 2026-01-22 06:03:26 +0100 | <haskellbridge> | <iqubic (she/her)> ncf: How the hell does that work? |
| 2026-01-22 06:02:48 +0100 | <lambdabot> | bmap |
| 2026-01-22 06:02:47 +0100 | <dibblego> | @info bmap |
| 2026-01-22 06:02:13 +0100 | <haskellbridge> | <iqubic (she/her)> How the hell does "holesOf" work? |
| 2026-01-22 06:00:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:00:03 +0100 | <lambdabot> | Traversable t => t a -> [Control.Lens.Internal.Context.Pretext (->) a a (t a)] |
| 2026-01-22 06:00:02 +0100 | <probie> | :t holesOf traverse |
| 2026-01-22 05:59:48 +0100 | <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:59:04 +0100 | <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 05:59:03 +0100 | <probie> | :t holesOf |
| 2026-01-22 05:58:28 +0100 | <jackdk> | Wow that's cool. |
| 2026-01-22 05:50:13 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-22 05:49:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 05:45:53 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 05:45:41 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |