Logs: freenode/#haskell
| 2021-03-07 15:04:37 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-03-07 15:05:11 | <ADG1089__> | i want to check if cabal build is inlining a function or not, how can i do so? |
| 2021-03-07 15:05:52 | <ADG1089__> | performing a deterministic dfs on a reversed list is 50-60x faster for me |
| 2021-03-07 15:06:42 | <ADG1089__> | I guess reversing is resulting in less thunks created / less recursion depth initially |
| 2021-03-07 15:10:38 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 15:11:09 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 15:11:23 | × | rond_ quits (594020c5@89-64-32-197.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2021-03-07 15:12:01 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 15:12:42 | × | Guest78 quits (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Ping timeout: 260 seconds) |
| 2021-03-07 15:13:09 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-03-07 15:14:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 15:15:55 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-07 15:16:38 | → | CodeAlways joins (uid272474@gateway/web/irccloud.com/x-vhqlkrddncgghkcs) |
| 2021-03-07 15:17:40 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-07 15:25:21 | × | DrowsySaturn quits (~DrowsySat@71.71.194.219) (Quit: Leaving) |
| 2021-03-07 15:25:58 | × | ubert1 quits (~Thunderbi@p200300ecdf25d91ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-07 15:28:43 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-07 15:31:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 15:31:39 | → | alx741 joins (~alx741@186.178.108.142) |
| 2021-03-07 15:33:52 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-07 15:34:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-07 15:36:02 | × | kenran quits (~johannes@i59F67BC5.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-07 15:36:28 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 260 seconds) |
| 2021-03-07 15:40:08 | × | gitgood quits (~gitgood@82-132-217-191.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-07 15:41:57 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-07 15:43:00 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 15:46:31 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-07 15:47:09 | → | johannes_ joins (~johannes@i59F67BC5.versanet.de) |
| 2021-03-07 15:47:09 | johannes_ | is now known as kenran |
| 2021-03-07 15:50:50 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-07 15:54:00 | × | jneira quits (5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) (Quit: Ping timeout (120 seconds)) |
| 2021-03-07 15:54:33 | → | plutoniix joins (~q@node-ufr.pool-125-24.dynamic.totinternet.net) |
| 2021-03-07 15:55:08 | × | xintron quits (~xintron@unaffiliated/xintron) (Quit: aoeu) |
| 2021-03-07 15:55:29 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 15:55:43 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9567190c92979cea572a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-07 15:56:05 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Ping timeout: 256 seconds) |
| 2021-03-07 15:56:29 | × | bigbosskor quits (~Android@223.204.217.185) (Read error: Connection reset by peer) |
| 2021-03-07 15:56:36 | × | jess quits (jess@freenode/staff/jess) (Quit: brb) |
| 2021-03-07 15:56:55 | → | xintron joins (~xintron@unaffiliated/xintron) |
| 2021-03-07 15:57:14 | → | average joins (uid473595@gateway/web/irccloud.com/x-fdaougdbywaskcjc) |
| 2021-03-07 15:57:35 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-07 15:58:47 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-07 16:00:05 | → | j joins (jess@freenode/staff/jess) |
| 2021-03-07 16:06:16 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-07 16:06:41 | × | ADG1089__ quits (~aditya@122.163.167.99) (Quit: Konversation terminated!) |
| 2021-03-07 16:07:28 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 16:07:59 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 245 seconds) |
| 2021-03-07 16:08:50 | → | bigboss5 joins (~Android@mx-ll-223.204.217-185.dynamic.3bb.co.th) |
| 2021-03-07 16:09:03 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
| 2021-03-07 16:09:12 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-07 16:10:05 | × | xintron quits (~xintron@unaffiliated/xintron) (Quit: aoeu) |
| 2021-03-07 16:10:35 | × | bigboss5 quits (~Android@mx-ll-223.204.217-185.dynamic.3bb.co.th) (Read error: Connection reset by peer) |
| 2021-03-07 16:10:38 | → | xintron joins (~xintron@unaffiliated/xintron) |
| 2021-03-07 16:11:57 | × | bigbosskor quits (~Android@223.204.217.185) (Ping timeout: 264 seconds) |
| 2021-03-07 16:13:11 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 16:13:30 | × | locrian9 quits (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-03-07 16:16:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-07 16:16:30 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-07 16:16:42 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 2021-03-07 16:17:08 | → | ADG1089__ joins (~aditya@122.163.167.99) |
| 2021-03-07 16:17:12 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-07 16:17:18 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) (Ping timeout: 260 seconds) |
| 2021-03-07 16:17:32 | <ADG1089__> | @pl \sm x -> sm + go xss (x * prod) |
| 2021-03-07 16:17:33 | <lambdabot> | (. (go xss . (prod *))) . (+) |
| 2021-03-07 16:17:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-07 16:18:06 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 16:20:13 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-07 16:20:38 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-03-07 16:21:22 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-07 16:22:09 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 2021-03-07 16:22:35 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-07 16:22:40 | → | Bergle_2 joins (~Bergle_4@101.165.90.119) |
| 2021-03-07 16:23:10 | × | Bergle_1 quits (~Bergle_4@101.165.90.119) (Ping timeout: 260 seconds) |
| 2021-03-07 16:23:31 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 276 seconds) |
| 2021-03-07 16:24:26 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-07 16:28:00 | × | kenran quits (~johannes@i59F67BC5.versanet.de) (Quit: leaving) |
| 2021-03-07 16:29:18 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 16:30:40 | × | plutoniix quits (~q@node-ufr.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-07 16:30:57 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) |
| 2021-03-07 16:31:20 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-07 16:32:40 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds) |
| 2021-03-07 16:39:14 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-07 16:40:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 16:41:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 16:41:41 | <ADG1089__> | Hi guys, I am trying to improve the performance of a program, do you see anything wrong or should I use a better algorithm: https://paste.tomsmeding.com/PW7jUT10 I already did time profiling and almost 100% time was spent in go function and heap profiling and it uses constant memory after using bang patterns and foldl' Also ~90% was productive time while checking for GC. I have seen multiple implementations of the same algorithm in python in 6-8sec for |
| 2021-03-07 16:41:42 | <ADG1089__> | 10^18 but mine take 4-5 sec just for 10^12 |
| 2021-03-07 16:42:56 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-07 16:43:22 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-07 16:44:21 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds) |
| 2021-03-07 16:45:03 | × | fendor quits (~fendor@77.119.129.125.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-07 16:45:48 | <mikoto-chan> | Any good explanation on ADTs? I want to make a function that returns the data constructor of a variable but I only found `typeOf` in `Data.Typeable` that returns the type constructor |
| 2021-03-07 16:45:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-07 16:46:02 | × | kini quits (~kini@unaffiliated/kini) (Quit: bye) |
| 2021-03-07 16:48:32 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-yydugvioyzrsvmqc) |
| 2021-03-07 16:48:46 | <geekosaur> | you can do it with Data.Data but I'd question why. also be aware that you can't handle something like Maybe that way since the data constructors have different types |
| 2021-03-07 16:49:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-07 16:50:08 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-07 16:50:12 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-07 16:51:04 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:e5b6:4037:8443:cad1) |
| 2021-03-07 16:51:17 | <mikoto-chan> | geekosaur: I can add `deriving (Show)` and try with >>= |
All times are in UTC.