Newest at the top
2024-10-06 20:05:50 +0200 | <Inst> | fff, is hoogle down again? |
2024-10-06 20:05:50 +0200 | <int-e> | "Why doesn't Haskell have XXX" usually comes down to three things. 1) it's too hard, or 2) it's not in desparate demand, or 3) there are viable alternatives that are good enough |
2024-10-06 20:05:34 +0200 | robertm | (robertm@lattice.rojoma.com) robertm |
2024-10-06 20:05:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 20:04:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-06 20:04:45 +0200 | <int-e> | well evidently it's not rising to the level of a problem |
2024-10-06 20:04:30 +0200 | <davean> | I think you're the only one that sees it as a problem |
2024-10-06 20:04:16 +0200 | <Inst> | and we won't have that problem |
2024-10-06 20:04:11 +0200 | <Inst> | maybe someday people will do an API change and people will CRYYYYYY |
2024-10-06 20:04:01 +0200 | <Inst> | bleh, I'll just while away the time trying to replicate the Vector interface with a Dynamic vector |
2024-10-06 20:03:52 +0200 | <monochrom> | Yes because of the reason I said. |
2024-10-06 20:03:36 +0200 | <Inst> | and iirc most of the containers are intended to be imported qualified |
2024-10-06 20:03:09 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
2024-10-06 20:03:01 +0200 | <monochrom> | Vector was just before Foldable came along. |
2024-10-06 20:02:34 +0200 | <Inst> | Vector at least has a length :: Vector a -> Int that ummm, creates name clashes with Prelude.length |
2024-10-06 20:02:20 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 20:02:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-06 20:01:09 +0200 | <monochrom> | The overlapping names are intentional. It's by design. The idea is if you switch from "import Data.MapBasedOnBST" to "import Data.MapBasedOnBPlusTree", say, then that's the only change you need, because both exports "lookup" and they mean the same thing. |
2024-10-06 19:59:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 19:59:36 +0200 | <Inst> | that said: |
2024-10-06 19:59:21 +0200 | <Inst> | the idea of coming up with new names is that, if you want to rework Foldable etc, you don't create a new FAM problem |
2024-10-06 19:59:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-06 19:58:59 +0200 | <Inst> | monochrom: iirc Haskell's container story is a mess with overlapping names and the legendary >> length (undefined,undefined) |
2024-10-06 19:58:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 19:57:43 +0200 | <monochrom> | If you're like "flatMap is a good name because that's what C# LINQ calls it", I can actually get on board with that. But in this case it is because Bart Jacobs already calls join "flat" so of course I support that. >:) |
2024-10-06 19:54:43 +0200 | <tomsmeding> | dminuoso: fair :) |
2024-10-06 19:54:21 +0200 | <monochrom> | You could argue over less widespread things like Foldable. |
2024-10-06 19:54:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 19:53:48 +0200 | <davean> | Oh I have looked at Edison :) |
2024-10-06 19:53:42 +0200 | <monochrom> | foldl and foldr are already established names. LIke, even Scala goes with those names. If you change that, then you're just changing for the sake of changing. |
2024-10-06 19:52:50 +0200 | <geekosaur> | have you ever looked at EdisonCore? |
2024-10-06 19:52:00 +0200 | <Inst> | also unify the freaking maps over Set etc |
2024-10-06 19:51:45 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-06 19:51:34 +0200 | <Inst> | reduceL / reduceR instead of foldl / foldr, etc |
2024-10-06 19:51:20 +0200 | <Inst> | you don't even need to "fix" foldable / traversable etc, just rename them |
2024-10-06 19:50:29 +0200 | <Inst> | it actually seems pretty easy |
2024-10-06 19:50:19 +0200 | <Inst> | i'm really sick, like, my heart is failing, maybe just trying to rework the container system in Haskell is a good swansong |
2024-10-06 19:48:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-06 19:47:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-06 19:46:15 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-06 19:45:38 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
2024-10-06 19:44:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-06 19:43:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-06 19:40:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Read error: Connection reset by peer) |
2024-10-06 19:40:13 +0200 | <int-e> | well, vector has O(1) uncons :P |
2024-10-06 19:38:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 19:37:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-06 19:36:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-06 19:35:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-06 19:34:07 +0200 | <Inst> | you'd imagine they'd just use a bidirectional dynamic vector to appeal to their userbase |