Logs: liberachat/#haskell
| 2021-06-14 12:51:37 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2021-06-14 12:51:38 | <DigitalKiwi> | it was mostly in response to merijn (my original reply was like "i |
| 2021-06-14 12:51:57 | <DigitalKiwi> | it was mostly in response to merijn (my original reply was like "i'd argue 90% of people who build base forgot to enable cachix" |
| 2021-06-14 12:52:22 | → | xff0x_ joins (~xff0x@2001:1a81:521d:d300:6d92:b3ef:1f93:a591) |
| 2021-06-14 12:53:02 | <janus> | flipchan: why should i advertise on your platform on not in Haskell Weekly? |
| 2021-06-14 12:53:03 | <DigitalKiwi> | because why else would anyone build base unless they were forced to lol |
| 2021-06-14 12:53:24 | <boxscape> | DigitalKiwi I'm fairly sure base isn't built even if you don't enable cachix |
| 2021-06-14 12:53:25 | <maerwald> | DigitalKiwi: did you read the conversation? |
| 2021-06-14 12:53:45 | <DigitalKiwi> | yes |
| 2021-06-14 12:53:54 | <merijn> | DigitalKiwi: It was talking about developing/hacking on base... |
| 2021-06-14 12:53:56 | <maerwald> | then I have no idea why you would bring up nix |
| 2021-06-14 12:54:04 | <merijn> | DigitalKiwi: How would you ever hack on base without compiling base... |
| 2021-06-14 12:54:27 | <merijn> | That makes no sense |
| 2021-06-14 12:54:48 | <maerwald> | larryba: Imma try it |
| 2021-06-14 12:55:12 | <flipchan> | janus: yeah, that would be a good idea, ty |
| 2021-06-14 12:55:17 | <DigitalKiwi> | which is why i changed my original reply to not mention the 90% because the premise of that joke is more shaky |
| 2021-06-14 12:55:26 | <flipchan> | janus: sorry, miss read it |
| 2021-06-14 12:55:37 | <larryba> | maerwald, thanks. I'm using a rather old ghc, so perhaps it was fixed in future versions |
| 2021-06-14 12:55:45 | <flipchan> | well this is meant to be a collection of the latest haskell jobs |
| 2021-06-14 12:57:33 | <maerwald> | larryba: `doesDirectoryExist` works for me |
| 2021-06-14 12:57:33 | <DigitalKiwi> | the premise for that would be that more people build base accidentally because of haskell.nix than build it intentionally because they want to hack on it. which i don't have enough data to suggest is or is not more likely ;p |
| 2021-06-14 12:57:50 | <larryba> | maerwald, so it returns True? what ghc version? |
| 2021-06-14 12:58:00 | <maerwald> | 8.10.5 |
| 2021-06-14 12:58:06 | <maerwald> | yes, True |
| 2021-06-14 12:58:20 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-06-14 12:58:38 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-14 12:58:51 | <larryba> | nice, so they fixed it. I'm using 8.8.4 |
| 2021-06-14 12:58:51 | <janus> | flipchan: if i advertise with you, how long does the post stay up? |
| 2021-06-14 12:59:11 | <janus> | flipchan: it only says the time, but not the duration |
| 2021-06-14 12:59:12 | × | Morrow quits (~Morrow@147.161.9.212) (Read error: Connection reset by peer) |
| 2021-06-14 12:59:20 | <merijn> | doesDirectoryExist is a race condition waiting to happen :p |
| 2021-06-14 12:59:44 | <maerwald> | merijn: on C:\? |
| 2021-06-14 12:59:51 | maerwald | blinks |
| 2021-06-14 12:59:53 | <Taneb> | Most IO is a race condition waiting to appen |
| 2021-06-14 13:00:00 | <DigitalKiwi> | for me anyway the number of times i have compiled ghc is hundreds the number of times i have "wanted" to is probably zero |
| 2021-06-14 13:00:01 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-14 13:00:02 | <merijn> | maerwald: On anything |
| 2021-06-14 13:00:07 | <merijn> | maerwald: C:\ *can* disappear |
| 2021-06-14 13:00:11 | <maerwald> | yeah sure... |
| 2021-06-14 13:00:20 | → | paolino joins (~paolo@84.33.156.246) |
| 2021-06-14 13:00:26 | <merijn> | maerwald: Windows doesn't require an install on C: and for several years mine was on a different letter |
| 2021-06-14 13:00:27 | <maerwald> | actually no, it can't I think |
| 2021-06-14 13:00:49 | <merijn> | maerwald: Your system filesystem probably can't disappear, no |
| 2021-06-14 13:00:50 | × | hemlock quits (~hemlock@2607:fb90:96d4:b2db:6767:8423:197d:e850) (Ping timeout: 272 seconds) |
| 2021-06-14 13:00:54 | <maerwald> | you can't mess with the base device where your windews files are on |
| 2021-06-14 13:00:56 | <maerwald> | it's locked |
| 2021-06-14 13:00:59 | <merijn> | But there's no reason to assume C:\ will be system |
| 2021-06-14 13:01:02 | → | alx741 joins (~alx741@181.196.69.243) |
| 2021-06-14 13:01:03 | <maerwald> | sure |
| 2021-06-14 13:01:06 | <maerwald> | but that's not a race |
| 2021-06-14 13:01:25 | <merijn> | maerwald: My point is: If C:\ is not system, but, say, a USB drive it can just disappear |
| 2021-06-14 13:01:27 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-14 13:01:43 | <maerwald> | also depends |
| 2021-06-14 13:01:54 | <maerwald> | your cat might lie on the stick |
| 2021-06-14 13:02:01 | → | hemlock joins (~hemlock@184.179.34.210) |
| 2021-06-14 13:02:21 | × | mikolaj_ quits (~mikon@duch.mimuw.edu.pl) (Ping timeout: 272 seconds) |
| 2021-06-14 13:02:29 | → | mikolaj_ joins (~mikon@duch.mimuw.edu.pl) |
| 2021-06-14 13:02:33 | → | paolinoZ joins (~paolo@84.33.156.246) |
| 2021-06-14 13:02:44 | <DigitalKiwi> | nsilv: Hecate i got nixos on wsl 2 last night :D |
| 2021-06-14 13:04:03 | <larryba> | how do I write this properly? defaultIfException :: forall e. Exception e => IO a -> IO a -> IO a |
| 2021-06-14 13:04:11 | <larryba> | it says "Not in scope: type variable �a�" |
| 2021-06-14 13:04:30 | <maerwald> | bring it in scope! |
| 2021-06-14 13:04:43 | <larryba> | what's the syntax for second forall? |
| 2021-06-14 13:04:54 | <DigitalKiwi> | my windows 10 laptop had been stuck on a version of windows that didn't have wsl 2 (and could't update; it was stuck on installing updates at 61% for a year) i finally nuked it |
| 2021-06-14 13:05:01 | <maerwald> | forall takes multiple identifiers |
| 2021-06-14 13:05:05 | <maerwald> | separated by whitespace |
| 2021-06-14 13:05:32 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds) |
| 2021-06-14 13:06:00 | <DigitalKiwi> | https://github.com/Trundle/NixOS-WSL |
| 2021-06-14 13:06:35 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 272 seconds) |
| 2021-06-14 13:07:32 | <siers> | are haskell's profunctors anything like category theory's? |
| 2021-06-14 13:08:06 | <larryba> | ok this worked defaultIfException :: forall a e. Exception e => IO a -> IO a -> IO a |
| 2021-06-14 13:08:10 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-14 13:08:59 | <DigitalKiwi> | nsilv: earlier when i was looking at that code of eflister emacs kept completely freezing i may remember seeing something about HLS being able to casue that... |
| 2021-06-14 13:09:19 | <nshepperd2> | you probably want to put the e first if you're planning to use TypeApplications to choose the type of exception |
| 2021-06-14 13:09:30 | <larryba> | nshepperd2, yeah, I just figured that out! |
| 2021-06-14 13:10:04 | <larryba> | will this give me considerable performance hit, when walking the directory tree? getDirectoryContentsSafe path = defaultIfException @SomeException (pure []) (getDirectoryContents path) |
| 2021-06-14 13:10:38 | → | ddellacosta joins (~ddellacos@86.106.143.152) |
| 2021-06-14 13:10:42 | <larryba> | compared to checking with doesDirectoryExist first, before calling getDirectoryContents |
| 2021-06-14 13:11:06 | <DigitalKiwi> | https://mostlyabsurd.com/files/2021-06-14-131041_968x822_scrot.png apparently i've even searched it before ;_; |
| 2021-06-14 13:12:40 | <larryba> | I'll call it on every file in a directory tree |
| 2021-06-14 13:15:14 | × | ddellacosta quits (~ddellacos@86.106.143.152) (Ping timeout: 244 seconds) |
| 2021-06-14 13:15:26 | <nshepperd2> | larryba: no, if anything it will be faster |
| 2021-06-14 13:15:27 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-14 13:15:59 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 252 seconds) |
| 2021-06-14 13:16:03 | <nshepperd2> | probably |
| 2021-06-14 13:16:12 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-14 13:16:33 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-06-14 13:16:40 | × | argento quits (~argent0@168-227-96-51.ptr.westnet.com.ar) (Ping timeout: 272 seconds) |
| 2021-06-14 13:16:47 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-14 13:17:59 | <dminuoso> | larryba: Are you sure you dont want `forall a e. Exception e => proxy e -> IO a -> IO a -> IO a`? |
| 2021-06-14 13:18:09 | <dminuoso> | I find TypeApplications as public API to be quite offending |
| 2021-06-14 13:18:18 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-14 13:18:26 | <merijn> | Word |
| 2021-06-14 13:18:28 | <larryba> | how would the call look? |
| 2021-06-14 13:18:44 | <dminuoso> | oh, drop the foralls |
| 2021-06-14 13:18:47 | <dminuoso> | `Exception e => proxy e -> IO a -> IO a -> IO a` of course :) |
| 2021-06-14 13:18:48 | <merijn> | TypeApplications is for people who love breaking APIs >.> |
| 2021-06-14 13:19:14 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-14 13:22:54 | <DigitalKiwi> | flipchan: what should compel me to choose to spend money on haskell.careers when i can instead use Hecate' matchmaker for free |
| 2021-06-14 13:23:12 | <nshepperd2> | for a function whose raisin d'etre is to be a thin convenience wrapper around 'catch' i think TypeApplications is fine |
All times are in UTC.