Newest at the top
2025-03-31 02:34:57 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-31 02:34:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-31 02:34:06 +0200 | <haskellbridge> | <thirdofmay18081814goya> but right the type system can't enforce the well typedness of such an "Iso" and it is not strictly speaking an member of "Iso' [a] [(Int, a)]" |
2025-03-31 02:33:17 +0200 | califax | (~califax@user/califx) califx |
2025-03-31 02:32:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-03-31 02:31:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> we compose it with* |
2025-03-31 02:31:45 +0200 | <haskellbridge> | <thirdofmay18081814goya> as long as all function we compose it preserve this range, it will have the expected properties of "Iso" |
2025-03-31 02:30:28 +0200 | <haskellbridge> | <thirdofmay18081814goya> it is however an isomorphism over its range, or over the subtype of "[(Int, a)]" of pairs ordered by the first element |
2025-03-31 02:23:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm right |
2025-03-31 02:21:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 02:21:16 +0200 | <haskellbridge> | <alexfmpe> so it's not an iso |
2025-03-31 02:21:12 +0200 | <haskellbridge> | <alexfmpe> even though "fmap snd . zip [0..]" is |
2025-03-31 02:21:06 +0200 | <haskellbridge> | <alexfmpe> well, my point is "zip [0..] . fmap snd" is not "id" |
2025-03-31 02:20:30 +0200 | <haskellbridge> | <alexfmpe> so not bijective |
2025-03-31 02:20:22 +0200 | <haskellbridge> | <alexfmpe> "[a] -> [(Int, a)]" is invertible, but not surjective |
2025-03-31 02:20:11 +0200 | <haskellbridge> | <thirdofmay18081814goya> right, that has the same type but it is not the same map |
2025-03-31 02:19:58 +0200 | <haskellbridge> | <alexfmpe> it's an embedding at best |
2025-03-31 02:19:53 +0200 | <haskellbridge> | <alexfmpe> this is no bijection |
2025-03-31 02:19:51 +0200 | <haskellbridge> | <alexfmpe> [1, 'a'] -> ['a'] <-> [(0, 'a')] |
2025-03-31 02:19:26 +0200 | <haskellbridge> | <thirdofmay18081814goya> alexfmpe: yeah |
2025-03-31 02:19:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> clearly it is a bijection, and if we're embedding either side into a monoid wrt "a" it is an isomorphism |
2025-03-31 02:19:02 +0200 | <haskellbridge> | <alexfmpe> you're thinking "Iso' [a] [(Int, a)]" or so right? |
2025-03-31 02:18:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> how so? |
2025-03-31 02:18:21 +0200 | <haskellbridge> | <alexfmpe> that is not an isomorphism |
2025-03-31 02:18:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> uh "map fst" I mean |
2025-03-31 02:18:06 +0200 | <haskellbridge> | <thirdofmay18081814goya> "iso (map snd) (zip [0..])" |
2025-03-31 02:17:54 +0200 | <haskellbridge> | <alexfmpe> iso between what? |
2025-03-31 02:17:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-31 02:17:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> well I'm trying to find an "Iso" form, otherwise we can just use "['a'..'z'] ^.. itraversed . indices even" |
2025-03-31 02:16:53 +0200 | <haskellbridge> | <alexfmpe> huh is that an issue? |
2025-03-31 02:16:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> neat! still indexed though |
2025-03-31 02:15:09 +0200 | <haskellbridge> | <alexfmpe> * ['a'..'z'] ^.. traversed . ifiltered |
2025-03-31 02:14:40 +0200 | <haskellbridge> | "acegikmoqsuwy" |
2025-03-31 02:14:40 +0200 | <haskellbridge> | <alexfmpe> > ['a'..'z']^..traversed.ifiltered (const . even) |
2025-03-31 02:12:53 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 02:10:15 +0200 | ljdarj1 | ljdarj |
2025-03-31 02:10:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-31 02:06:24 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-31 01:56:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 01:45:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-31 01:42:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-03-31 01:42:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> probably a more idiomatic way to do this, but it's a start |
2025-03-31 01:42:18 +0200 | gustavo | (~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) GusCtSr |
2025-03-31 01:41:11 +0200 | <haskellbridge> | <thirdofmay18081814goya> "under (from enumerateIso) (filter (even . fst)) ['a'..'z']" 😎😎😎😎😎😎😎😎😎 |
2025-03-31 01:40:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 01:36:35 +0200 | <monochrom> | Is "we need to focus" a pun, given the context of lens? >:) |
2025-03-31 01:33:22 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Ping timeout: 252 seconds) |
2025-03-31 01:31:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-31 01:29:14 +0200 | otto_s | (~user@p5de2f1f7.dip0.t-ipconnect.de) |
2025-03-31 01:28:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |