Logs: liberachat/#haskell
| 2021-07-28 00:05:30 | <monochrom> | Then, f <$> a = a >>= \x -> pure (f x) |
| 2021-07-28 00:05:38 | <monochrom> | err, meant to bold "pure". |
| 2021-07-28 00:05:43 | <Axman6> | lambdabot doesn't simplify expressions, it just removes syntax sugar |
| 2021-07-28 00:06:18 | <Axman6> | would be nice if it could do ApplicativeDo too |
| 2021-07-28 00:06:27 | <dsal> | Oh, yeah, I changed my mind part of the way through what I was doing. |
| 2021-07-28 00:06:58 | <Axman6> | we could have @ado (and alias @muchado) to desugar ApplicativeDo |
| 2021-07-28 00:07:11 | <monochrom> | Haha nice. |
| 2021-07-28 00:07:13 | <dsal> | This is one of those things where you have to do it simply because the name is amazing. |
| 2021-07-28 00:09:38 | <monochrom> | Likewise, earlier DigitalKiwi made a deeply insightful math joke "I heard that parallel lines actually do meet, but they are very discrete" |
| 2021-07-28 00:10:18 | <monochrom> | That would be a great title or abstract or teaser for an introduction to finite projective geometry. |
| 2021-07-28 00:10:41 | <monochrom> | in which parallel lines do meet (projective), and the space is discrete (hell, it's even finite). |
| 2021-07-28 00:14:37 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 2021-07-28 00:15:38 | <lechner> | Hi, why does that not give me stdout, please? (status, stdout, stderr) <- readProcessWithExitCode "git" ["-C", folder, "pull"] "" |
| 2021-07-28 00:16:05 | <Axman6> | I don't understand the question |
| 2021-07-28 00:16:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-28 00:16:56 | <lechner> | the string is empty |
| 2021-07-28 00:17:30 | <Axman6> | maybe git doesn't think it needs to output anything |
| 2021-07-28 00:17:58 | <c_wraith> | Maybe the output is on stderr |
| 2021-07-28 00:17:59 | <int-e> | @. pl undo do { x <- a; f a } |
| 2021-07-28 00:17:59 | <lambdabot> | a >> f a |
| 2021-07-28 00:18:28 | <lechner> | i am considering that it may suppress its output, but i'm tranlating old code |
| 2021-07-28 00:18:30 | <int-e> | @. pl undo do { x <- a; f x } |
| 2021-07-28 00:18:30 | <lambdabot> | f =<< a |
| 2021-07-28 00:18:45 | <monochrom> | We shouldn't speculate. |
| 2021-07-28 00:19:00 | <c_wraith> | fwiw, my version of git doesn't have a flag -C |
| 2021-07-28 00:19:04 | <int-e> | (this is a rare case where @pl actually simplifies code) |
| 2021-07-28 00:19:09 | <c_wraith> | in the pull operation, anyway |
| 2021-07-28 00:19:19 | <monochrom> | We shouldn't encourage unclear informationless questions by speculating as though we owe them to it. |
| 2021-07-28 00:19:25 | <monochrom> | err owe it to them. |
| 2021-07-28 00:19:33 | <c_wraith> | So if I run that command, I get a usage explanation on stderr |
| 2021-07-28 00:20:03 | <lechner> | c_wraith: i could use {cwd} from process, but the other one has been working on debian bullseye |
| 2021-07-28 00:20:27 | <c_wraith> | that's probably the least interesting part of what I said |
| 2021-07-28 00:20:36 | <lechner> | it also happens on clone (although again with -C) |
| 2021-07-28 00:20:39 | <Axman6> | I would try running something like `echo foo` and make sure that works |
| 2021-07-28 00:21:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-28 00:21:06 | <lechner> | okay i will. brb |
| 2021-07-28 00:30:02 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-28 00:30:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-28 00:32:22 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-07-28 00:32:35 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-28 00:42:18 | <arkho> | sclv, geekosaur, thank you for your advice. I think I've found what I'm looking for. |
| 2021-07-28 00:48:30 | × | Atum___ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer) |
| 2021-07-28 00:49:38 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-28 00:49:41 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-28 00:51:22 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 2021-07-28 00:51:25 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-28 00:52:56 | × | nitrix quits (~nitrix@user/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration) |
| 2021-07-28 00:55:07 | → | nitrix joins (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-07-28 00:55:07 | × | nitrix quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 2021-07-28 00:55:07 | → | nitrix joins (~nitrix@user/nitrix) |
| 2021-07-28 00:55:56 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-07-28 00:58:20 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-28 01:00:41 | <Axman6> | lechner: any luck? |
| 2021-07-28 01:01:29 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-28 01:07:13 | × | alx741 quits (~alx741@181.196.69.4) (Quit: alx741) |
| 2021-07-28 01:08:00 | <Axman6> | monochrom: not teaching do notation is an interesting choice, and on reflection seems like an obvious thing to do. I think we didn't touch it for a while in the FP course, possibly until we had introduced IO or parsers |
| 2021-07-28 01:08:33 | <Axman6> | teaching foo >>= \x ->\n bar >>= \y -> ... is clear enough I think. I like this choice |
| 2021-07-28 01:10:39 | <lechner> | Axman6: yeah, Git is suppressing its output, or it's otherwise not being piped my way |
| 2021-07-28 01:11:00 | <Axman6> | interesting. |
| 2021-07-28 01:11:17 | <lechner> | i knew. haskell is alawys right |
| 2021-07-28 01:11:26 | <Axman6> | withCreateProcess or something might be a better option |
| 2021-07-28 01:11:41 | <lechner> | i need the exit status |
| 2021-07-28 01:11:41 | <Axman6> | Haskell is sometimes Left |
| 2021-07-28 01:12:16 | <Axman6> | ProcessHandle lets you wait on a process and get its exit code |
| 2021-07-28 01:12:40 | <Axman6> | but I would be surprised if that's not just how `readProcessWithExitCode` is implemented |
| 2021-07-28 01:12:58 | × | xff0x quits (~xff0x@2001:1a81:527c:b500:2843:4b18:8f2c:3a0f) (Ping timeout: 240 seconds) |
| 2021-07-28 01:13:11 | → | Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) |
| 2021-07-28 01:14:02 | <lechner> | maybe the empty string on the input closes the handle on stdin? |
| 2021-07-28 01:15:10 | → | xff0x joins (~xff0x@2001:1a81:52b7:d000:f8bb:d399:bdf4:bf95) |
| 2021-07-28 01:16:39 | <lechner> | my other implementation redirected to and from /dev/null, i think (Perl's IPC::Run3) |
| 2021-07-28 01:17:44 | × | peterhil quits (~peterhil@mobile-access-b04815-181.dhcp.inet.fi) (Ping timeout: 255 seconds) |
| 2021-07-28 01:18:59 | <monochrom> | From the reader's POV, reading from /dev/null is indistinguishable from reading from a closed pipe. |
| 2021-07-28 01:20:06 | <monochrom> | And IIUC this git command doesn't abort just because stdin is an EOF. |
| 2021-07-28 01:24:03 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-28 01:30:16 | → | neurocyte5 joins (~neurocyte@212.232.90.146) |
| 2021-07-28 01:30:16 | × | neurocyte5 quits (~neurocyte@212.232.90.146) (Changing host) |
| 2021-07-28 01:30:16 | → | neurocyte5 joins (~neurocyte@user/neurocyte) |
| 2021-07-28 01:32:59 | <lechner> | it's not aborting. there is no output |
| 2021-07-28 01:33:34 | <monochrom> | Did "echo hello" give you output? Did you receive it? |
| 2021-07-28 01:33:43 | <lechner> | yes |
| 2021-07-28 01:33:55 | × | ukari quits (~ukari@user/ukari) (Ping timeout: 265 seconds) |
| 2021-07-28 01:33:55 | <lechner> | what about strict vs lazy? maybe git never reads |
| 2021-07-28 01:33:56 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 255 seconds) |
| 2021-07-28 01:33:56 | neurocyte5 | is now known as neurocyte |
| 2021-07-28 01:34:20 | <dibblego> | Axman6: we've used >>= a lot before do-notation and the first thing we show is a mechanical syntactic transformation |
| 2021-07-28 01:34:26 | <lechner> | Perl would be lazy in this case |
| 2021-07-28 01:34:44 | <dibblego> | we also show C# and Scala syntactic transformation |
| 2021-07-28 01:34:52 | <monochrom> | If you want to test out where "git -C foo" sends its output. On unix, you can "git -C foo > thisfilehasstdour 2> thisfilehasstderr", then check the two files. |
| 2021-07-28 01:35:15 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-28 01:35:20 | <monochrom> | On windows, please install virtualbox then install a unix inside virtualbox :) |
| 2021-07-28 01:35:32 | <monochrom> | Or I guess WSL is good enough for this. |
| 2021-07-28 01:36:07 | <geekosaur> | windows supports those redirects, at least in cmd.exe |
| 2021-07-28 01:36:30 | <monochrom> | Poor windows gets no love from monochrom :) |
| 2021-07-28 01:38:22 | <geekosaur> | and… isn't it git -C foo pull? |
| 2021-07-28 01:38:32 | <Axman6> | Windows has enterprise support for the lack of love it receives |
| 2021-07-28 01:38:51 | <monochrom> | Yeah I forgot the exact command. I used "foo" for generic placeholder. |
| 2021-07-28 01:39:09 | <monochrom> | "make love not money" bwhahahaha |
| 2021-07-28 01:46:14 | <Axman6> | Advertising for an art's degree? |
| 2021-07-28 01:46:21 | <Axman6> | pew pew, shots fired! |
| 2021-07-28 01:49:44 | → | ukari joins (~ukari@user/ukari) |
All times are in UTC.