Logs: liberachat/#haskell
| 2026-02-20 15:18:19 | × | larsivi quits (~larsivi@user/larsivi) (Ping timeout: 264 seconds) |
| 2026-02-20 15:21:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 15:24:36 | × | AlexZenon quits (~alzenon@85.174.181.228) (Ping timeout: 252 seconds) |
| 2026-02-20 15:25:59 | × | fp quits (~Thunderbi@130.233.70.160) (Ping timeout: 268 seconds) |
| 2026-02-20 15:28:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 15:30:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 15:30:26 | × | mulk quits (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-20 15:31:46 | → | mulk joins (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) |
| 2026-02-20 15:31:46 | × | castan quits (~castan@86.121.192.170) (Quit: castan) |
| 2026-02-20 15:32:16 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 15:32:36 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 15:34:41 | → | AlexZenon joins (~alzenon@85.174.181.228) |
| 2026-02-20 15:35:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds) |
| 2026-02-20 15:40:06 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-20 15:40:10 | × | AlexZenon quits (~alzenon@85.174.181.228) (Ping timeout: 268 seconds) |
| 2026-02-20 15:43:36 | × | myme quits (~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) (Server closed connection) |
| 2026-02-20 15:44:00 | → | myme joins (~myme@2a01:799:d5e:5f00:8616:d783:6707:c6c8) |
| 2026-02-20 15:46:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 15:47:51 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-20 15:48:27 | × | Guest51 quits (~Guest51@2604:2dc0:200:1a84::) (Quit: Client closed) |
| 2026-02-20 15:48:33 | × | Alex_delenda_est quits (~al_test@85.174.181.228) (Read error: Connection reset by peer) |
| 2026-02-20 15:49:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-20 15:49:27 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-20 15:50:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-20 15:50:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 15:57:26 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2026-02-20 15:59:31 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-02-20 15:59:31 | polykernel_ | is now known as polykernel |
| 2026-02-20 15:59:40 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-20 15:59:50 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-02-20 16:01:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 16:02:43 | → | wickedjargon joins (~user@24.244.23.254) |
| 2026-02-20 16:02:57 | → | straybits joins (~straybits@user/straybits) |
| 2026-02-20 16:03:40 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-20 16:05:15 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-20 16:05:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-02-20 16:07:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 16:10:01 | → | glguy joins (glguy@libera/staff/glguy) |
| 2026-02-20 16:12:17 | → | thenightmail joins (~thenightm@user/thenightmail) |
| 2026-02-20 16:13:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 16:16:26 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 16:16:37 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2026-02-20 16:17:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 16:21:06 | × | ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-20 16:21:18 | → | ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-20 16:23:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 16:23:40 | × | thenightmail quits (~thenightm@user/thenightmail) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-02-20 16:32:56 | × | samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2026-02-20 16:33:06 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 2026-02-20 16:33:28 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 16:33:49 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 16:35:16 | → | thenightmail joins (~thenightm@user/thenightmail) |
| 2026-02-20 16:35:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 16:37:32 | × | thenightmail quits (~thenightm@user/thenightmail) (Client Quit) |
| 2026-02-20 16:40:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-20 16:45:15 | → | thenightmail joins (~thenightm@user/thenightmail) |
| 2026-02-20 16:46:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2026-02-20 16:48:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 16:50:37 | → | larsivi joins (~larsivi@user/larsivi) |
| 2026-02-20 16:51:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 16:51:23 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-20 16:54:57 | → | n0w0n joins (~john@user/n0w0n) |
| 2026-02-20 16:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 17:00:56 | × | mangoiv quits (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-20 17:01:14 | → | mangoiv joins (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-20 17:01:50 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-02-20 17:02:29 | → | Enrico63 joins (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) |
| 2026-02-20 17:02:53 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-02-20 17:06:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 17:09:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-20 17:10:43 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 17:10:58 | → | Googulator joins (~Googulato@193-226-241-165.pool.digikabel.hu) |
| 2026-02-20 17:11:44 | <haskellbridge> | <ijouw> What if we made an arbitrary Ord Type and used it and Set Type to define dynamic sum types (as seen in e.g. typescript)? |
| 2026-02-20 17:13:35 | <n0w0n> | Unrelated, but that just reminded me that ya can't encode a set of complex number in Haskell using the Set type in containers |
| 2026-02-20 17:13:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-20 17:13:44 | <n0w0n> | Since complex numbers are unordered |
| 2026-02-20 17:14:29 | <n0w0n> | & Sets are secretly Red Black Trees with an ordering |
| 2026-02-20 17:14:43 | <n0w0n> | Damn you Chris Okasaki |
| 2026-02-20 17:15:18 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-20 17:16:23 | × | Enrico63 quits (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 17:18:12 | <dutchie> | you can order the complex numbers (eg. lexicographically on their real and imaginary components), it just won't be compatible with the ring structure |
| 2026-02-20 17:18:31 | <dutchie> | which doesn't matter if you just want to shove them into a Set |
| 2026-02-20 17:19:06 | <dutchie> | just costs a newtype wrapper I guess |
| 2026-02-20 17:19:43 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-02-20 17:21:46 | <n0w0n> | An incongruent ordering, ya say? |
| 2026-02-20 17:24:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 17:26:26 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Server closed connection) |
| 2026-02-20 17:26:35 | <n0w0n> | Ig ya'd lose most of the benefits of doing complex ring operations to all members of a set without rebuilding a red black tree |
| 2026-02-20 17:26:41 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 2026-02-20 17:27:39 | <haskellbridge> | <ijouw> Well doing fmap conjugate does not work either way |
| 2026-02-20 17:27:53 | <c_wraith> | I don't know what data structure *does* give you efficient set-membership testing and also supports arbitrary transformations of all values in the structure without rebuilding it |
| 2026-02-20 17:29:00 | <haskellbridge> | <ijouw> The empty one |
| 2026-02-20 17:30:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 17:31:57 | <haskellbridge> | <ijouw> But yes, doing something like Set.map (*2) over complex numbers will rebuild the tree (for any total Ord and random values). |
| 2026-02-20 17:33:06 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 17:33:44 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-20 17:36:49 | <c_wraith> | fwiw, Data.Set has mapMonotonic |
| 2026-02-20 17:36:55 | → | AlexZenon joins (~alzenon@85.174.181.228) |
| 2026-02-20 17:37:15 | <c_wraith> | which is documented to produce broken output if the transformation isn't monotonic with respect to the ordering |
| 2026-02-20 17:37:59 | <haskellbridge> | <ijouw> There is one order where (*2) does not affect order, but it will fail if you add something. |
All times are in UTC.