Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 .. 5022
— 502,152 events total
2020-11-09 20:21:58 <merijn> Because you can't limit the argument
2020-11-09 20:22:00 <monochrom> Perhaps you mean: There is no reason Foldable stays within the restriction of single-parameter type class therefore imposes a parametricity restriction.
2020-11-09 20:22:05 <koz_> We need a Storable constraint to basically do anything.
2020-11-09 20:22:22 <merijn> Anyway, there's no reason for it not to export it's own foldMap
2020-11-09 20:22:30 <merijn> It exports a billion other folds
2020-11-09 20:22:43 <monochrom> Yes, that I can stand behind.
2020-11-09 20:23:14 <monochrom> But mono-traversable does it. You can accept this compromise for now.
2020-11-09 20:23:38 <merijn> monochrom: I just did VS.toList and foldMapped that :p
2020-11-09 20:24:08 <monochrom> That one may actually fuse.
2020-11-09 20:24:24 <merijn> Frankly I don't particularly care about the performance anyway
2020-11-09 20:24:38 → knupfer joins (~Thunderbi@200116b82c4b6a002515619359a4e7a1.dip.versatel-1u1.de)
2020-11-09 20:25:00 → Entertainment joins (~entertain@104.246.132.210)
2020-11-09 20:26:58 <koz_> merijn: Do any of the Vector types export (something akin to) foldMap?
2020-11-09 20:27:03 <hekkaidekapus> merijn: <https://github.com/haskell/vector/pull/337>
2020-11-09 20:27:06 <koz_> (well, other than the basic one via being Foldable)
2020-11-09 20:27:38 <koz_> Never mind, hekkaidekapus answered my question.
2020-11-09 20:27:45 <merijn> hekkaidekapus: Unless to goes onto Hackage in, -15 minutes that's not particularly useful to me, though ;)
2020-11-09 20:28:18 <hekkaidekapus> hahaha… Admit it, you wanted to let some steam off ;)
2020-11-09 20:29:46 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 258 seconds)
2020-11-09 20:30:50 <davean> koz_: why 15 minutes? :)
2020-11-09 20:31:20 <hekkaidekapus> (Wrong nick)
2020-11-09 20:31:28 <geekosaur> merijn, and I see -15
2020-11-09 20:31:36 <merijn> davean: Because that's 15 minutes ago is when I wrote the code to work around the lack of foldMap
2020-11-09 20:31:39 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-11-09 20:31:48 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-09 20:31:50 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-09 20:31:54 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-11-09 20:31:57 <monochrom> TEN3T
2020-11-09 20:32:12 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-09 20:32:23 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 20:32:25 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 20:33:10 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-09 20:34:16 <merijn> So...I've got a pro-tip for people
2020-11-09 20:34:50 <merijn> If you're going to spend 1.5 hours trying to work out why your "real" code deviates from your validation code in a super subtle and weird way...
2020-11-09 20:35:06 <merijn> Maybe first check your validation code is correct
2020-11-09 20:35:48 <monochrom> Heh I use that to illustrate Bayes theorem.
2020-11-09 20:36:03 <merijn> Also, somewhat relatedly
2020-11-09 20:36:24 <merijn> Use more newtypes for your integers if you're gonna have like 5 different values of the buggers
2020-11-09 20:37:14 × xff0x quits (~fox@2001:1a81:531b:1600:ec8f:61b3:570e:bcbc) (Ping timeout: 264 seconds)
2020-11-09 20:37:26 <monochrom> It goes like "you're an experienced programmer, your probability of making a bug is really small. The new intern is writing test cases, their false alarm probability is small but bigger than your bug probability. Your code fails their test case. What's the probability that it's really your fault?"
2020-11-09 20:37:54 → xff0x joins (~fox@2001:1a81:531b:1600:cd3d:f483:4bd5:a4e5)
2020-11-09 20:38:04 <Rembane> 7
2020-11-09 20:38:32 × Lycurgus quits (~niemand@98.4.97.118) (Quit: Exeunt)
2020-11-09 20:38:58 <hekkaidekapus> merijn: The tip is drawn from validated-literals?
2020-11-09 20:39:21 × aldum quits (~vishera@aldum.pw) (Remote host closed the connection)
2020-11-09 20:39:31 → aldum joins (~vishera@aldum.pw)
2020-11-09 20:39:46 <dsal> The worst thing is finding compiler bugs after years of conditioning that it's not the compiler.
2020-11-09 20:39:47 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-09 20:40:36 → acidjnk_new2 joins (~acidjnk@p200300d0c718f61059b80ee7df292ca6.dip0.t-ipconnect.de)
2020-11-09 20:41:23 → son0p joins (~son0p@181.136.122.143)
2020-11-09 20:42:15 <merijn> dsal: Oh, I've got a good way to fix that!
2020-11-09 20:42:35 <merijn> dsal: Just try Intel's OpenCL FPGA tools!
2020-11-09 20:42:41 <dsal> ha
2020-11-09 20:43:05 <merijn> After 2 months your first instinct for any bug is "I bet they fucked up the compiler again"
2020-11-09 20:43:24 <merijn> hekkaidekapus: That's for literals, not so much runtime values :)
2020-11-09 20:43:32 <merijn> hekkaidekapus: Hence, the name ;)
2020-11-09 20:43:58 <monochrom> Use a just-in-time compiler to turn run-time values into compile-time literals.
2020-11-09 20:44:05 <monochrom> Just look at xmonad.
2020-11-09 20:44:30 → kjak joins (~kjak@pool-173-73-38-16.washdc.fios.verizon.net)
2020-11-09 20:44:41 <hekkaidekapus> merijn: I was teasing you because there are no bug reports for the package ;)
2020-11-09 20:44:54 <monochrom> or javascript eval >:)
2020-11-09 20:45:05 <merijn> hekkaidekapus: That's because no one's using it :p
2020-11-09 20:45:57 <hekkaidekapus> By the way, it’s not the first time you’re into Vector.foldMap; <https://github.com/haskell/vector/issues/263#issuecomment-643812468>
2020-11-09 20:46:27 <merijn> I know, that's cause past me is a genius with impeccable taste
2020-11-09 20:46:44 <hekkaidekapus> heh
2020-11-09 20:47:22 → mu joins (~mu@unaffiliated/mu)
2020-11-09 20:47:59 <merijn> "newtype Index = Index { getIdx :: Int }" now, if I only had thought of that earlier I'd have saved myself a bunch of annoying debugging >.>
2020-11-09 20:49:22 <tomsmeding> merijn: "I don't think tree fold ever does less operations."
2020-11-09 20:49:32 <merijn> tomsmeding: That's true
2020-11-09 20:49:32 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-09 20:49:34 <tomsmeding> a binary tree with n leaves has n-1 interior nodes
2020-11-09 20:49:36 <tomsmeding> qed
2020-11-09 20:50:29 <merijn> I'm unsure if you're agreeing or disagreeing?
2020-11-09 20:50:58 <koz_> > takeWhile (/= ':') "foo:bar"
2020-11-09 20:51:00 <lambdabot> "foo"
2020-11-09 20:51:19 <tomsmeding> merijn: I'm agreeing, and proving that your "I think" can be removed :p
2020-11-09 20:51:55 <merijn> tomsmeding: Past me is not only a genius with impeccable taste. He's also modest and likes to hedge his claims, except when he doesn't.
2020-11-09 20:52:23 <tomsmeding> and present you is also fond of tautologies? :)
2020-11-09 20:52:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-09 20:52:43 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-09 20:52:43 <merijn> Tautologies and showers
2020-11-09 20:52:45 <koz_> Tautologies are delicious with chocolate syrup.
2020-11-09 20:52:53 <koz_> Showers are less so.
2020-11-09 20:53:09 <tomsmeding> is that latter statement from experience?
2020-11-09 20:53:21 <koz_> tomsmeding: I'll let you figure that one out. :P
2020-11-09 20:56:01 hackage phonetic-languages-examples 0.3.1.1 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.3.1.1 (OleksandrZhabenko)
2020-11-09 20:58:07 → Tario joins (~Tario@201.192.165.173)
2020-11-09 20:59:26 <merijn> Excellent. My newtype refactor to avoid similar mistakes in the future actually causes a type error on the bug \o/
2020-11-09 21:00:01 × KevinM quits (~KevinM@185.204.1.185) ()
2020-11-09 21:00:55 <tomsmeding> 🎉
2020-11-09 21:04:02 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-09 21:04:02 × alp quits (~alp@2a01:e0a:58b:4920:681b:9986:ad49:88f7) (Ping timeout: 246 seconds)
2020-11-09 21:05:26 → plakband joins (~plakband@softbank126126238105.bbtec.net)
2020-11-09 21:07:43 <hekkaidekapus> The takeWhile above by koz_ reminded me something I saw in the backlog. merijn, why did you shy away of Data.Sequence when someone asked about a takeWhile going from right to left?
2020-11-09 21:08:24 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 21:08:52 <merijn> What?
2020-11-09 21:09:01 <merijn> I didn't ask about takeWhile?
2020-11-09 21:09:25 <hekkaidekapus> No, someone asked you about it.
2020-11-09 21:10:22 <merijn> The only vaguely related thing I recall is someone wanting to do left padding?
2020-11-09 21:10:41 <merijn> How long ago is this backlog? :p
←Prev  Next→
Page 1 .. 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 .. 5022

All times are in UTC.