Logs: liberachat/#haskell
| 2026-02-20 17:38:30 | <haskellbridge> | <ijouw> But I am too lazy to formalize it. |
| 2026-02-20 17:39:39 | <haskellbridge> | <ijouw> Likely using angles on the unit sphere and magnitude. |
| 2026-02-20 17:39:59 | <haskellbridge> | <ijouw> *circle |
| 2026-02-20 17:40:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 17:41:39 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-20 17:42:16 | × | AlexZenon quits (~alzenon@85.174.181.228) (Ping timeout: 268 seconds) |
| 2026-02-20 17:44:09 | <Leary> | `(* (a :+ 0))` and `(+ (a :+ b))` are both monotone wrt the lexicographic ordering GHC would derive. |
| 2026-02-20 17:45:11 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-20 17:45:27 | × | Vizious quits (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-20 17:45:39 | <Leary> | ijouw: Re your original question, I'm not entirely sure what you're asking, but `Dynamic` could (and should) have `Ord`. |
| 2026-02-20 17:45:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 17:46:11 | <Leary> | Well, not quite. A `Dynamic` limited to `Ord`. |
| 2026-02-20 17:46:50 | <haskellbridge> | <ijouw> No i mean introducing a type SumT :: Set Type |
| 2026-02-20 17:47:18 | <haskellbridge> | <ijouw> Which acts as multiway Either |
| 2026-02-20 17:47:46 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection) |
| 2026-02-20 17:48:08 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2026-02-20 17:48:08 | ChanServ | sets mode +v yahb2 |
| 2026-02-20 17:49:05 | × | housemate_ quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 17:49:27 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-20 17:49:40 | × | n0w0n quits (~john@user/n0w0n) (Ping timeout: 268 seconds) |
| 2026-02-20 17:50:53 | <EvanR> | there's also unordered set |
| 2026-02-20 17:51:03 | <EvanR> | as they leave 1 minute earlier |
| 2026-02-20 17:51:51 | → | Alex_delenda_est joins (~al_test@85.174.181.228) |
| 2026-02-20 17:52:32 | <haskellbridge> | <ijouw> Leary: You are correct (for a /= 0) |
| 2026-02-20 17:52:59 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2026-02-20 17:53:32 | → | AlexZenon joins (~alzenon@85.174.181.228) |
| 2026-02-20 17:56:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 17:56:56 | <haskellbridge> | <ijouw> What advantage does HashSet a have over Set (Hashed a) where Ord Hashed compares the hash? |
| 2026-02-20 17:57:14 | <c_wraith> | fewer comparisons |
| 2026-02-20 17:57:26 | <c_wraith> | the HAMT it's based on has a much higher branching factor |
| 2026-02-20 17:57:28 | <Leary> | Let's make that a > 0, I forgot non-positive numbers exist. |
| 2026-02-20 17:57:47 | × | wickedjargon quits (~user@24.244.23.254) (Remote host closed the connection) |
| 2026-02-20 17:57:52 | <c_wraith> | I believe it's 32-way |
| 2026-02-20 18:00:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-02-20 18:02:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 18:02:31 | <haskellbridge> | <ijouw> So it trades space efficiency for faster lookup, got it |
| 2026-02-20 18:04:14 | <c_wraith> | Leary: I tend to forget about that too |
| 2026-02-20 18:04:21 | <EvanR> | it might not be faster depending on how expensive hashing is |
| 2026-02-20 18:04:51 | <EvanR> | e.g. comparing bytestrings for ordering can be faster than hashing depending on the length and type of hash |
| 2026-02-20 18:04:57 | <c_wraith> | For the specific question being asked, that's not relevant |
| 2026-02-20 18:05:20 | <haskellbridge> | <ijouw> Is there a word for a change (analogue to monotonic), when it reverses ordering? |
| 2026-02-20 18:05:39 | <c_wraith> | well, there's anti-monotone |
| 2026-02-20 18:05:45 | <c_wraith> | but it's awkward as heck |
| 2026-02-20 18:06:09 | <c_wraith> | oh, I guess "antitone" is acceptable as well. that's better |
| 2026-02-20 18:06:13 | <haskellbridge> | <ijouw> Seems consistent |
| 2026-02-20 18:06:42 | <haskellbridge> | <ijouw> I wrote that as answer to anti-monotone |
| 2026-02-20 18:07:40 | <Leary> | People usually just say (monotone/monotonically) decreasing. |
| 2026-02-20 18:08:06 | → | n0w0n joins (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-20 18:08:11 | <Leary> | But antitone is cool too. |
| 2026-02-20 18:08:20 | <haskellbridge> | <ijouw> But isn't that describing the values themselves? |
| 2026-02-20 18:08:26 | <EvanR> | if monotone is supposed to be not decreasing just say that? |
| 2026-02-20 18:08:38 | × | n0w0n quits (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Changing host) |
| 2026-02-20 18:08:38 | → | n0w0n joins (~john@user/n0w0n) |
| 2026-02-20 18:09:31 | <c_wraith> | I would say "monotonically decreasing" as a description of a sequence, but "antitone" is a description of a function. *shrug*. It's not too important. |
| 2026-02-20 18:10:06 | <Leary> | It's a phrasing that's more pertinent to sequences, yes, but nothing will stop mathematicians from overloading, so they use it for functions too. |
| 2026-02-20 18:10:11 | <EvanR> | are we talking about semantics i.e. definedness |
| 2026-02-20 18:10:42 | <EvanR> | a monotone function maps more defined inputs to more defined outputs |
| 2026-02-20 18:11:05 | <n0w0n> | heh, oh analysis my analysis |
| 2026-02-20 18:11:06 | <fgarcia> | reverse kind of works. or maybe not |
| 2026-02-20 18:11:51 | <EvanR> | reversing that would be interesting xD |
| 2026-02-20 18:12:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 18:12:53 | <dutchie> | wikipedia also says "order-reversing" |
| 2026-02-20 18:12:59 | <dutchie> | "The dual notion is often called antitone, anti-monotone, or order-reversing" |
| 2026-02-20 18:13:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-20 18:14:35 | <haskellbridge> | <ijouw> That makes monotone synonym of order-preserving |
| 2026-02-20 18:14:50 | <c_wraith> | which is a perfectly good description |
| 2026-02-20 18:17:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 18:19:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 18:20:17 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-20 18:20:24 | × | talismanick quits (~user@2601:644:8502:d340::cd3d) (Remote host closed the connection) |
| 2026-02-20 18:24:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 18:26:18 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-02-20 18:28:14 | → | cipherrot joins (~jez@user/petrichor) |
| 2026-02-20 18:29:08 | <dolio> | They're all monotone, too, because the reverse order is also an order. |
| 2026-02-20 18:29:48 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 264 seconds) |
| 2026-02-20 18:29:56 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 18:34:35 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-20 18:35:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 18:35:43 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2026-02-20 18:36:10 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 2026-02-20 18:40:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 18:46:58 | → | nckx joins (~nckx@libera/staff/owl/nckx) |
| 2026-02-20 18:47:36 | → | abiss27 joins (~abiss27@user/abiss) |
| 2026-02-20 18:50:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 18:51:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 18:51:33 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-02-20 18:52:00 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-20 18:52:25 | <EvanR> | ☝️ |
| 2026-02-20 18:52:53 | tomsmeding | . o O ( if f is antitone, then Down . f is montone ) |
| 2026-02-20 18:53:02 | <tomsmeding> | *monotone |
| 2026-02-20 18:54:17 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-20 18:55:59 | × | Googulator quits (~Googulato@193-226-241-165.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 18:56:09 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 18:58:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 19:01:59 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-20 19:02:55 | ← | abiss27 parts (~abiss27@user/abiss) () |
| 2026-02-20 19:07:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 19:09:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 19:11:14 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-20 19:12:34 | jmcantrell_ | is now known as jmcantrell |
All times are in UTC.