Logs: freenode/#haskell
| 2020-11-01 15:25:32 | <dminuoso> | since it's essentially just advisory locks |
| 2020-11-01 15:25:33 | <hpc> | just fix those bugs and move on, imo |
| 2020-11-01 15:25:37 | <dminuoso> | you dont get any real promises about a flock |
| 2020-11-01 15:25:48 | <merijn> | file locking in linux is so retarded I can't imagine a way windows could be worse, tbh |
| 2020-11-01 15:25:53 | <dminuoso> | (unless you can somehow prove no other process outside your control will touch your file) |
| 2020-11-01 15:25:56 | <dminuoso> | merijn: indeed. |
| 2020-11-01 15:26:10 | <hpc> | merijn: you'll love the discussion on that 110 issue then :D |
| 2020-11-01 15:26:26 | → | LKoen joins (~LKoen@127.251.88.92.rev.sfr.net) |
| 2020-11-01 15:26:28 | <merijn> | hpc: Is it *bad* or is it *different*? |
| 2020-11-01 15:26:49 | <maerwald> | you just retry deletion until your virus scanner is finished |
| 2020-11-01 15:27:12 | <hpc> | one of the edge cases of one way of deleting a directory holds onto that file path until every handle to it is closed |
| 2020-11-01 15:27:31 | <hpc> | so you can't make a new file with that name, even though the name isn't currently present on the filesystem |
| 2020-11-01 15:27:37 | <dminuoso> | maerwald: Anyhow. If your argument is `unix lacks higher level API` that doesnt make unix bad, perhaps the desire to have "high level APIs" or worse "high level cross-platform APIs" is doomed from the get go |
| 2020-11-01 15:27:39 | <Uniaika> | 1/ |
| 2020-11-01 15:27:47 | <Uniaika> | (woops) |
| 2020-11-01 15:27:53 | <maerwald> | dminuoso: yes, I wrote that high-level API |
| 2020-11-01 15:27:59 | <dminuoso> | Which package? |
| 2020-11-01 15:28:18 | <Uniaika> | oh btw, `transpose` is now leak-free thans to the work of David Feuer and myself |
| 2020-11-01 15:28:37 | <dminuoso> | merijn: Did you order a DNA sample of dfeuer by the way? |
| 2020-11-01 15:28:38 | <maerwald> | dminuoso: hpath-directory on RawFilePath and hpath-io on Path |
| 2020-11-01 15:28:41 | <dminuoso> | We need him cloned. |
| 2020-11-01 15:29:02 | <merijn> | hpc: You can't say something useful about a single operation like that without considering the design that lead to it. Like "is files being open blocking deletion" a bad design? Not necessarily, imo. It's different than what people are used to on unix, but there's definitely sense to it |
| 2020-11-01 15:29:20 | <hpc> | that's different |
| 2020-11-01 15:29:30 | <hpc> | this is files being deleted blocking creation |
| 2020-11-01 15:29:35 | <dminuoso> | At the end filesystems are complex beasts that I really dont like working with. |
| 2020-11-01 15:29:37 | <Uniaika> | dminuoso: for the moment I'm acting as a surrogate, I'm the one who put together his patch and test :P |
| 2020-11-01 15:29:41 | <dminuoso> | Relational databases are so much more pleasant. |
| 2020-11-01 15:29:49 | <hpc> | the file is already gone from the filesystem |
| 2020-11-01 15:29:53 | <merijn> | hpc: Is it? AFAICT the deletion is blocked because someone has the file open and locked |
| 2020-11-01 15:29:56 | <hpc> | it's not present and locked |
| 2020-11-01 15:30:02 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-01 15:30:32 | <dminuoso> | Clearly we need filesystems with STM semantics and get rid of these silly race conditions. |
| 2020-11-01 15:30:34 | <merijn> | At what point is a file "no longer present" in your opinion? |
| 2020-11-01 15:31:10 | <merijn> | dminuoso: This is why I tell people they should just use SQLite for all their applications, then you can just let their code deal with it and that's better tested than yours anyway :p |
| 2020-11-01 15:31:32 | <geekosaur> | so a file's path is part of its metadata on windows but not on unix. this is a reasonable choice imo |
| 2020-11-01 15:31:38 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-11-01 15:31:41 | <maerwald> | merijn: https://www.sqlite.org/src/info/89f1848d7f |
| 2020-11-01 15:32:02 | <merijn> | maerwald: That does not in anyway affect the truth of my statement |
| 2020-11-01 15:32:05 | <dminuoso> | merijn: Indeed, Im a big fan of sqlite myself too. |
| 2020-11-01 15:32:09 | <merijn> | I didn't say it was flawless |
| 2020-11-01 15:32:19 | <merijn> | I said it was more battle tested than anything any of us have ever written |
| 2020-11-01 15:32:21 | <maerwald> | merijn: no, this was just an example of windows |
| 2020-11-01 15:32:30 | <maerwald> | and that sqlite retries |
| 2020-11-01 15:32:41 | <merijn> | maerwald: I am still not convinced that's necessarily *bad* design |
| 2020-11-01 15:32:43 | <maerwald> | see `winDelete` |
| 2020-11-01 15:32:47 | <maerwald> | I didn't say it is |
| 2020-11-01 15:33:08 | <merijn> | Right, but hpc (and lots of people when windows comes up) do |
| 2020-11-01 15:33:30 | <dminuoso> | Anyhow. Maybe someone here knows, Im looking for a package to facilitate generating multiple Haskell modules, but ideally with utilities like `reify` that could let me reflect on already generated code. |
| 2020-11-01 15:33:33 | <merijn> | afaict most of the "windows is bad" people just mean "windows != posix and I hate having to read docs" |
| 2020-11-01 15:33:38 | × | fl0_id quits (~fl0_id@claudia.s7t.de) (Quit: ZNC) |
| 2020-11-01 15:33:38 | × | MTwister quits (~Twister@claudia.s7t.de) (Quit: Servus!) |
| 2020-11-01 15:34:46 | <merijn> | Windows is (at worst) of "average engineering quality comparable to linux, etc.. More realistically, imo, the engineering of most of windows is orders of magnitude better than linux |
| 2020-11-01 15:35:31 | <maerwald> | here's anothe example of haskell code handling windows file deletion issues https://github.com/input-output-hk/cardano-wallet/blob/master/lib/core/src/Cardano/DB/Sqlite/Delete.hs |
| 2020-11-01 15:35:31 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-01 15:35:44 | <dminuoso> | merijn: I still think much of the bad reputation windows has had, is millions of uneducated users installing shitty drivers, and then blaming microsoft for BSODs. |
| 2020-11-01 15:36:05 | <merijn> | dminuoso: Yes |
| 2020-11-01 15:36:07 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-01 15:36:17 | <merijn> | dminuoso: Also, just all drivers being shitty |
| 2020-11-01 15:36:30 | <maerwald> | I get xserver crashed with nvidia drivers |
| 2020-11-01 15:36:31 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2020-11-01 15:36:47 | <merijn> | IMO, the biggest mistake in Windows engineering for 95/98 was MS assuming that every 3rd party vendor would be as careful with code running in kernel space as they were |
| 2020-11-01 15:37:02 | <maerwald> | but then again, xserver is one of the worst codebases out there :p so not sure I'd blame nvidia |
| 2020-11-01 15:37:07 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-01 15:37:22 | <dminuoso> | Speaking of x, its sad to see its developed has essentially completely stopped |
| 2020-11-01 15:37:38 | <dminuoso> | Since RH has switched to wayland, that's the last industry funding/work gone. |
| 2020-11-01 15:37:39 | <dminuoso> | :( |
| 2020-11-01 15:38:48 | <maerwald> | wayland has no concept of window icons :p |
| 2020-11-01 15:39:03 | <maerwald> | window managers have to implement a lot of logic to get window icons |
| 2020-11-01 15:39:17 | <dolio> | What does this have to do with Haskell? |
| 2020-11-01 15:39:32 | <dminuoso> | dolio: `directory` is bad. |
| 2020-11-01 15:39:34 | <dminuoso> | :p |
| 2020-11-01 15:39:41 | <dolio> | Wrong. |
| 2020-11-01 15:39:51 | <dminuoso> | dolio: No, that's how this all started. |
| 2020-11-01 15:39:56 | <dolio> | I mean, that may be true, but it has nothing to do with Wayland. |
| 2020-11-01 15:41:15 | <hekkaidekapus> | We might get a wayland-monad as a successor to xmonad from the discussion :P |
| 2020-11-01 15:41:42 | <dolio> | I thought someone mentioned that already existed somewhere a while back. |
| 2020-11-01 15:41:51 | <dminuoso> | hekkaidekapus: waymonad already is a thing |
| 2020-11-01 15:41:55 | <hekkaidekapus> | Ah, dunno! |
| 2020-11-01 15:41:57 | <dminuoso> | ttps://github.com/waymonad/waymonad |
| 2020-11-01 15:42:34 | <hekkaidekapus> | hehehehe… The discussion is doomed then :D |
| 2020-11-01 15:42:35 | <dminuoso> | Though work on that one has dried up too |
| 2020-11-01 15:43:05 | → | ManiacTwister joins (~Twister@2a01:4f8:171:4de::40:2) |
| 2020-11-01 15:43:25 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds) |
| 2020-11-01 15:43:28 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-01 15:43:42 | <maerwald> | also, my impression of `directory` was that it wasn't written with POSIX or freedesktop spec in mind, so things like https://github.com/haskell/directory/issues/102 pop up now and then |
| 2020-11-01 15:44:09 | → | fl0_id joins (~fl0_id@2a01:4f8:171:4de::40:2) |
| 2020-11-01 15:44:53 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-11-01 15:45:19 | <dminuoso> | Im unsure what your point really is. The bug was fixed. |
| 2020-11-01 15:45:26 | <maerwald> | yes, I fixed it :p |
| 2020-11-01 15:45:31 | hackage | ghc-lib-parser 0.20201101 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-parser-0.20201101 (shayne_fletcher) |
| 2020-11-01 15:46:11 | <maerwald> | but what about other functions |
| 2020-11-01 15:46:30 | hackage | ghc-lib 0.20201101 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-0.20201101 (shayne_fletcher) |
| 2020-11-01 15:46:34 | <maerwald> | if your main concern is cross platform, I think these things will happen |
| 2020-11-01 15:46:43 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2020-11-01 15:48:59 | <maerwald> | your mental model is the intersection of windows and linux, not POSIX |
| 2020-11-01 15:49:23 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-11-01 15:53:06 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-01 15:56:20 | × | dysfigured quits (dysfigured@2600:3c00::f03c:92ff:feb4:be75) (Quit: I hate quit messages.) |
| 2020-11-01 15:56:49 | monsterchrom | is now known as monochrom |
| 2020-11-01 15:59:13 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-stehtktsnkxbdlii) (Quit: Connection closed for inactivity) |
All times are in UTC.