Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 209 210 211 212 213 214 215 216 217 218 219 .. 5022
— 502,152 events total
2020-09-25 20:27:22 <pie_> the part i started making progress was when i finally figured out how to use bind in the library xD and decompose the large text into some major sections
2020-09-25 20:27:25 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 20:27:33 <phadej> I see often that person writes 1000 lines of code, *and* then tries to run it for the first time
2020-09-25 20:27:37 <phadej> don't be that person
2020-09-25 20:27:37 <pie_> yeah
2020-09-25 20:27:50 <pie_> i still do that sometimes despite knowing better - not to that extent though
2020-09-25 20:27:57 <pie_> it helps to have automated tests
2020-09-25 20:28:00 <sm[m]> right.. fine grained tests of smaller pieces as mentioned. All of the techniques are needed and complementary
2020-09-25 20:28:01 → mu joins (~mu@unaffiliated/mu)
2020-09-25 20:28:04 <pie_> but for a while i didnt even know what to test
2020-09-25 20:28:40 <pie_> actually, the zeroth big step to actually making progress was writing code to test my parser on the corpus i have instead of f***ing with testing on soem files manually
2020-09-25 20:28:52 <pie_> i should learn how to use some python test framework...
2020-09-25 20:29:04 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 256 seconds)
2020-09-25 20:29:20 <pie_> the reason i havent written unit tests was id have to figure out what sections of the corpus to even be copy pasting into separate test cases...
2020-09-25 20:29:29 <pie_> its kind of a back and forth thing with too many iterations
2020-09-25 20:29:32 <sm[m]> Fuzz/property tests should be quite useful too but I haven't done it
2020-09-25 20:30:00 <archaephyrryx> *slowly realizing we are talking about python and not haskell* ...I can't really contribute as much as I thought I could
2020-09-25 20:30:01 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-09-25 20:30:18 <pie_> archaephyrryx: :P as ive been saying several times i think, but thats a technicality
2020-09-25 20:30:33 <pie_> ok i should go try to write soem more code and see if i can say anything more
2020-09-25 20:31:55 <archaephyrryx> on an unrelated note, I was wondering whether anyone had any opinions about a particular stylistic choice in writing haskell
2020-09-25 20:32:04 <sm[m]> if all else fails, ship it to users and accept pull requests ?
2020-09-25 20:32:19 <sm[m]> Just kidding
2020-09-25 20:32:38 <pie_> haha
2020-09-25 20:33:08 <archaephyrryx> when writing a function whose LHS has one fewer variable binding than it is ever called with (f :: a -> b -> c; f x = ...)
2020-09-25 20:33:09 <sm[m]> archaephyrryx: nope. Opinions on style ? Never seen that
2020-09-25 20:34:13 <archaephyrryx> is it appropriate to write the RHS using `$` to obviate nested parentheses when the implicit missing argument would necessitate parentheticals
2020-09-25 20:34:40 <pie_> Wow I completely forgot I ran into this issue before... https://github.com/python-parsy/parsy/issues/34 :/
2020-09-25 20:34:48 <sm[m]> I lied. There's a dozen dueling haskell formatting tools and style guides
2020-09-25 20:35:38 <archaephyrryx> e.g.: f x {- implicit y -} = g $ h $ x
2020-09-25 20:35:52 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d985:da37:6cf:2ad4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-25 20:35:59 <archaephyrryx> rather than
2020-09-25 20:36:16 <archaephyrryx> f x {- implicit y -} = g (h x) {- implicit y -}
2020-09-25 20:36:34 <archaephyrryx> any thoughts?
2020-09-25 20:36:51 <sm[m]> f = g . h is often seen
2020-09-25 20:36:53 <dolio> I would probably never write `g $ h $ x`.
2020-09-25 20:37:06 <archaephyrryx> i am not writing the actual code
2020-09-25 20:37:14 <archaephyrryx> this is a contrived abstraction
2020-09-25 20:37:24 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 20:37:50 <archaephyrryx> it really looks more like
2020-09-25 20:37:54 → mu joins (~mu@unaffiliated/mu)
2020-09-25 20:38:27 hackage cryptocompare 0.1.2 - Haskell wrapper for the cryptocompare API https://hackage.haskell.org/package/cryptocompare-0.1.2 (aviaviavi)
2020-09-25 20:38:29 <archaephyrryx> func1 arg1 = doWork $ func2 $ func3 arg1
2020-09-25 20:39:08 <archaephyrryx> where there is an extra implicit argument that lacks a binding in the actual definition
2020-09-25 20:39:46 <dolio> That's also `doWork . func2 . func3`.
2020-09-25 20:40:17 <archaephyrryx> the first binding has a strictness annotation (!) so that isn't viable
2020-09-25 20:40:19 × totallynotnate quits (~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-25 20:40:37 × alexkubicail quits (~alexkubic@37.142.205.101) (Ping timeout: 256 seconds)
2020-09-25 20:40:47 × v_m_v quits (~vm_v@2a02:aa12:3200:6480:f507:71a:9334:3099) (Ping timeout: 260 seconds)
2020-09-25 20:40:56 <glguy> too late, you left that out of your simplified problem code, so you don't get to use it
2020-09-25 20:41:26 <archaephyrryx> but the invisible dragon *is* flour-permeable, I swear it always was
2020-09-25 20:42:09 × isovector1 quits (~isovector@172.103.216.166) (Quit: Leaving)
2020-09-25 20:42:10 <dolio> I still don't repeat $ usually, I use .
2020-09-25 20:42:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 20:42:31 → isovector1 joins (~isovector@172.103.216.166)
2020-09-25 20:42:53 × edwardk quits (sid47016@haskell/developer/edwardk) (Quit: Connection closed for inactivity)
2020-09-25 20:43:34 <dolio> But what I do depends on the actual code, and may be different from simplifications, because I don't follow rules by rote.
2020-09-25 20:43:56 johnw_ is now known as johnw
2020-09-25 20:46:22 <archaephyrryx> I typically opt for point-free style and don't use `$` very often but I am collaborating with someone with a completely opposite style and so have been subconsciously splitting the difference for this project
2020-09-25 20:46:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-25 20:46:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 20:47:49 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 20:47:55 → mu__ joins (~mu@unaffiliated/mu)
2020-09-25 20:48:33 <monochrom> dragon and flour?! If the dragon breathes fire, and the flour is aerosoled, that's a fuel-air bomb waiting to happen >_<
2020-09-25 20:49:05 <archaephyrryx> was that reference too obscure? I don't know how common it is
2020-09-25 20:49:24 [exa] votes for obscure
2020-09-25 20:49:27 <monochrom> All references are too obscure. :)
2020-09-25 20:49:53 × ericsagnes quits (~ericsagne@2405:6580:0:5100:4407:fff6:2258:7a65) (Ping timeout: 272 seconds)
2020-09-25 20:50:26 <monochrom> Every cultural reference is well-known to 100% of the community consisting of the solely the speaker.
2020-09-25 20:50:50 <archaephyrryx> it was an example about irrational claims involving shifting goalposts to thwart potential experimental counter-evidence
2020-09-25 20:51:35 <monochrom> Please don't worry about me. I was just spotting a huge fire/explosion hazard. :)
2020-09-25 20:51:50 <archaephyrryx> posed by Carl Sagan
2020-09-25 20:52:05 <archaephyrryx> https://en.wikipedia.org/wiki/The_Demon-Haunted_World#Dragon_in_my_garage
2020-09-25 20:52:52 <monochrom> A very bad flour explosion accident happened some years ago in Taiwan, in a party or festive celebration or something featuring flour in the air.
2020-09-25 20:53:42 <monochrom> Yikes, the Carl Sagan dragon does breathe fire.
2020-09-25 20:54:28 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-09-25 20:54:46 <monochrom> And now my turn to give an obscure reference.
2020-09-25 20:55:34 <monochrom> Imagine that, replying to "the fire-breathing dragon is invisible and floating", you say "so how about we spread flour in the air and see if we survive"
2020-09-25 20:56:16 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-25 20:56:27 <monochrom> This will lead to a "no-dead-body problem".
2020-09-25 20:56:36 <[exa]> re 'The inability to invalidate the hypotesis is not at all the same thing as proving it true'....well here we've got undecidability&complexity reductions. :D
2020-09-25 20:57:26 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 20:57:38 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-25 20:57:54 → mu joins (~mu@unaffiliated/mu)
2020-09-25 20:58:11 <monochrom> This is an obscure reference to a criticism of claims of cold fusion back then. If cold fusion happened, it should generate more than enough neutrons to kill everyone around. But everyone around was living just fine. This was the "no-dead-body question", or perhaps the "dead-body question".
2020-09-25 20:58:42 <monochrom> or s/question/problem/ or something
2020-09-25 21:00:01 × landonf1 quits (~landonf@193.56.252.210) ()
2020-09-25 21:00:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 21:00:22 <monochrom> Thanks for the link. It's a good read. <3 Sagan
2020-09-25 21:00:45 monochrom hops over to amazon
2020-09-25 21:00:50 × ubert quits (~Thunderbi@91.141.0.190.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-25 21:01:22 <archaephyrryx> There is another version where the suggestion to throw flour in the air to outline the shape of the dragon was countered with "the dragon is permeable to flour"
2020-09-25 21:01:39 <archaephyrryx> which is what I was referencing originally
2020-09-25 21:01:44 <monochrom> Ah yeah.
2020-09-25 21:01:49 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-25 21:02:12 <monochrom> But I play my "why are we still alive?" card. :)
2020-09-25 21:02:16 → ericsagnes joins (~ericsagne@2405:6580:0:5100:c98f:bbb5:ca9:3c24)
2020-09-25 21:02:26 <archaephyrryx> anthropic principle to the rescue
2020-09-25 21:02:30 <archaephyrryx> just like qunatum-bogosort
2020-09-25 21:05:33 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 209 210 211 212 213 214 215 216 217 218 219 .. 5022

All times are in UTC.