Logs: freenode/#haskell
| 2021-03-26 03:59:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-26 03:59:30 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-26 04:00:01 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-03-26 04:00:07 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-03-26 04:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-26 04:00:45 | × | Guest84389 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-03-26 04:01:24 | → | haasn joins (~nand@mpv/developer/haasn) |
| 2021-03-26 04:03:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-26 04:03:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-26 04:04:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) |
| 2021-03-26 04:04:55 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-03-26 04:12:39 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-26 04:12:44 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192) |
| 2021-03-26 04:12:47 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 2021-03-26 04:12:59 | × | electricityZZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 246 seconds) |
| 2021-03-26 04:13:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-03-26 04:13:38 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 2021-03-26 04:14:18 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 2021-03-26 04:17:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-03-26 04:17:22 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192) (Ping timeout: 258 seconds) |
| 2021-03-26 04:18:54 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 2021-03-26 04:20:04 | <sm[m]> | dcbdan: can you profile / log timing information and find out what exactly is slow ? |
| 2021-03-26 04:21:59 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-26 04:24:04 | <dcbdan> | So I just removed drawing to screen for everything except the cursor--So it has to be that the repeated insert/delete into the data structure is slow |
| 2021-03-26 04:24:52 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 2021-03-26 04:24:52 | → | hlisp joins (~hlisp@111.202.167.63) |
| 2021-03-26 04:25:38 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-26 04:25:44 | <dcbdan> | A lot of items in the data structure are being deleted and then inserted. But I don't have a bulk insert or delete |
| 2021-03-26 04:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-26 04:27:25 | <Axman6> | what does profiling say? |
| 2021-03-26 04:27:55 | <Axman6> | it sounds like you're just guessing at the moment, and that's never a good idea with performance |
| 2021-03-26 04:28:43 | <dcbdan> | Hmm, how should you go about profiling? |
| 2021-03-26 04:30:28 | × | stass quits (~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer) |
| 2021-03-26 04:30:46 | hackage | halive 0.1.8 - A live recompiler https://hackage.haskell.org/package/halive-0.1.8 (lukexi) |
| 2021-03-26 04:30:46 | → | stass joins (~stas@2a00:13c0:63:7195::beef) |
| 2021-03-26 04:31:03 | <Axman6> | what tool are you using to build your app? cabal or stack? |
| 2021-03-26 04:32:58 | <dcbdan> | I'm just using ghc atm |
| 2021-03-26 04:33:02 | × | hlisp quits (~hlisp@111.202.167.63) () |
| 2021-03-26 04:33:59 | <Axman6> | compile wiuth ghc -prof -fprof-auto-all, then run ./your-program +RTS --help to find out how to run profiling |
| 2021-03-26 04:34:51 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 2021-03-26 04:34:51 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 2021-03-26 04:34:51 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2021-03-26 04:34:58 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-26 04:35:14 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-26 04:35:44 | <Axman6> | and consult https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html |
| 2021-03-26 04:37:11 | <Axman6> | hmm, I may have made up -fprof-auto-all, it might just be -fprof-auto |
| 2021-03-26 04:37:14 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-26 04:37:38 | <dcbdan> | thanks, I'm taking a look now |
| 2021-03-26 04:37:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-03-26 04:38:08 | × | lateef quits (~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) (Quit: lateef) |
| 2021-03-26 04:41:06 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-26 04:41:46 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 252 seconds) |
| 2021-03-26 04:42:16 | hackage | pantry 0.5.1.5 - Content addressable Haskell package management https://hackage.haskell.org/package/pantry-0.5.1.5 (MichaelSnoyman) |
| 2021-03-26 04:44:59 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 2021-03-26 04:47:51 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-26 04:48:01 | <dcbdan> | this is crazy--ghc can tell you where the program spent all its time _facepalm |
| 2021-03-26 04:48:17 | <sm[m]> | well.. |
| 2021-03-26 04:48:24 | <Axman6> | sort of |
| 2021-03-26 04:48:27 | <sm[m]> | yes, if you can understand it :) |
| 2021-03-26 04:48:27 | <Axman6> | someimtes |
| 2021-03-26 04:48:36 | <Axman6> | sometimes too* |
| 2021-03-26 04:50:21 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 2021-03-26 04:50:27 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds) |
| 2021-03-26 04:50:28 | <Axman6> | it can get very dillicult to follow in big programs safly. I wish it had a better format that was a bit easier to inspect |
| 2021-03-26 04:51:15 | <Axman6> | hmmmmmmmmmm, I have https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html?highlight=profiling#json-profile-format and https://antonz.org/sqlite-is-not-a-toy-database/ open at the moment, maybe I could just use SQLite for querying the json output |
| 2021-03-26 04:52:26 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-26 04:54:02 | <tpefreedom> | Hi. Do you have any haskell book recommendations? |
| 2021-03-26 04:54:06 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-26 04:54:30 | <sclv> | depends. What do you want |
| 2021-03-26 04:54:34 | × | shad0w_ quits (a0ca25a0@160.202.37.160) (Quit: Connection closed) |
| 2021-03-26 04:54:47 | <tpefreedom> | I'm new to haskell. |
| 2021-03-26 04:56:08 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-shbtzypknmvkwgta) (Quit: Connection closed for inactivity) |
| 2021-03-26 04:58:23 | <__minoru__shirae> | tpefreedom: check this post out: https://www.reddit.com/r/haskell/comments/md4btm/good_way_to_learn_haskell/ |
| 2021-03-26 04:59:38 | <Axman6> | I've heard good things about Graham Hutton's Programming in Haskell, I learned with Simon Thompson's Haskell: The Craft of Functional Programming (and a university course, and most of my learning was after that course and book) |
| 2021-03-26 04:59:53 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 2021-03-26 05:00:07 | <Axman6> | https://wiki.haskell.org/Books looks relatively up to date |
| 2021-03-26 05:05:10 | <tapas> | this is the more up to date one https://haskellbook.com/ |
| 2021-03-26 05:05:15 | <tapas> | but hutton's book is good too |
| 2021-03-26 05:05:33 | <curiousgay> | I need recommendation for FRP GUI library, there are several such libraries and I'm unsure which one to use |
| 2021-03-26 05:05:52 | <dcbdan> | my program spends 20% of time in a size function: Box l r u d | l < r && u < d = (r-l)*(d-u) and 0 otherwise |
| 2021-03-26 05:06:07 | <dcbdan> | according to profiling.. does that sound right? |
| 2021-03-26 05:07:48 | × | Guest33172 quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 252 seconds) |
| 2021-03-26 05:08:22 | <Axman6> | well, that depends a lot on your program, maybe? |
| 2021-03-26 05:08:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-26 05:10:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 2021-03-26 05:11:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-26 05:12:53 | × | Tops2 quits (~Tobias@dyndsl-091-249-083-058.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 2021-03-26 05:13:31 | <dcbdan> | judging from the profiling, all the time is spent finding neighbors of boxes on the screen--which calls the size function. so yeah, makes sense |
| 2021-03-26 05:13:44 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-26 05:14:52 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 2021-03-26 05:14:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-26 05:15:48 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-26 05:16:40 | <jle`> | anyone have time to help me figure out why Coercible isn't being derived properly in this case? |
| 2021-03-26 05:16:42 | <jle`> | https://gist.github.com/mstksg/f0568e8476b4e6075ab1d06376d0d930 |
| 2021-03-26 05:17:08 | <jle`> | i've tracked it down to the Coercible having troubles with seeing "functors" being coercible in data vs. newtype |
| 2021-03-26 05:19:03 | <jle`> | in this case it sees `F X a` and `G Y a` as being coercible data ('a' phantom), but it can't match `F X` and `G Y` if they appear as type parameters |
| 2021-03-26 05:19:14 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-26 05:19:17 | <jle`> | but only for 'data' wrappers. 'newtype' wrappers are fine |
| 2021-03-26 05:19:28 | → | Ngoc joins (2a76264b@42.118.38.75) |
| 2021-03-26 05:19:46 | × | Ngoc quits (2a76264b@42.118.38.75) (Client Quit) |
All times are in UTC.