Logs: freenode/#haskell
| 2021-05-10 13:00:40 | <siers> | it typechecked [a] -> b against a -> Int |
| 2021-05-10 13:00:55 | <tomsmeding> | you can try using parList but I believe that will just create N sparks where N is the length of the list; that may work but it might be more efficient to explicitly split it into a number of jobs that is equal to the number of processors you have |
| 2021-05-10 13:01:08 | <tomsmeding> | depending on the runtime system performance |
| 2021-05-10 13:01:52 | <dminuoso> | pagnol: Compile everything with profiling, and then use `+RTC -xc` ? |
| 2021-05-10 13:02:11 | <tomsmeding> | siers: well your ($|| parList rseq) can take any value of type ([a] -> b) for any a and b, and the argument you're giving it, 'tl', has type c -> Int for any c. So c ~ [a] and b ~ Int and it unifies? |
| 2021-05-10 13:02:37 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:03:03 | <siers> | yikes, you're right |
| 2021-05-10 13:03:23 | <tomsmeding> | (just talking about types, not about what anything of this means) |
| 2021-05-10 13:04:00 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-10 13:04:15 | → | poljar joins (~poljar@78-1-38-154.adsl.net.t-com.hr) |
| 2021-05-10 13:05:11 | × | poljar1 quits (~poljar@78-1-55-96.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-05-10 13:06:06 | <siers> | parInNThreads might work |
| 2021-05-10 13:06:51 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
| 2021-05-10 13:08:14 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:09:28 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-10 13:10:58 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-10 13:12:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
| 2021-05-10 13:13:03 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:15:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-10 13:16:15 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-10 13:16:51 | → | tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-10 13:17:15 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
| 2021-05-10 13:18:21 | × | sphi quits (~sphi@unaffiliated/sphi) (Ping timeout: 265 seconds) |
| 2021-05-10 13:18:40 | × | shailangsa quits (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-05-10 13:19:26 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-10 13:21:06 | <pagnol> | I just wasted 4 hours because I assumed cabal retrieves the most recent version of a package if no version contraint is specified |
| 2021-05-10 13:21:57 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-10 13:22:44 | <tomsmeding> | siers: I also wrote this at some point: https://paste.tomsmeding.com/dFmuEgZ7 |
| 2021-05-10 13:22:46 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:23:15 | <tomsmeding> | it uses explicit (haskell-)threads using forkIO in order to be a bit more deterministic (in my experience) |
| 2021-05-10 13:23:33 | → | poljar1 joins (~poljar@93-143-148-135.adsl.net.t-com.hr) |
| 2021-05-10 13:23:50 | <tomsmeding> | if you don't understand what the (a -> b) projection function is for, just pass 'id' |
| 2021-05-10 13:23:51 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-10 13:24:20 | <tomsmeding> | also note that it explicitly uses one _less_ than getNumCapabilities because in my experience, using all doesn't work and blocks some of the threads from even spawning |
| 2021-05-10 13:25:09 | <siers> | what does the projection function do? :) |
| 2021-05-10 13:25:13 | × | poljar quits (~poljar@78-1-38-154.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-05-10 13:25:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-10 13:26:35 | <tomsmeding> | it allows you to evaluate a _component_ of the structure |
| 2021-05-10 13:26:57 | <tomsmeding> | e.g. by passing 'fst', you can have of list of pairs where you evaluate the first components in parallel, not touching the second components at all |
| 2021-05-10 13:27:05 | <siers> | ah |
| 2021-05-10 13:27:13 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
| 2021-05-10 13:27:33 | <tomsmeding> | 'parSeq b f l' is equivalent to 'parSeq b id (map f l)' I think |
| 2021-05-10 13:28:04 | → | Iceland_jack joins (~user@95.147.45.92) |
| 2021-05-10 13:29:18 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-10 13:30:18 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-porhvditswtjxxbh) |
| 2021-05-10 13:30:20 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-10 13:32:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-10 13:32:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 2021-05-10 13:32:56 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:33:20 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-05-10 13:33:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection) |
| 2021-05-10 13:34:15 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 13:34:47 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-05-10 13:35:03 | <dminuoso> | pagnol: it does. |
| 2021-05-10 13:35:16 | <siers> | tomsmeding, are sparks cooperative? |
| 2021-05-10 13:35:25 | <dminuoso> | pagnol: or rather, the most recent version for which cabal can find a suitable build plan, according to all existing constraints. |
| 2021-05-10 13:36:30 | <tomsmeding> | siers: I _think_ sparks and forkIO threads are both cooperative, but only at point where they allocate -- so if you have a busy loop on unboxed values that doesn't allocate anything, you might block the thread |
| 2021-05-10 13:36:36 | <tomsmeding> | but don't take my word for it |
| 2021-05-10 13:36:56 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-05-10 13:37:35 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-10 13:37:54 | <siers> | should parallel work in ghci -threaded -with-rtsopts='-N8'? |
| 2021-05-10 13:38:00 | <siers> | or must I compile it? |
| 2021-05-10 13:38:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
| 2021-05-10 13:39:28 | × | ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 2021-05-10 13:43:43 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-05-10 13:44:47 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-10 13:46:52 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-05-10 13:48:13 | × | drbean_ quits (~drbean@TC210-63-209-88.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-10 13:48:28 | → | drbean_ joins (~drbean@TC210-63-209-34.static.apol.com.tw) |
| 2021-05-10 13:48:57 | hackage | mnist-idx-conduit 0.1.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.1.0.0 (ocramz) |
| 2021-05-10 13:49:20 | → | vite joins (~vite@185.204.1.185) |
| 2021-05-10 13:50:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-10 13:52:56 | → | guriya joins (a0ee4b7f@unaffiliated/guriya) |
| 2021-05-10 13:54:28 | → | poljar joins (~poljar@93-143-128-70.adsl.net.t-com.hr) |
| 2021-05-10 13:55:19 | × | drbean_ quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-10 13:56:42 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-uarnrolikdibusqq) |
| 2021-05-10 13:57:22 | × | poljar1 quits (~poljar@93-143-148-135.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-10 13:59:27 | hackage | mnist-idx-conduit 0.2.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.2.0.0 (ocramz) |
| 2021-05-10 14:01:05 | × | Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection) |
| 2021-05-10 14:01:10 | <pagnol> | dminuoso: what you're saying seems to be at odds with my most recent experience, but it's possible there's something I'm missing |
| 2021-05-10 14:01:15 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-10 14:01:21 | → | alx741 joins (~alx741@186.178.108.184) |
| 2021-05-10 14:01:27 | hackage | pseudo-boolean 0.1.10.0 - Reading/Writing OPB/WBO files used in pseudo boolean competition https://hackage.haskell.org/package/pseudo-boolean-0.1.10.0 (MasahiroSakai) |
| 2021-05-10 14:01:33 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-05-10 14:01:40 | vgtw_ | is now known as vgtw |
| 2021-05-10 14:02:54 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 2021-05-10 14:03:08 | → | shailangsa joins (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) |
| 2021-05-10 14:04:07 | → | son0p joins (~ff@181.136.122.143) |
| 2021-05-10 14:07:06 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-10 14:10:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-10 14:11:06 | <dminuoso> | pagnol: Feel free to present an example here or at an issue tracker, should have one. |
| 2021-05-10 14:12:30 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-05-10 14:13:51 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
| 2021-05-10 14:14:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-10 14:15:19 | <tomsmeding> | pagnol: at the very least the claim relies on you having run 'cabal update' recently |
| 2021-05-10 14:15:49 | → | poljar1 joins (~poljar@93-143-164-44.adsl.net.t-com.hr) |
| 2021-05-10 14:16:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-10 14:16:49 | <dminuoso> | Of course, there could be the odd example of where downgrading `foo` would allow cabal to use newer versions of other packages.. |
| 2021-05-10 14:17:14 | <dminuoso> | But cabal cant find that out, because it doesn't actually do an exhaustive search of all combinations |
| 2021-05-10 14:17:42 | × | poljar quits (~poljar@93-143-128-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
All times are in UTC.