Logs: liberachat/#haskell
| 2021-07-09 21:30:19 | <ghais> | thank you! |
| 2021-07-09 21:30:20 | <monochrom> | I acknowledge YMMV very much in this case. But I would be making a safe bet if I used "< 5" or "< 4.20" or something. |
| 2021-07-09 21:30:39 | <Clint> | i always do "< 5" |
| 2021-07-09 21:31:01 | × | fluffyballoon quits (~fluffybal@pat-verona-i.epic.com) (Quit: Client closed) |
| 2021-07-09 21:31:37 | → | fluffyballoon joins (~fluffybal@pat-verona-i.epic.com) |
| 2021-07-09 21:32:28 | <monochrom> | I do acknowledge that once in a while I would be burned. For example at the transition point of the functor-applicative-monad proposal. But this would be a once-in-a-decade event for my kind of code. |
| 2021-07-09 21:33:33 | <monochrom> | And in 5-10 years the monad-of-no-return proposal. |
| 2021-07-09 21:33:57 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-09 21:34:02 | <monochrom> | (Even that one doesn't have a 100% chance of breaking everyone's code.) |
| 2021-07-09 21:34:42 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-09 21:34:54 | <monochrom> | On the other side, I'm also too lazy to relax a tight bound when cabal init auto-defaults to a tight bound, so there! |
| 2021-07-09 21:35:08 | <davean> | monochrom: thats very lazy :-p |
| 2021-07-09 21:36:03 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
| 2021-07-09 21:36:18 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-09 21:37:58 | <sm> | tightness of upper bounds has always been a situation-dependent trade-off between annoying users and maintainers with unnecessary bound failures and annoying them with build errors |
| 2021-07-09 21:38:07 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-07-09 21:39:26 | × | zes quits (~zes@p2003000631de7b35c9a03d4c214f06a5.dip0.t-ipconnect.de) (Quit: zes) |
| 2021-07-09 21:40:46 | <hpc> | maybe being able to promise something's compatibility ahead of time would help? |
| 2021-07-09 21:40:48 | <davean> | sm: you left correctness out entirely there |
| 2021-07-09 21:41:15 | <hpc> | if i am writing a package, being able to say "this definition will behave the same way you expect for the next few major versions" could help consumers of that package |
| 2021-07-09 21:42:10 | <hpc> | and breaking that promise would be a first-digit change, or something like that |
| 2021-07-09 21:42:43 | <davean> | hpc: thats ... not an insane thing to do for some packages, put the high level semantic API on the first digit? |
| 2021-07-09 21:42:58 | <davean> | Detail oriented functions on the second |
| 2021-07-09 21:43:17 | <hpc> | it gives that digit a reason to be there, being just to be longer than semver |
| 2021-07-09 21:43:21 | <hpc> | *besides |
| 2021-07-09 21:43:43 | <davean> | hpc: haha, I mean semver wasn't a thing when it came into existance :) |
| 2021-07-09 21:43:55 | <hpc> | yeah, just being cheeky |
| 2021-07-09 21:44:04 | <hpc> | afaik there's no documented difference between the first two digits |
| 2021-07-09 21:44:10 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-07-09 21:44:33 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-09 21:44:50 | → | viluon joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-07-09 21:44:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-09 21:45:18 | <davean> | Correct |
| 2021-07-09 21:45:28 | <dsal> | I like the freedom of the first digit. |
| 2021-07-09 21:45:28 | <davean> | they're up to the library, other than that they are a major change |
| 2021-07-09 21:46:29 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-09 21:46:52 | × | fendor quits (~fendor@77.119.197.100.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-09 21:47:53 | → | slice joins (~slice@user/slice) |
| 2021-07-09 21:51:49 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-09 21:52:14 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-09 21:54:19 | × | fluffyballoon quits (~fluffybal@pat-verona-i.epic.com) (Ping timeout: 246 seconds) |
| 2021-07-09 21:54:36 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer) |
| 2021-07-09 21:56:35 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-07-09 21:57:14 | → | slice joins (~slice@user/slice) |
| 2021-07-09 21:57:25 | × | slice quits (~slice@user/slice) (Client Quit) |
| 2021-07-09 22:02:04 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-09 22:02:07 | × | Guest62 quits (~Guest62@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-09 22:02:28 | → | Guest12 joins (~Guest12@187.83.249.216.dyn.smithville.net) |
| 2021-07-09 22:03:00 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-09 22:03:35 | × | warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Remote host closed the connection) |
| 2021-07-09 22:05:40 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-07-09 22:05:47 | × | Guest12 quits (~Guest12@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 2021-07-09 22:10:05 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-09 22:10:31 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-09 22:12:57 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-09 22:13:25 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-07-09 22:15:48 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2021-07-09 22:23:15 | × | gehmehgeh_ quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-09 22:23:52 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-09 22:24:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-09 22:26:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-09 22:28:43 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-09 22:31:46 | <Digit> | :) |
| 2021-07-09 22:32:42 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2021-07-09 22:37:32 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2021-07-09 22:41:30 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
| 2021-07-09 22:41:44 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-09 22:41:52 | <zzz> | weird question. does anyone know which is more performant, map or Data.IntMap.Strict.map ? |
| 2021-07-09 22:43:03 | <geekosaur> | depends on what you're doing with it, last I checked |
| 2021-07-09 22:43:18 | <geekosaur> | your best bet is to try them both |
| 2021-07-09 22:43:51 | <monochrom> | https://www.google.com/search?q=it+depends+meme&oq=it+depends&aqs=chrome.1.69i57j69i59.2958j0j7&sourceid=chrome&ie=UTF-8 |
| 2021-07-09 22:45:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-09 22:45:26 | <zzz> | figured |
| 2021-07-09 22:47:12 | <monochrom> | The trilemma (right, worse than dilemma) of asking for performance advice on a free-of-charge discussion platform. |
| 2021-07-09 22:47:30 | <monochrom> | If you give no context and use case, the only correct answer is "it depends". |
| 2021-07-09 22:48:10 | <monochrom> | If you give partial context and use case, you risk getting wrong answers --- they would be right for the spoken partial context, but wrong for the unspoken complete context. |
| 2021-07-09 22:48:27 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-09 22:48:29 | <monochrom> | If you give complete context, people start quoting consultant fees. |
| 2021-07-09 22:49:10 | <zzz> | :) |
| 2021-07-09 22:50:09 | <zzz> | i got exactly the answer i was looking for, although i was tempted to ask "depending on what?" |
| 2021-07-09 22:50:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Remote host closed the connection) |
| 2021-07-09 22:51:03 | <zzz> | but that's just unleashed curiosity, not necessity |
| 2021-07-09 22:52:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-09 22:53:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-09 22:56:43 | <smtnet3> | can't you just critereon it? |
| 2021-07-09 22:57:25 | <smtnet3> | zzz, ^ |
| 2021-07-09 22:57:35 | <monochrom> | Perhaps it was just a curiosity question, there was no code. |
| 2021-07-09 22:57:48 | <smtnet3> | i see |
| 2021-07-09 22:58:03 | <monochrom> | Curiosity killed the cat. Wave collapse brought it back! |
| 2021-07-09 23:01:06 | <monochrom> | In this case it is really apple vs orange. If you use [], it's because you're solving a problem unsuitable for IntMap. If you use IntMap, it's because you'ree solving a problem unsuitable for []. |
| 2021-07-09 23:01:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-09 23:01:58 | <monochrom> | If performance is more important than relevance, the () type is the most performant. |
| 2021-07-09 23:02:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-09 23:03:19 | <boxscape> | I'd argue (# #) is better |
| 2021-07-09 23:03:29 | <monochrom> | heh |
| 2021-07-09 23:04:32 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-09 23:05:41 | <smtnet3> | New to haskell so I don't get that one haha |
| 2021-07-09 23:05:53 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-09 23:05:55 | <smtnet3> | hopefully i stick around |
| 2021-07-09 23:06:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 246 seconds) |
All times are in UTC.