Newest at the top
2025-03-31 04:31:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 04:30:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-31 04:22:41 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-03-31 04:02:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
2025-03-31 03:59:30 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:58:52 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
2025-03-31 03:56:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:54:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
2025-03-31 03:52:09 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:50:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-31 03:45:41 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
2025-03-31 03:41:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:41:39 +0200 | ambareesh | (~ambareesh@user/ambareesh) (Quit: WeeChat 4.6.0) |
2025-03-31 03:34:44 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-03-31 03:30:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-03-31 03:27:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@85.50.149.196) (Changing host) |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@85.50.149.196) |
2025-03-31 03:05:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-31 03:05:01 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
2025-03-31 03:01:44 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-03-31 03:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 02:59:45 +0200 | otto_s | (~user@p5b044ec8.dip0.t-ipconnect.de) |
2025-03-31 02:59:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 02:55:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 02:53:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) (Ping timeout: 260 seconds) |
2025-03-31 02:51:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-31 02:49:57 +0200 | otto_s | (~user@p5de2f1f7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-03-31 02:45:39 +0200 | gustavo | (~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) (Quit: Leaving) |
2025-03-31 02:44:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-31 02:39:03 +0200 | <haskellbridge> | <Bowuigi> The first element of "(Int, a)", that is |
2025-03-31 02:38:40 +0200 | <haskellbridge> | <Bowuigi> To fix this, constrain the first element to be exactly the index. The singleton Vector example does this |
2025-03-31 02:38:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> yep no it's just straight up not an Iso lol ty |
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 |