Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.