Logs: freenode/#haskell
| 2021-04-02 19:32:31 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds) |
| 2021-04-02 19:33:05 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-04-02 19:33:40 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6) (Ping timeout: 258 seconds) |
| 2021-04-02 19:35:23 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-02 19:35:27 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-04-02 19:35:39 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-02 19:35:50 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-02 19:36:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-02 19:36:15 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-rhpcdfifjfohktda) (Quit: Connection closed for inactivity) |
| 2021-04-02 19:37:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-02 19:37:27 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-02 19:39:24 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:585d:35b6:9fa3:9ce) |
| 2021-04-02 19:43:28 | × | pleia21 quits (~pleia2@195.140.213.38) (Remote host closed the connection) |
| 2021-04-02 19:44:16 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-02 19:45:25 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-02 19:45:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-04-02 19:46:39 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-02 19:47:02 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-02 19:47:18 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-02 19:49:59 | <Philonous> | Is there a variant of IntMap for the various Word types? |
| 2021-04-02 19:50:01 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-04-02 19:50:12 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-02 19:50:46 | <Philonous> | Err, I meant IntSet |
| 2021-04-02 19:52:59 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-02 19:55:23 | × | geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 240 seconds) |
| 2021-04-02 19:57:55 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-02 19:57:56 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) |
| 2021-04-02 19:57:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-02 19:58:37 | <ja> | does it make sense to use Control.Concurrent.Async.concurrently with pure values? |
| 2021-04-02 19:59:03 | <hololeap> | @hackage enummapset |
| 2021-04-02 19:59:03 | <lambdabot> | https://hackage.haskell.org/package/enummapset |
| 2021-04-02 19:59:07 | <ja> | i just call pure on them and stick them in there, but i am worried that they are actually being computed synchronously |
| 2021-04-02 19:59:17 | <hololeap> | Philonous: i just did a quick search and found that |
| 2021-04-02 19:59:42 | → | vglfr joins (~auiee@88.155.76.95) |
| 2021-04-02 20:00:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 20:00:24 | <hololeap> | ja, i think you might be getting concurrency confused with parallelism. if you want to compute pure functions using more cores, that's parallelism |
| 2021-04-02 20:01:09 | <ja> | hololeap: ok, so should i not use async for that? what is the easiest way to have parallelism for pure computations? |
| 2021-04-02 20:01:15 | <hololeap> | quick, somebody plug simon marlow's book :) |
| 2021-04-02 20:01:35 | <ja> | right, i could read that book, but i thought there would be a simple answer |
| 2021-04-02 20:01:53 | <hololeap> | it's not especially simple, but no, Async is concurrency |
| 2021-04-02 20:02:33 | <ja> | so i should use monad-par? |
| 2021-04-02 20:02:44 | → | jajm1 joins (~jajm@185.204.1.185) |
| 2021-04-02 20:02:52 | <kaol> | Control.Parallel.Strategies is what I'd use for parallelism with pure values. |
| 2021-04-02 20:03:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-04-02 20:03:15 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 250 seconds) |
| 2021-04-02 20:04:29 | <hololeap> | monad-par is fine too, that's the one by marlow |
| 2021-04-02 20:05:11 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-02 20:07:02 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-02 20:08:07 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-02 20:11:31 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-02 20:14:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 20:15:35 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-02 20:19:14 | → | psygate joins (~psygate@unaffiliated/psygate) |
| 2021-04-02 20:23:05 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-02 20:26:56 | × | geekosaur quits (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-04-02 20:27:06 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds) |
| 2021-04-02 20:28:41 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-02 20:28:51 | × | vglfr quits (~auiee@88.155.76.95) (Quit: WeeChat 3.1) |
| 2021-04-02 20:30:24 | → | retroid_ joins (~retro@90.214.167.201) |
| 2021-04-02 20:31:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-02 20:32:11 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-vlpeluuzsmhakghd) (Quit: Connection closed for inactivity) |
| 2021-04-02 20:32:55 | × | fendor quits (~fendor@178.115.129.241.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-02 20:33:26 | Thunderbi | is now known as nckx |
| 2021-04-02 20:36:00 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) |
| 2021-04-02 20:38:54 | → | fendor joins (~fendor@178.115.129.241.wireless.dyn.drei.com) |
| 2021-04-02 20:40:23 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds) |
| 2021-04-02 20:43:06 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-04-02 20:46:05 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f) |
| 2021-04-02 20:47:45 | <Philonous> | hololeap, That actually sounds dangerous, what if I try to stick a type in there that Int can't hold? |
| 2021-04-02 20:47:49 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-02 20:49:30 | → | kchow joins (68251fe1@104.37.31.225) |
| 2021-04-02 20:52:48 | × | kchow quits (68251fe1@104.37.31.225) (Client Quit) |
| 2021-04-02 20:53:00 | × | urodna quits (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer) |
| 2021-04-02 20:53:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-02 20:55:02 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Read error: Connection reset by peer) |
| 2021-04-02 20:56:00 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-02 20:56:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-04-02 20:57:16 | × | conal quits (~conal@192.145.118.233) (Quit: Computer has gone to sleep.) |
| 2021-04-02 20:59:13 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-02 21:02:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 21:02:29 | <infinisil> | hololeap: I'm fairly certain concurrency/parallelism isn't as simple as impure/pure |
| 2021-04-02 21:04:12 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 268 seconds) |
| 2021-04-02 21:04:29 | <infinisil> | In university a professor explained that parallelism is when you do operations on many cores/units to speed it up. Whereas concurrency is more about dependencies between operations, and executing them in parallel according to those deps |
| 2021-04-02 21:05:07 | <infinisil> | And that also aligns with wikipedia's definition |
| 2021-04-02 21:05:42 | <infinisil> | And this idea is entirely orthogonal to impure/pure |
| 2021-04-02 21:05:49 | <monochrom> | I think hololeap knows. |
| 2021-04-02 21:06:19 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds) |
| 2021-04-02 21:07:11 | <maerwald> | "pure functions" vs "impure functions" is already wrong in haskell |
| 2021-04-02 21:07:32 | <maerwald> | but we all know what was meant |
| 2021-04-02 21:08:05 | <monochrom> | It was the question that used the "pure" wording. Maybe it was inaccurate, but it was pretty clear at the holistic level what the question meant. |
| 2021-04-02 21:08:25 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-04-02 21:08:31 | → | auiee joins (~auiee@88.155.76.95) |
| 2021-04-02 21:08:35 | <maerwald> | but we tend to nitpick terminology often here, so |
| 2021-04-02 21:08:48 | × | auiee quits (~auiee@88.155.76.95) (Client Quit) |
| 2021-04-02 21:09:08 | <infinisil> | You can do both parallelism and concurrency with Async, and you can also do parallelism and concurrency with pseq |
| 2021-04-02 21:09:33 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-02 21:09:58 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-04-02 21:10:09 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-02 21:10:40 | <monochrom> | The irony is that the nitpickers chose the wrong wording in the first place. For example, "strict" vs "lazy". Are you kdding me? |
| 2021-04-02 21:10:54 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
All times are in UTC.