Logs: freenode/#haskell
| 2021-04-23 12:14:18 | × | __minoru__shirae quits (~shiraeesh@46.34.206.15) (Remote host closed the connection) |
| 2021-04-23 12:15:05 | <merijn> | invaser: I explicitly list or do qualified imports everywhere (well, sometimes I have a "1 package" exception, like my CLI module importing all of optarse implicitly, but never more than 1 package per module) |
| 2021-04-23 12:15:30 | <merijn> | Experience has taught me, that, when you touch that code 2.5 years later, explicit/qualified everything is amazing |
| 2021-04-23 12:15:40 | → | drbean_ joins (~drbean@TC210-63-209-37.static.apol.com.tw) |
| 2021-04-23 12:15:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 12:17:19 | <invaser> | merijn: Yeah, importing explicitly definitely does make sense. |
| 2021-04-23 12:18:16 | <invaser> | Also language server makes it very easy with suggestions |
| 2021-04-23 12:18:48 | <merijn> | I tend to have open imports when I start writing a module, but as it becomes more finished I start closing them up |
| 2021-04-23 12:20:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 12:22:10 | → | Kaivo joins (~Kaivo@172-97-54-87.mc.derytele.com) |
| 2021-04-23 12:22:27 | <jackdk> | merijn: I like this, though I make similar exceptions for testing libraries and Control.Lens.Operators |
| 2021-04-23 12:23:07 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-04-23 12:25:03 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-23 12:25:30 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-23 12:26:21 | → | idhugo_ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) |
| 2021-04-23 12:27:25 | → | Carl34 joins (ce2860bd@189.206-40-96.netnet.net) |
| 2021-04-23 12:28:03 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ae0c:73f9:9b3c:8229) (Ping timeout: 248 seconds) |
| 2021-04-23 12:28:27 | <dibblego> | I do this (I am doing this RN) |
| 2021-04-23 12:28:38 | <Carl34> | Quick question. Is distributed-process (cloud haskell) a dead end (is anyone developing in it)? If not, what is the alternative? |
| 2021-04-23 12:28:40 | × | idhugo quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-23 12:29:25 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:991a:2b9b:41:3744) |
| 2021-04-23 12:30:43 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-23 12:31:07 | <maerwald> | erlang |
| 2021-04-23 12:31:19 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-23 12:33:10 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-23 12:33:41 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:991a:2b9b:41:3744) (Ping timeout: 245 seconds) |
| 2021-04-23 12:34:54 | <maerwald> | explicit imports is only interesting if your IDE can't show the origin of an identifier |
| 2021-04-23 12:37:32 | × | Merfont quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-23 12:37:51 | → | Merfont joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 12:41:00 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:2722:6cc:f3d:a92d) |
| 2021-04-23 12:41:02 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.15) (Remote host closed the connection) |
| 2021-04-23 12:41:32 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-23 12:41:34 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.15) |
| 2021-04-23 12:41:36 | <juri_> | it's also good dicipline to ensure you do not pull in the wrong version of the wrong function with that oh-so-common-name from the wrong library. |
| 2021-04-23 12:41:49 | <Carl34> | Nice, how about a haskell alternative? |
| 2021-04-23 12:41:49 | <merijn> | maerwald: Like when I check something out in the source of a dependency on github |
| 2021-04-23 12:41:59 | <merijn> | maerwald: Or click on the Hackage source link of a package |
| 2021-04-23 12:42:06 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-23 12:42:29 | <merijn> | I read lots of Haskell code outside my editor that way |
| 2021-04-23 12:43:01 | <maerwald> | github could provide IDE like info easily |
| 2021-04-23 12:43:16 | <maerwald> | https://github.com/alexwl/haskell-code-explorer |
| 2021-04-23 12:43:30 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-23 12:44:01 | <maerwald> | hackage also provides such info partly |
| 2021-04-23 12:44:21 | <maerwald> | but I think just the type, not the origin |
| 2021-04-23 12:46:42 | × | Carl34 quits (ce2860bd@189.206-40-96.netnet.net) (Ping timeout: 240 seconds) |
| 2021-04-23 12:50:44 | <Mrbuck> | merijn: what is your editor I am just curious what editors haskell profesionals use |
| 2021-04-23 12:51:11 | <merijn> | vim |
| 2021-04-23 12:51:16 | → | codygman` joins (~user@209.251.131.98) |
| 2021-04-23 12:51:20 | <merijn> | But then, my editor is vim for everything |
| 2021-04-23 12:51:30 | <merijn> | python, C, C++, Fortran, ruby |
| 2021-04-23 12:51:40 | <Mrbuck> | merijn: ok |
| 2021-04-23 12:52:00 | <absence> | how can i get rid of the proxy argument in test3? https://pastebin.com/9jcWaeDX if i just remove it, ghc complains that it can't deduce SomeClass e0 from the context SomeClass e, so i guess i need something extra in the type signature? or isn't TypeApplications a full replacement for proxy? |
| 2021-04-23 12:52:32 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 240 seconds) |
| 2021-04-23 12:53:50 | × | idhugo_ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-23 12:55:14 | <gnumonic> | quantify the e in the first test? |
| 2021-04-23 12:56:23 | <gnumonic> | er nevermind. that doesn't work. thought it would |
| 2021-04-23 12:58:15 | <absence> | yes, the implicit forall should be enough if i understand correctly |
| 2021-04-23 12:58:19 | × | unyu quits (~pyon@unaffiliated/pyon) (Read error: Connection reset by peer) |
| 2021-04-23 12:59:15 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-04-23 12:59:17 | <absence> | since it works with the proxy argument, i would expect that test and test2 can remain unchanged |
| 2021-04-23 13:02:19 | <carbolymer> | what +RTS -T -s switches do? I can't find them in GHC users' guide |
| 2021-04-23 13:05:01 | <geekosaur> | -T Collect GC statistics (useful for in-program statistics access) |
| 2021-04-23 13:05:01 | <geekosaur> | -s[<file>] Summary GC statistics (if <file> omitted, uses stderr) |
| 2021-04-23 13:05:12 | <geekosaur> | (from +RTS --help) |
| 2021-04-23 13:05:16 | <carbolymer> | thx |
| 2021-04-23 13:05:39 | → | miguel1 joins (~miguel@host-82-135-31-200.customer.m-online.net) |
| 2021-04-23 13:05:54 | <merijn> | carbolymer: Eh, seems to me they are in the users' guide? |
| 2021-04-23 13:06:04 | <merijn> | carbolymer: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/runtime_control.html#rts-options-to-produce-runtime-statistics |
| 2021-04-23 13:06:25 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-23 13:06:28 | <carbolymer> | merijn: ooh, I was looking at chapter 8... |
| 2021-04-23 13:06:45 | <merijn> | carbolymer: -s doesn't require profiling build :) |
| 2021-04-23 13:06:54 | <carbolymer> | I see that now |
| 2021-04-23 13:07:35 | → | plutoniix joins (~q@node-unm.pool-125-24.dynamic.totinternet.net) |
| 2021-04-23 13:07:45 | <merijn> | oh, obligatory profiling/performance questions: "are you using threaded RTS? If yes, did you remember to turn of parallel GC?" ;) |
| 2021-04-23 13:07:50 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 2021-04-23 13:08:07 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-23 13:08:13 | × | miguel1 quits (~miguel@host-82-135-31-200.customer.m-online.net) (Client Quit) |
| 2021-04-23 13:08:40 | <merijn> | carbolymer: btw, I think "+RTS -h" actually prints commandline help for rtsopts |
| 2021-04-23 13:09:57 | <carbolymer> | merijn: thanks, will start there next time :) also, what about parallel gc? what's wrong with it? |
| 2021-04-23 13:10:23 | → | chomwitt joins (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) |
| 2021-04-23 13:11:42 | <absence> | gnumonic: oh, needs AllowAmbiguousTypes |
| 2021-04-23 13:12:51 | <geekosaur> | threads need to synchronize during GC, this is only a win for some use cases |
| 2021-04-23 13:13:56 | → | carlomagno joins (~cararell@148.87.23.9) |
| 2021-04-23 13:14:39 | <carbolymer> | geekosaur: well ok, but I don't see a relation to the parallel GC here |
| 2021-04-23 13:14:53 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-23 13:16:10 | <geekosaur> | with normal gc every thread is stopped during gc, with parallel every thread waits until all of them have reached a syncpoint/done an allocation |
| 2021-04-23 13:16:11 | <gnumonic> | absence: oh that makes sense. without any term level argument it thinks it can't possibly infer the type or something |
| 2021-04-23 13:16:27 | <geekosaur> | as I understand it |
| 2021-04-23 13:17:00 | <geekosaur> | so your program spends more time stopped waiting on some other thread to become GCable with parallel GC |
| 2021-04-23 13:17:13 | <gnumonic> | now i'm wondering if there is a case where you can't get by with TypeApplications and need an explicit proxy |
| 2021-04-23 13:17:35 | × | tabemann quits (~travisb@2600:1700:7990:24e0:1797:6b66:735:4572) (Remote host closed the connection) |
| 2021-04-23 13:17:56 | <merijn> | carbolymer: parallel GC is a net bad thing on most programs |
| 2021-04-23 13:17:57 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-23 13:18:12 | <merijn> | carbolymer: Like "I got 80% speedup disabling it on some code"-bad :) |
| 2021-04-23 13:18:49 | <merijn> | carbolymer: I think in 9.2 they disable it by default, but atm the default for threaded runtime is parallel GC enabled, despite it being bad on most programs |
| 2021-04-23 13:18:52 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 13:19:42 | → | zmijunkie joins (~Adium@109.90.32.89) |
| 2021-04-23 13:20:55 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 2021-04-23 13:20:59 | <carbolymer> | geekosaur: merijn: interesting, thanks! is there a place where can I read more about GHC's garbage collectors? |
| 2021-04-23 13:21:36 | <merijn> | ooh, that's a tricky question |
All times are in UTC.