Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-02 22:25:02 crestfallen joins (~john@128.32.176.159)
2021-04-02 22:27:17 <justsomeguy> Heh, you just gave me the idea to write a hang-man style game for type signatures.
2021-04-02 22:28:16 <justsomeguy> ...but I'll probably never actually write it, since I'm lazy (not the good kind) and bad at programming.
2021-04-02 22:28:29 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 246 seconds)
2021-04-02 22:28:33 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 22:28:49 HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2021-04-02 22:30:35 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-04-02 22:30:55 × michalz quits (~user@185.246.204.43) (Remote host closed the connection)
2021-04-02 22:32:17 × Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-04-02 22:34:36 DTZUZU_ joins (~DTZUZO@207.81.119.43)
2021-04-02 22:34:46 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-02 22:36:11 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
2021-04-02 22:39:06 Programmosaurus is now known as vv8
2021-04-02 22:41:55 hexreel joins (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d)
2021-04-02 22:42:59 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 22:43:20 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:543a:a17f:f67d:8caf) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 22:45:34 × DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection)
2021-04-02 22:48:27 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-02 22:48:41 jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182)
2021-04-02 22:53:18 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2021-04-02 22:53:32 conal__ joins (~conal@64.71.133.70)
2021-04-02 22:56:09 <sim590> Is there a pointfree notation equivalent of this: (\ x y -> return $ x + y) ? I struggle to formulate it. For example: (return . (+)).
2021-04-02 22:56:13 <sim590> Doesn't work
2021-04-02 22:57:05 <hololeap> sim590: `liftM2 (+)` or `liftA2 (+)`
2021-04-02 22:57:13 <hololeap> oh, no nvm
2021-04-02 22:58:20 <sim590> @pl (\ x y -> return $ x + y)
2021-04-02 22:58:20 <lambdabot> (return .) . (+)
2021-04-02 22:58:25 <sim590> hmmmm
2021-04-02 22:58:37 <sim590> I just found out about @pl.
2021-04-02 22:59:07 <hololeap> although, methinks you writing things awkwardly if you have a pure function that has a Monad constraint
2021-04-02 22:59:29 ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-04-02 23:01:10 <sim590> hololeap: It's complicated.
2021-04-02 23:01:13 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 23:01:49 <hololeap> honestly (\x y -> return (x+y)) is quite readable and the pointfree version is overly obfuscating
2021-04-02 23:02:05 <dcbdan> how about: curry (return . uncurry (+))
2021-04-02 23:02:24 <sim590> hololeap: yeah. I agree. I was just wondering about what I was doing wrong for making it happen.
2021-04-02 23:02:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-02 23:02:57 nighmi joins (~felix@46.183.103.8)
2021-04-02 23:03:34 <hololeap> the rule of thumb is, don't lift things into a Monad for as long as possible
2021-04-02 23:03:58 <hololeap> it just adds unnecessary constraints to functions that could be used elsewhere
2021-04-02 23:04:09 <sim590> hololeap: If you're curious, I have a project which implements a Left Binary Search Tree: http://ix.io/2URe and all the functions on this data type take a BSPComputer which is a function that takes two nodes and executes inside the ChronicleT monad which takes care of logging for the sake of keeping the code easier to debug when there are wrong behaviour added to the code.
2021-04-02 23:05:06 codygman__ joins (~user@47.186.207.161)
2021-04-02 23:05:43 <sim590> BSPcomputer is the function which computes the parent of two nodes because in this data structure, all internal nodes are computed and not set.
2021-04-02 23:05:58 <ja> i have a Data.Map and i call splitRoot three times to obtain 4 chunks that i operate on with monad-par, but somehow that is slower than doing it in one go
2021-04-02 23:06:26 <ja> the map has 5000 elements and with monad-par it takes 25 sec
2021-04-02 23:06:40 <ja> and without parallelization it takes 5 sec
2021-04-02 23:07:01 <ja> if it takes so long, surely it cant be the overhead of setting up threads that bogs it down
2021-04-02 23:07:26 <ja> the splitRoot should be constant time, so i really don't understand how it can take so much longer...
2021-04-02 23:08:11 <hololeap> ja, what's the operation?
2021-04-02 23:08:53 <ja> the operation is just filtering on ByteStrings inside the members, using ByteString.isInfixOf or the stringsearch package
2021-04-02 23:09:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 23:10:11 <hololeap> well the first question is, did you compile it with --threaded and run it with `+RTS -N4` (or however many cores you have)
2021-04-02 23:10:14 × Tops2 quits (~Tobias@dyndsl-095-033-020-180.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-04-02 23:10:16 <L29Ah> bgamari_: have you tested the hyborg thing on ghc master?
2021-04-02 23:10:39 <ja> hololeap: i just use -N and not the numeral, let me look up if that is right
2021-04-02 23:10:58 <hololeap> yeah that uses the maximum number of cores that GHC detects
2021-04-02 23:11:13 <monochrom> -N without a number automagically uses your # of cores for the number.
2021-04-02 23:11:14 <hololeap> or the runtime, rather
2021-04-02 23:14:38 <hololeap> the overhead is small, and it sounds like the operation is chunky enough to work well with parallelization, so i don't know why it would slow it down so much. maybe it's a GC thing
2021-04-02 23:15:24 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2021-04-02 23:17:15 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
2021-04-02 23:17:23 <hololeap> you could use ekg or other profiling tools to debug it. ultimately you might want to read the book that was mentioned earlier since it explains all the details and shows examples of how to profile your application
2021-04-02 23:18:05 <L29Ah> ja: are you sure your map chunks are evaluated before you give them out to your workers?
2021-04-02 23:18:11 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-02 23:19:36 <ja> L29Ah: i use Data.IntMap.Strict , but i guess that is no guarantee that the map chunks are evaluated hmmm
2021-04-02 23:19:57 <hololeap> that's what deepseq's for
2021-04-02 23:19:57 × srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds)
2021-04-02 23:20:29 × crestfallen quits (~john@128.32.176.159) (Ping timeout: 265 seconds)
2021-04-02 23:20:49 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 23:20:55 <ja> hololeap: all right, i guess i must buy that book , thanks for the tips
2021-04-02 23:21:14 srk joins (~sorki@gateway/tor-sasl/sorki)
2021-04-02 23:21:15 hacxman joins (~hexo@gateway/tor-sasl/hexo)
2021-04-02 23:21:57 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-04-02 23:21:57 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds)
2021-04-02 23:21:57 × shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Read error: Connection reset by peer)
2021-04-02 23:21:58 hacxman is now known as hexo
2021-04-02 23:23:33 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-04-02 23:23:40 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-ewczhxqgteqsbchn) (Quit: Connection closed for inactivity)
2021-04-02 23:23:54 nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 23:24:40 × hexreel quits (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-02 23:25:39 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-02 23:25:57 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-04-02 23:28:04 Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-04-02 23:31:07 alx741 joins (~alx741@181.196.68.6)
2021-04-02 23:33:46 × ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-02 23:33:59 natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-04-02 23:34:48 Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2021-04-02 23:38:06 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-02 23:38:27 codygman__ joins (~user@47.186.207.161)
2021-04-02 23:39:17 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
2021-04-02 23:41:05 jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-04-02 23:43:13 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-02 23:44:43 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-04-02 23:45:08 <bgamari_> L29Ah, not yet
2021-04-02 23:45:10 nbloomf joins (~nbloomf@2600:1700:ad14:3020:543a:a17f:f67d:8caf)
2021-04-02 23:45:15 <bgamari_> L29Ah, was dealing with 9.2 things today
2021-04-02 23:45:29 DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-04-02 23:46:11 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-02 23:47:41 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
2021-04-02 23:48:12 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)

All times are in UTC.