Logs: freenode/#haskell
| 2021-04-02 18:19:55 | → | timCF joins (~i.tkachuk@m91-129-99-43.cust.tele2.ee) |
| 2021-04-02 18:20:00 | <tomsmeding> | though you could do the same with a case-expression by just case'ing on both arguments in a tuple, (x, y) :) |
| 2021-04-02 18:20:28 | × | kozowu quits (uid44796@gateway/web/irccloud.com/x-rnmbqzfxvrvvfqjt) (Quit: Connection closed for inactivity) |
| 2021-04-02 18:20:43 | <tomsmeding> | the python zen says that there should be only one obvious way to do something; haskell doesn't subscribe to that philosophy :p |
| 2021-04-02 18:21:19 | <StackStackIssue> | I am liking aspects of both |
| 2021-04-02 18:21:46 | <StackStackIssue> | Beats my current highschool for loop drudgery |
| 2021-04-02 18:21:58 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-02 18:22:22 | <timCF> | Hello! Any nix language users here? Is there any sort of `case x of` expression with multiple possible clauses/patterns? Just to avoid nested `if x then y else z` |
| 2021-04-02 18:22:38 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-02 18:22:47 | ← | hypercube parts (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) () |
| 2021-04-02 18:23:25 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-02 18:23:39 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-02 18:25:33 | <StackStackIssue> | tomsmeding does reading the syntax get noticeably easier with time? I'm having a much harder time with the language than I had expected |
| 2021-04-02 18:26:25 | <tomsmeding> | StackStackIssue: I like haskell's syntax, but then I've been programming haskell for a few years already :p |
| 2021-04-02 18:26:37 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds) |
| 2021-04-02 18:27:14 | <tomsmeding> | are you talking about the syntax specifically, so the symbols necessary to write certain expressions, or are you talking about how to express certain ideas in the language? |
| 2021-04-02 18:27:40 | <tomsmeding> | the former is /shrug/, the latter is really something you have to get used to if you've previously used only imperative languages, like the ones you named |
| 2021-04-02 18:28:19 | <tomsmeding> | the functional way of thinking is nice for a lot of applications, not so nice for others, but it's certainly different |
| 2021-04-02 18:28:32 | geekosaur | was thinking things like needing to write parens around instead of inside of function calls (e.g. foo (bar x) instead of foo(bar(x)) ) |
| 2021-04-02 18:28:35 | <Clint> | en/win go #linguistics |
| 2021-04-02 18:28:41 | Clint | sighs. |
| 2021-04-02 18:28:43 | <geekosaur> | "oops" |
| 2021-04-02 18:28:43 | → | andi- joins (~andi-@NixOS/user/andi-) |
| 2021-04-02 18:28:57 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) |
| 2021-04-02 18:29:51 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-02 18:29:52 | <tomsmeding> | ah right geekosaur that's true |
| 2021-04-02 18:30:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-02 18:30:16 | <tomsmeding> | if that then yes that's just getting used to it :p |
| 2021-04-02 18:31:07 | <StackStackIssue> | Getting used to it it is |
| 2021-04-02 18:31:58 | <monochrom> | Did you know: In Landin's papers, he diligently wrote like "f(x)(y)" for curried functions. :) |
| 2021-04-02 18:32:16 | <Rembane> | StackStackIssue: A trick I use when GHC throws all kinds of weird errors at me is to add parentheses until I'm 100% sure that I and GHC agree what code we're looking at. Also, don't use the dollar operator. |
| 2021-04-02 18:32:27 | <Rembane> | monochrom: That looks like Javascript or Python. :D |
| 2021-04-02 18:33:08 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-02 18:33:25 | <monochrom> | Clearly, Javascript and Python are included by his paper title "the next 700 languages" >:) |
| 2021-04-02 18:33:29 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds) |
| 2021-04-02 18:33:51 | <monochrom> | Or rather, this is why the paper title is that >:) |
| 2021-04-02 18:34:16 | <Rembane> | Sweet! :) |
| 2021-04-02 18:35:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-04-02 18:35:14 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-02 18:35:35 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-02 18:36:14 | <StackStackIssue> | https://imgur.com/a/VmlVOMi |
| 2021-04-02 18:36:15 | <StackStackIssue> | bingo |
| 2021-04-02 18:36:17 | <StackStackIssue> | thanks everyone |
| 2021-04-02 18:36:51 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 18:38:11 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-02 18:38:55 | → | dincio joins (~dincio@5.170.5.139) |
| 2021-04-02 18:39:31 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-02 18:40:01 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-02 18:40:54 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-04-02 18:40:58 | ← | dincio parts (~dincio@5.170.5.139) () |
| 2021-04-02 18:41:54 | <infinisil> | timCF: Is this a Nix question? Because if so, you should probably ask in #nixos instead :) |
| 2021-04-02 18:42:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-02 18:42:12 | × | darjeeling_ quits (~darjeelin@122.245.122.120) (Ping timeout: 252 seconds) |
| 2021-04-02 18:42:42 | × | asdfghjkl100 quits (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-02 18:47:40 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-04-02 18:50:17 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-04-02 18:51:20 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 18:52:11 | × | __minoru__shirae quits (~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds) |
| 2021-04-02 18:52:20 | <tomsmeding> | geekosaur: I solved it! The problematic request that crashes ircbrowse is 'GET /robots.txt' with 'If-Modified-Since:' with an empty value. Firstly the empty header value gets parsed to an empty bytestring here: https://hackage.haskell.org/package/snap-server-1.1.2.0/docs/src/Snap.Internal.Http.Server.Parser.html#splitHeader ; note that this produces a bytestring based on a null pointer: |
| 2021-04-02 18:52:20 | <tomsmeding> | https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/src/Data.ByteString.html#empty . Then in serveFileAs, used in ircbrowse's route for /robots.txt, parseHttpTime is used directly on the header value: https://hackage.haskell.org/package/snap-core-1.0.4.2/docs/src/Snap.Internal.Util.FileServe.html#serveFileAs -- and that gives the segfault :p |
| 2021-04-02 18:52:30 | → | __minoru__shirae joins (~shiraeesh@77.94.25.220) |
| 2021-04-02 18:52:32 | <tomsmeding> | that's a bug report |
| 2021-04-02 18:53:02 | <geekosaur> | "oops" |
| 2021-04-02 18:53:41 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-02 18:54:02 | <tomsmeding> | ;) |
| 2021-04-02 18:54:11 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:6386:3ce4:dd55:29f3) (Ping timeout: 258 seconds) |
| 2021-04-02 18:54:20 | <tomsmeding> | (that request is from some kind of strange web crawler, btw) |
| 2021-04-02 18:54:23 | <maerwald> | How good is WSL2? I'm thinking of switching to windows |
| 2021-04-02 18:55:08 | → | darjeeling_ joins (~darjeelin@115.215.43.37) |
| 2021-04-02 18:55:17 | <geekosaur> | spj uses it, apparently |
| 2021-04-02 18:55:57 | → | d34df00d joins (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) |
| 2021-04-02 18:56:01 | <d34df00d> | Hi! |
| 2021-04-02 18:56:27 | <d34df00d> | Some of my functions are constrained by `Alternative f`, but I noticed I'm only using pure, empty and <|>. Is there a weaker structure I could use instead? |
| 2021-04-02 18:56:56 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f) |
| 2021-04-02 18:59:37 | <geekosaur> | Applicative works for pure, but empty and <|> want Alternative |
| 2021-04-02 19:00:00 | <geekosaur> | you may be thinking of the fact that those ultimately derive from Applicative + Monoid |
| 2021-04-02 19:00:18 | <geekosaur> | but that's just Alternative, so keep using it |
| 2021-04-02 19:00:31 | <d34df00d> | Right, that makes sense. |
| 2021-04-02 19:00:47 | <d34df00d> | Lack of <$> or <*> in my code made me think that I could maybe make my stuff more generic. |
| 2021-04-02 19:00:52 | <d34df00d> | But looks like Alternative is indeed perfect. |
| 2021-04-02 19:00:53 | <d34df00d> | Thanks! |
| 2021-04-02 19:01:18 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) |
| 2021-04-02 19:01:28 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f) (Ping timeout: 258 seconds) |
| 2021-04-02 19:02:01 | × | StackStackIssue quits (c634aeb5@198.52.174.181) (Quit: Connection closed) |
| 2021-04-02 19:06:08 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:8e7d:1650:be7b:bbf2) |
| 2021-04-02 19:06:47 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-02 19:06:53 | × | moet quits (~moet@172.58.35.224) (Quit: leaving) |
| 2021-04-02 19:07:50 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-04-02 19:17:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-04-02 19:18:03 | → | Tops2 joins (~Tobias@dyndsl-095-033-020-180.ewe-ip-backbone.de) |
| 2021-04-02 19:18:04 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-02 19:18:04 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-02 19:18:04 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-02 19:19:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-02 19:19:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-02 19:22:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-02 19:26:38 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection) |
| 2021-04-02 19:27:49 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) |
| 2021-04-02 19:31:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-02 19:31:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
All times are in UTC.