Newest at the top
| 2025-02-11 08:06:30 +0100 | <haskellbridge> | <thirdofmay18081814goya> what did you use it for? |
| 2025-02-11 08:06:26 +0100 | <haskellbridge> | <thirdofmay18081814goya> huh I haven't encountered a case where "f" is not the identity functor yet |
| 2025-02-11 08:06:16 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) (Remote host closed the connection) |
| 2025-02-11 08:04:10 +0100 | <haskellbridge> | <Bowuigi> Namely, "Optic1 p f s t a b = Optic2 (\x y -> p x (f y)) s t a b" and "Optic2 p s t a b = Optic1 p Identity s t a b" |
| 2025-02-11 07:59:56 +0100 | <haskellbridge> | <Bowuigi> Oddly enough the definition on profunctor-optics is "type Optic p s t a b = p a b -> p s t", which is equivalent |
| 2025-02-11 07:59:09 +0100 | <haskellbridge> | <Bowuigi> I had a "type Optic p f s t a b = p a (f b) -> p s (f t)" sitting around my projects |
| 2025-02-11 07:52:26 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm I see |
| 2025-02-11 07:51:53 +0100 | <haskellbridge> | <Bowuigi> Like, to get effectful lenses over Kleisli or something like that |
| 2025-02-11 07:51:06 +0100 | <haskellbridge> | <Bowuigi> But switching the underlying profunctor that you use in a combined VL/profunctor optic could help yeah |
| 2025-02-11 07:49:40 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-11 07:49:21 +0100 | <haskellbridge> | <Bowuigi> Ah, the nice part of the profunctor encoding is that you have access to the profunctor API. But since arrows are profunctors it doesn't make much of a difference wrt VL lenses |
| 2025-02-11 07:47:57 +0100 | <haskellbridge> | <thirdofmay18081814goya> it's not a rigorous question tbh, I'm just looking for personal opinions of instructive usages of the profunctor encoding |
| 2025-02-11 07:47:18 +0100 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: in general |
| 2025-02-11 07:47:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-11 07:46:29 +0100 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya cleanly wrt VL lenses or in general? |
| 2025-02-11 07:46:14 +0100 | <haskellbridge> | <thirdofmay18081814goya> we'd expect composition to be easier when using a higher abstraction no? |
| 2025-02-11 07:45:25 +0100 | <dminuoso> | Profunctors are an implementation detail here. |
| 2025-02-11 07:45:17 +0100 | <dminuoso> | They dont differ from van laarhoven or the mixed (van laarhoven + profunctor-style) in that sense. |
| 2025-02-11 07:45:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-11 07:44:53 +0100 | <haskellbridge> | <thirdofmay18081814goya> dminuoso: the applying of a lens and an action to a datatype |
| 2025-02-11 07:43:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 07:40:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 07:40:29 +0100 | mange | (~user@user/mange) (Quit: Quittin' time!) |
| 2025-02-11 07:39:53 +0100 | <dminuoso> | thirdofmay18081814goya: What do you mean by transformations? |
| 2025-02-11 07:38:54 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2025-02-11 07:38:33 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
| 2025-02-11 07:34:37 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-11 07:33:57 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2025-02-11 07:33:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-11 07:33:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-11 07:32:52 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-11 07:29:43 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-11 07:28:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 07:28:19 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-11 07:28:04 +0100 | hattckory | (~hattckory@user/hattckory) (Remote host closed the connection) |
| 2025-02-11 07:18:34 +0100 | lunitur | (~lunitur@86.33.95.148) |
| 2025-02-11 07:18:08 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-11 07:17:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-11 07:17:25 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-11 07:16:27 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) |
| 2025-02-11 07:16:22 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-168.resnet.purdue.edu) |
| 2025-02-11 07:13:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 07:09:18 +0100 | michalz | (~michalz@185.246.207.200) |
| 2025-02-11 07:08:22 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-11 07:04:02 +0100 | hattckory | (~hattckory@user/hattckory) hattckory |
| 2025-02-11 07:03:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-11 07:02:56 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-11 06:59:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-11 06:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 06:57:35 +0100 | lunitur | (~lunitur@86.33.73.151) (Ping timeout: 265 seconds) |