Logs: liberachat/#haskell
| 2021-05-29 22:21:15 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-29 22:21:44 | <dminuoso> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Foldable.html#v:foldrM |
| 2021-05-29 22:21:49 | <dminuoso> | Read the documentation of both, and decide for yourself. |
| 2021-05-29 22:22:12 | <dminuoso> | "efficiency" is not your problem, its that they have subtly different semantics wrt to MonadPlus |
| 2021-05-29 22:22:30 | <dminuoso> | And they associate differently in output |
| 2021-05-29 22:22:43 | → | benin joins (~benin@183.82.177.19) |
| 2021-05-29 22:22:51 | → | smatting joins (~stefan@p200300cd7715d60001a96e63c195d7c7.dip0.t-ipconnect.de) |
| 2021-05-29 22:23:29 | → | nilof joins (~olofs@217.138.208.142) |
| 2021-05-29 22:24:10 | × | saolof quits (~olofs@217.138.208.142) (Ping timeout: 264 seconds) |
| 2021-05-29 22:24:43 | × | prite quits (~pritam@user/pritambaral) (Ping timeout: 272 seconds) |
| 2021-05-29 22:24:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-29 22:26:48 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 2021-05-29 22:28:01 | → | ddellacosta joins (~ddellacos@89.46.62.46) |
| 2021-05-29 22:28:48 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 22:29:03 | <hololeap> | pavonia: you probably want something like mapM_ |
| 2021-05-29 22:29:41 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 2021-05-29 22:29:50 | <hololeap> | again, there is an example mono-traversable |
| 2021-05-29 22:30:00 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-05-29 22:31:13 | <hololeap> | well, not so much an example as a ready-made implementation |
| 2021-05-29 22:31:50 | → | kmein joins (~weechat@user/kmein) |
| 2021-05-29 22:32:22 | × | ddellacosta quits (~ddellacos@89.46.62.46) (Ping timeout: 245 seconds) |
| 2021-05-29 22:32:38 | <hololeap> | dminuoso: out of curiosity, what makes that package overkill to you? |
| 2021-05-29 22:33:11 | <hololeap> | I see a lot of people complaining that dependencies are too "heavy" or pull in too many dependencies, and I don't really understand the logic |
| 2021-05-29 22:33:54 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-05-29 22:33:58 | <monochrom> | I would certainly use some version of mapM_. Be it the one from mono-traversable or roll-your-own "mapM_ foo . .unpack". |
| 2021-05-29 22:34:32 | <pavonia> | mono-traversable uses `foldr ((*>) . f) (pure ())`, if I understand correctly |
| 2021-05-29 22:35:04 | <monochrom> | That is exactly the efficient way. |
| 2021-05-29 22:35:24 | <pavonia> | lol, thank you |
| 2021-05-29 22:35:32 | → | DrezilallePronom joins (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-05-29 22:35:46 | <monochrom> | At least if that "foldr" is []'s |
| 2021-05-29 22:36:12 | <pavonia> | It's ByteString's foldr |
| 2021-05-29 22:36:26 | <monochrom> | Then I don't actually know. |
| 2021-05-29 22:36:30 | <hololeap> | that's surprising to me since foldl would work with infinite streams, but I suppose mono-traversable isn't set up for that |
| 2021-05-29 22:36:48 | DrezilallePronom | is now known as Drezil |
| 2021-05-29 22:38:10 | <pavonia> | I'm really confused that there isn't a function for this in bytestring already. Running an action for each element seems such a common use-case to me |
| 2021-05-29 22:39:06 | <hololeap> | my guess is that it's actually an unusal use case to run an action for each byte |
| 2021-05-29 22:39:19 | <monochrom> | What I know so far is ByteString's foldr uses accursedUnutterablePerformIO |
| 2021-05-29 22:39:32 | justBull | is now known as the |
| 2021-05-29 22:39:39 | the | is now known as justBull |
| 2021-05-29 22:39:54 | <monochrom> | OK it is lazy enough to be efficient for this purpose. |
| 2021-05-29 22:40:12 | justBull | is now known as justbull |
| 2021-05-29 22:41:06 | <monochrom> | And meta-ly, what hololeap says. |
| 2021-05-29 22:41:21 | <monochrom> | There are two very simple principles. |
| 2021-05-29 22:41:37 | <monochrom> | 1. Everyone has a different conviction of what counts as common. |
| 2021-05-29 22:42:06 | <monochrom> | 2. You are not an author of that library. |
| 2021-05-29 22:42:08 | <hololeap> | FWIW, vector has mapM_ |
| 2021-05-29 22:42:10 | <hololeap> | https://hackage.haskell.org/package/vector-0.12.3.0/docs/Data-Vector.html#v:mapM_ |
| 2021-05-29 22:42:59 | × | nilof quits (~olofs@217.138.208.142) (Ping timeout: 265 seconds) |
| 2021-05-29 22:44:21 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 272 seconds) |
| 2021-05-29 22:45:55 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-29 22:46:45 | × | dudek quits (~dudek@185.150.236.112) (Quit: Leaving) |
| 2021-05-29 22:47:02 | → | ddellacosta joins (~ddellacos@89.46.62.38) |
| 2021-05-29 22:47:40 | justbull | is now known as justBull |
| 2021-05-29 22:48:33 | ← | Wally parts (~Wally@dragonbox/forum-staff/wally) () |
| 2021-05-29 22:49:47 | → | Vladi14 joins (~Vladi@cpe105611bc8175-cm105611bc8173.cpe.net.cable.rogers.com) |
| 2021-05-29 22:49:59 | × | Vladi14 quits (~Vladi@cpe105611bc8175-cm105611bc8173.cpe.net.cable.rogers.com) (K-Lined) |
| 2021-05-29 22:51:32 | × | ddellacosta quits (~ddellacos@89.46.62.38) (Ping timeout: 245 seconds) |
| 2021-05-29 22:51:55 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 22:57:33 | Guest6979 | is now known as julm |
| 2021-05-29 22:58:02 | julm | is now known as Guest8647 |
| 2021-05-29 22:58:28 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) (Remote host closed the connection) |
| 2021-05-29 22:58:28 | Guest8647 | is now known as julm_ |
| 2021-05-29 22:58:58 | julm_ | is now known as Guest3432 |
| 2021-05-29 22:59:27 | × | smatting quits (~stefan@p200300cd7715d60001a96e63c195d7c7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-29 23:01:43 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 23:02:28 | × | dteb quits (uid501063@id-501063.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-29 23:04:11 | → | ddellacosta joins (~ddellacos@89.46.62.27) |
| 2021-05-29 23:06:50 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-05-29 23:07:16 | → | smatting joins (~stefan@p200300cd7715d6008c50015b1eae29d8.dip0.t-ipconnect.de) |
| 2021-05-29 23:07:29 | <jumper149> | Hi, I'm looking for good resource on strictness. I want to be able to accurately use BangPatterns. |
| 2021-05-29 23:07:45 | × | werneta quits (~werneta@mobile-166-176-57-108.mycingular.net) (Remote host closed the connection) |
| 2021-05-29 23:08:44 | × | ddellacosta quits (~ddellacos@89.46.62.27) (Ping timeout: 268 seconds) |
| 2021-05-29 23:09:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-29 23:10:35 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-05-29 23:11:32 | × | smatting quits (~stefan@p200300cd7715d6008c50015b1eae29d8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-29 23:12:11 | → | werneta joins (~werneta@mobile-166-176-57-108.mycingular.net) |
| 2021-05-29 23:12:57 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2021-05-29 23:14:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Ping timeout: 268 seconds) |
| 2021-05-29 23:14:54 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-29 23:15:42 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-05-29 23:15:47 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-29 23:17:49 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-29 23:19:16 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-29 23:19:56 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-29 23:24:37 | → | bfrk1 joins (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) |
| 2021-05-29 23:26:07 | × | bfrk quits (~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 2021-05-29 23:26:07 | bfrk1 | is now known as bfrk |
| 2021-05-29 23:32:26 | × | sbmsr quits (~pi@2600:1700:63d0:4830::26) (Quit: WeeChat 2.3) |
| 2021-05-29 23:36:49 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:5d51:e5ca:3a87:349) |
| 2021-05-29 23:38:55 | → | ddellacosta joins (~ddellacos@89.46.62.64) |
| 2021-05-29 23:43:53 | × | ddellacosta quits (~ddellacos@89.46.62.64) (Ping timeout: 268 seconds) |
| 2021-05-29 23:47:35 | × | xff0x quits (~xff0x@2001:1a81:5217:e000:4218:6218:8e9f:303f) (Ping timeout: 268 seconds) |
| 2021-05-29 23:48:23 | → | xff0x joins (~xff0x@2001:1a81:5217:e000:429f:c9d9:8a31:8fef) |
| 2021-05-29 23:48:40 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-29 23:51:13 | → | dcoutts joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-05-29 23:53:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-29 23:54:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-05-29 23:55:05 | × | dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-29 23:55:42 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-29 23:55:48 | → | ddellacosta joins (~ddellacos@89.45.224.46) |
All times are in UTC.