Logs: freenode/#haskell
| 2021-03-15 22:40:53 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-15 22:42:51 | × | fendor quits (~fendor@178.165.129.162.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-15 22:43:38 | × | cafce25_ quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-03-15 22:45:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-15 22:46:08 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-03-15 22:46:16 | → | solidus-river joins (~fuag1@174.127.249.180) |
| 2021-03-15 22:46:30 | <hololeap> | koz_: that looks interesting. i'm partway through it and it seems like it's doing something along the lines of: (m a -> m a) -> t m a -> t m a |
| 2021-03-15 22:46:31 | <solidus-river> | is there a good example some where of using forkIO but trying to catch and recover from processes that die? |
| 2021-03-15 22:46:54 | <hololeap> | but sometimes we need: (m a -> r) -> t m a -> r |
| 2021-03-15 22:46:58 | <koz_> | solidus-river: Have you read Simon's book about parallelism and concurrency in Haskell? |
| 2021-03-15 22:47:18 | <solidus-river> | koz_, now but i would with link :), also searching |
| 2021-03-15 22:47:20 | <koz_> | hololeap: I _believe_ that's still possible with MonadBaseControl, but it's ahrder. |
| 2021-03-15 22:47:52 | <koz_> | solidus-river: https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/pt02.html |
| 2021-03-15 22:47:58 | <koz_> | Read that entire part, start to finish. |
| 2021-03-15 22:48:09 | <koz_> | It goes over this in quite pedantic detail. |
| 2021-03-15 22:50:00 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-15 22:50:12 | → | infinity0 joins (~infinity0@freenet/developer/infinity0) |
| 2021-03-15 22:50:15 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-03-15 22:50:24 | <solidus-river> | koz_, thanks! |
| 2021-03-15 22:50:44 | <koz_> | solidus-river: No problem. |
| 2021-03-15 22:51:18 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2021-03-15 22:51:32 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-15 22:54:43 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-15 22:57:10 | × | sarahzrf_ quits (~sarahzrf_@sarahzrf.com) (Quit: bye) |
| 2021-03-15 22:57:23 | × | stux|RC-- quits (stux2@grid9.quadspeedi.net) (Quit: Aloha!) |
| 2021-03-15 22:57:33 | → | sarahzrf joins (~sarahzrf_@2604:a880:400:d0::b4a:4001) |
| 2021-03-15 22:59:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-15 23:00:15 | → | stux|RC-only joins (stux2@grid9.quadspeedi.net) |
| 2021-03-15 23:00:52 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds) |
| 2021-03-15 23:01:32 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-15 23:02:19 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-15 23:04:56 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-15 23:06:17 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-15 23:06:24 | × | bbear quits (~znc@21212.s.t4vps.eu) (Read error: Connection reset by peer) |
| 2021-03-15 23:06:28 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-15 23:06:34 | → | bbear joins (~znc@21212.s.t4vps.eu) |
| 2021-03-15 23:07:23 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-15 23:08:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-15 23:10:03 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 2021-03-15 23:10:25 | → | cosimone joins (~user@93-47-228-249.ip115.fastwebnet.it) |
| 2021-03-15 23:12:43 | × | solidus-river quits (~fuag1@174.127.249.180) (Read error: Connection reset by peer) |
| 2021-03-15 23:15:38 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-03-15 23:17:15 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) |
| 2021-03-15 23:18:19 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-15 23:18:27 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 23:20:41 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection) |
| 2021-03-15 23:21:14 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-15 23:29:30 | × | cosimone quits (~user@93-47-228-249.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2021-03-15 23:30:44 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-03-15 23:32:11 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) (Remote host closed the connection) |
| 2021-03-15 23:33:04 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) |
| 2021-03-15 23:33:48 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-15 23:35:02 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954785b86a8446f85480.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-15 23:37:14 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2021-03-15 23:37:50 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) (Ping timeout: 264 seconds) |
| 2021-03-15 23:39:37 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-15 23:41:25 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) |
| 2021-03-15 23:41:28 | × | __minoru__shirae quits (~shiraeesh@109.166.58.121) (Ping timeout: 260 seconds) |
| 2021-03-15 23:43:42 | → | brandly joins (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) |
| 2021-03-15 23:45:08 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-15 23:45:40 | × | cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 256 seconds) |
| 2021-03-15 23:46:13 | × | nrh^ quits (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-15 23:47:04 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-03-15 23:47:18 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-15 23:47:34 | <wickedjargon> | question for anyone: Do you think reading "The Little Schemer" will help with programming in Haskell? |
| 2021-03-15 23:47:46 | → | usr25_tm joins (~usr25@unaffiliated/usr25) |
| 2021-03-15 23:48:15 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-03-15 23:48:37 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-15 23:48:58 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-15 23:50:49 | <Axman6> | I doubt it would hurt |
| 2021-03-15 23:51:31 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 268 seconds) |
| 2021-03-15 23:51:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-15 23:57:34 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 256 seconds) |
| 2021-03-15 23:58:22 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-16 00:03:32 | <koz_> | I've tried reading those books. I personally didn't find them useful for any purpose. YMMV. |
| 2021-03-16 00:03:42 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-16 00:04:23 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-16 00:04:38 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-16 00:06:42 | × | brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-16 00:06:47 | → | dsrt^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-16 00:07:01 | × | jess quits (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-03-16 00:07:34 | → | j joins (jess@freenode/staff/jess) |
| 2021-03-16 00:11:10 | j | is now known as jess |
| 2021-03-16 00:12:34 | <koz_> | I need something like a combination of mapMaybe and hashNub. The idea is that I have f :: a -> Maybe b; I toss out Nothings, and nub on the b in Justs, but give back as in the end. |
| 2021-03-16 00:12:35 | × | usr25_tm quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 2021-03-16 00:12:41 | <koz_> | What's a good way to write this? |
| 2021-03-16 00:13:05 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-16 00:13:10 | <Axman6> | what type are you looking for? |
| 2021-03-16 00:13:55 | <koz_> | Something like '(Eq b, Hashable b) => (a -> Maybe b) -> [a] -> [a]' |
| 2021-03-16 00:15:53 | <monochrom> | I think catMaybe helps with the Maybe aspect. |
| 2021-03-16 00:16:10 | <monochrom> | Err no nevermind, it loses the a. |
| 2021-03-16 00:16:55 | <Axman6> | @djinn (a -> Maybe b) -> (a -> Maybe (a,b)) |
| 2021-03-16 00:16:55 | <lambdabot> | f a b = |
| 2021-03-16 00:16:55 | <lambdabot> | case a b of |
| 2021-03-16 00:16:55 | <lambdabot> | Nothing -> Nothing |
| 2021-03-16 00:16:55 | <lambdabot> | Just c -> Just (b, c) |
| 2021-03-16 00:17:09 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 2021-03-16 00:17:17 | <monochrom> | :) |
| 2021-03-16 00:18:12 | <monochrom> | Axman6's function will help, if you combine with catMaybes. You now have [(a,b)]. Are you OK with nubBy (<something that uses the hashing function here>)? |
| 2021-03-16 00:18:25 | <Axman6> | fmap snd |
All times are in UTC.