Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 933 934 935 936 937 938 939 940 941 942 943 .. 18028
— 1,802,701 events total
2021-07-13 18:59:25 → beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-07-13 19:01:21 × Bayes quits (~Bayes@user/bayes) (Quit: Connection closed)
2021-07-13 19:05:04 zopsi_ is now known as zopsi
2021-07-13 19:06:01 <zzz> kilolympus: concatMap can be much more efficient in some cases
2021-07-13 19:06:18 <zzz> it's the reason it exists
2021-07-13 19:07:37 <zzz> i can't think of any structure for which notElem would have an advantage, but for concatMap there are many
2021-07-13 19:07:50 <Rembane> zzz: Do you have any concrete examples for concatMap?
2021-07-13 19:08:11 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-07-13 19:08:41 <monochrom> hlint is nowhere remotely close to C lint. Don't be fooled by the name.
2021-07-13 19:08:47 → jess joins (~jess@libera/staff/jess)
2021-07-13 19:09:29 → prite joins (~pritam@user/pritambaral)
2021-07-13 19:09:30 <monochrom> C lint notices objectively probable mistakes. hlint is just one person's personal preference.
2021-07-13 19:11:04 <monochrom> What you're seeing is a version of First World Problem.
2021-07-13 19:11:32 <zzz> Rembane: concatMap can benefit from foldr/build fusion
2021-07-13 19:11:54 <hseg> nm, was overengineering something that would require quite a bit more work than it's worth
2021-07-13 19:12:04 <monochrom> C allows you to make a mistake like "if (x = y) { ... }" where it is highly probable you meant "x == y". A tool that catches those is helpful.
2021-07-13 19:12:14 <hseg> welp. there goes half an hour's work
2021-07-13 19:13:06 → o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-07-13 19:13:16 <monochrom> In Haskell, you can't make that kind of mistakes, it's already a compiler error. So, people get bored and start picking on personal style like (1 +) vs (\x -> 1 + x).
2021-07-13 19:14:11 <monochrom> When hlint says "why not foo . bar" my reply is "why don't you shut up"
2021-07-13 19:14:35 → Pickchea joins (~private@user/pickchea)
2021-07-13 19:15:26 <Rembane> zzz: Why can't concat . map do that?
2021-07-13 19:15:40 <monochrom> The only reason I am so upset is that there was once upon a time a scenerio forced hlint on me. We had an hpaste.org which forced htlint on every paste.
2021-07-13 19:16:07 <zzz> Rembane: also think about some kinds of trees where union requires a lot of reordering~
2021-07-13 19:16:33 <Rembane> zzz: That's true, and then those trees have implemented their own Foldable instance I guess.
2021-07-13 19:17:20 <monochrom> You can imagine a scenerio that a beginner asks about lambda examples, I posted an example like (\x -> 1 + x) on hpaste.org, and hlint should shut the **** up because this is educational code, not meant to be code-golfed.
2021-07-13 19:17:37 × qbt quits (~edun@user/edun) (Ping timeout: 245 seconds)
2021-07-13 19:18:55 <monochrom> In Haskell if you use "ghc -Wall" you have already got more lint than you ever need.
2021-07-13 19:20:55 → Guest1825 joins (~Guest18@70.109.128.127)
2021-07-13 19:21:36 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds)
2021-07-13 19:21:39 <zzz> Rembane: https://stackoverflow.com/questions/27570154/difference-between-concatmap-f-xs-and-concat-map-f-xs
2021-07-13 19:21:56 <Rembane> zzz: Thank you!
2021-07-13 19:22:57 × Guest997 quits (~Guest9@103.250.139.121) (Ping timeout: 255 seconds)
2021-07-13 19:23:13 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-13 19:24:00 <zzz> i remember tripping on concatMap when i was a beginner and now i'm finaly able to follow this rabbit hole years later
2021-07-13 19:26:13 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-13 19:26:29 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-13 19:26:44 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-13 19:26:57 <yin[m]> quick notice: matrix bridge is not working
2021-07-13 19:27:21 <yin[m]> last message here is from 14:38
2021-07-13 19:28:34 × warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Remote host closed the connection)
2021-07-13 19:29:02 → desophos joins (~desophos@2601:249:1680:a570:489c:f364:abf0:5de7)
2021-07-13 19:29:33 <Profpatsch> monochrom: https://gist.github.com/Profpatsch/5a41d0283755d573511b08c01ff40148
2021-07-13 19:30:22 × alx741 quits (~alx741@186.178.108.22) (Ping timeout: 256 seconds)
2021-07-13 19:30:25 × polykernel quits (~polykerne@user/polykernel) (Read error: Connection reset by peer)
2021-07-13 19:30:25 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Write error: Connection reset by peer)
2021-07-13 19:30:25 × thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Write error: Connection reset by peer)
2021-07-13 19:30:25 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × SimonWeiss[m] quits (~weiss-dma@2001:470:69fc:105::bebd) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × inkbottle[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (Write error: Connection reset by peer)
2021-07-13 19:30:26 × jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Write error: Connection reset by peer)
2021-07-13 19:30:26 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Write error: Connection reset by peer)
2021-07-13 19:30:26 × reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Write error: Connection reset by peer)
2021-07-13 19:30:26 × kadoban quits (~kadoban@user/kadoban) (Write error: Connection reset by peer)
2021-07-13 19:30:26 × RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × ecameron[m] quits (~ecameronm@2001:470:69fc:105::35df) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × Deewiant quits (~deewiant@2001:470:69fc:105::2fd3) (Read error: Connection reset by peer)
2021-07-13 19:30:26 × hsiktas[m] quits (~hsiktasma@2001:470:69fc:105::30d4) (Read error: Connection reset by peer)
2021-07-13 19:30:27 × smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Read error: Connection reset by peer)
2021-07-13 19:30:27 × ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Read error: Connection reset by peer)
2021-07-13 19:30:27 × jophish quits (~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer)
2021-07-13 19:30:27 × Guest2833 quits (~sylveonma@2001:470:69fc:105::2d95) (Read error: Connection reset by peer)
2021-07-13 19:30:27 × rednaZ[m] quits (~r3dnazmat@2001:470:69fc:105::ba70) (Read error: Connection reset by peer)
2021-07-13 19:30:27 × bb010g quits (~bb010g@2001:470:69fc:105::9a5) (Write error: Connection reset by peer)
2021-07-13 19:30:27 × maralorn quits (~maralorn@2001:470:69fc:105::251) (Write error: Connection reset by peer)
2021-07-13 19:30:27 × PotatoHatsue quits (~berberman@2001:470:69fc:105::b488) (Write error: Connection reset by peer)
2021-07-13 19:30:28 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × gxt quits (~gxt@2001:470:69fc:105::3513) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × ormaaj quits (~ormaaj@user/ormaaj) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × fakehacker[m] quits (~fakehacke@2001:470:69fc:105::b5f0) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × sm quits (~sm@plaintextaccounting/sm) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Read error: Connection reset by peer)
2021-07-13 19:30:28 × fgaz quits (~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer)
2021-07-13 19:30:28 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Write error: Connection reset by peer)
2021-07-13 19:30:28 × siraben quits (~siraben@user/siraben) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × lwe[m] quits (~dendrumat@2001:470:69fc:105::2f9b) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Write error: Connection reset by peer)
2021-07-13 19:30:29 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Write error: Connection reset by peer)
2021-07-13 19:30:29 × vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × bitonic quits (~bitonic@2001:470:69fc:105::1812) (Write error: Connection reset by peer)
2021-07-13 19:30:29 × Aleci[m] quits (~alecilibr@2001:470:69fc:105::32e7) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × autrim64[m] quits (~autrim64m@2001:470:69fc:105::16a1) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Write error: Connection reset by peer)
2021-07-13 19:30:29 × ixlun quits (~ixlun@2001:470:69fc:105::41b3) (Read error: Connection reset by peer)
2021-07-13 19:30:29 × sridonhiatus[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 933 934 935 936 937 938 939 940 941 942 943 .. 18028

All times are in UTC.