Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-24 15:46:54 <dminuoso> Feel free to open an issue on ghc gitlab about this
2020-11-24 15:46:58 × adm_ quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-24 15:47:27 reallymemorable joins (~quassel@2601:180:8300:8fd0:4ce1:c8ee:d3b9:46c5)
2020-11-24 15:47:43 <dminuoso> The idea is certainly not unreasonable, especially given how frequently we get people thinking that instance context is taken into consideration for instance selection, just to trip into GHC diagnostics or surprising bugs.
2020-11-24 15:48:15 <arianvp> :+1:
2020-11-24 15:48:21 <arianvp> i'll try to not forget to open a ticket :)
2020-11-24 15:48:47 adm_ joins (~adm@43.229.88.197)
2020-11-24 15:50:11 <Uniaika> lambdabot needs a !remindme
2020-11-24 15:51:16 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-11-24 15:51:56 phaul joins (~phaul@ruby/staff/phaul)
2020-11-24 15:53:51 jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-24 15:53:56 × adm_ quits (~adm@43.229.88.197) (Ping timeout: 240 seconds)
2020-11-24 15:57:00 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-24 15:57:03 × caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Quit: leaving)
2020-11-24 15:57:21 caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-24 15:57:22 × caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-24 15:57:43 caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-24 15:57:47 × caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-24 15:58:12 caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-24 15:58:46 × caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-24 15:59:01 caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-24 15:59:45 adm_ joins (~adm@43.229.88.197)
2020-11-24 16:00:17 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-24 16:00:18 × elpfen[m] quits (elpfenmatr@gateway/shell/matrix.org/x-aisvdtstqpsxnxki) (Quit: Idle for 30+ days)
2020-11-24 16:00:32 Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-24 16:00:59 Aquazi joins (uid312403@gateway/web/irccloud.com/x-wbgzurqeqqwdxxpf)
2020-11-24 16:02:00 hackage cli-git 0.1.0.1 - Bindings to the git command-line interface https://hackage.haskell.org/package/cli-git-0.1.0.1 (abrar)
2020-11-24 16:02:17 adm__ joins (~adm@43.229.88.197)
2020-11-24 16:04:25 × adm_ quits (~adm@43.229.88.197) (Ping timeout: 264 seconds)
2020-11-24 16:04:44 × n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-24 16:05:18 × ggVGc quits (~ggVGc@a.lowtech.earth) (Changing host)
2020-11-24 16:05:18 ggVGc joins (~ggVGc@unaffiliated/walt)
2020-11-24 16:06:12 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Ping timeout: 260 seconds)
2020-11-24 16:06:30 hackage cli-nix 0.1.0.1 - Bindings to the nix command-line interface https://hackage.haskell.org/package/cli-nix-0.1.0.1 (abrar)
2020-11-24 16:07:31 <Taneb> Is there a way to make GHC start profiling a program at a certain point? I've got a program with an expensive one-time setup followed by a loop that I want to opimize the hell out of
2020-11-24 16:07:32 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-24 16:07:41 <merijn> Taneb: Yes!
2020-11-24 16:08:11 <merijn> Taneb: https://hackage.haskell.org/package/base-4.14.0.0/docs/GHC-Profiling.html#v:startProfTimer
2020-11-24 16:08:30 <Taneb> Oooh, nice
2020-11-24 16:08:55 <merijn> Taneb: Consider also: https://hackage.haskell.org/package/base-4.14.0.0/docs/GHC-Exts.html#v:traceMarker-35-
2020-11-24 16:09:31 <merijn> If you hack up mpickering's hs-speedscope to be trace marker aware (if it isn't yet?) then you can use that with speedscope
2020-11-24 16:10:30 jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-24 16:11:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-24 16:12:06 <mpickering> merijn: You can isolate a profile between two markers with the 0.2 release
2020-11-24 16:12:59 alp joins (~alp@2a01:e0a:58b:4920:a049:ea35:decd:ef01)
2020-11-24 16:13:22 Guest_63 joins (c010ccda@pulibgw-r3.net.ias.edu)
2020-11-24 16:13:55 nuncanada joins (~dude@179.235.160.168)
2020-11-24 16:14:03 × adm__ quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-24 16:15:17 acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-24 16:16:28 <merijn> Taneb: Well, there you go ;)
2020-11-24 16:19:11 × bulters quits (~jeroen@82-161-48-217.ip.xs4all.nl) (Quit: DRIVING HOME FOR ... DINNER)
2020-11-24 16:20:41 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-24 16:21:39 × devalot quits (~ident@mail.pmade.com) (Quit: ZNC - http://znc.in)
2020-11-24 16:22:16 Raman joins (~user@c-24-4-174-65.hsd1.ca.comcast.net)
2020-11-24 16:23:13 <Raman> question from a haskell newbee --- how do experienced haskell programmers pronounce the "=>" as it appears in type declarations?
2020-11-24 16:26:31 <monochrom> I don't pronounce it at all.
2020-11-24 16:27:03 <Raman> :-) asking because I would like to teach Emacs to speak haskell to me (https://github.com/tvraman/emacspeak)
2020-11-24 16:27:18 <xerox_> an extra long pause before reading the rest of the type
2020-11-24 16:27:56 <Raman> a long line like => (a->b->c) ->...can sound pretty mysterious when spoken by TTS;-) haskell mode helps some with emacspeak given font-lock which I map to voice changes.
2020-11-24 16:28:41 <Raman> pause sounds interesting, for now I have it saying "is type of" which likely is good for a beginner but will get long soon enough
2020-11-24 16:29:27 <monochrom> => is ASCII art for ⇒, do you have a favourite name for that?
2020-11-24 16:29:33 <Raman> if I get far enough along with Haskell, I'm hoping to write a simple audio-formatter in haskell fo rhaskell, will come asking for pointers if I make it that far
2020-11-24 16:29:59 <Raman> I could say double-arrow I suppose -- already saying "arrow" for ->
2020-11-24 16:30:24 <monochrom> That's a good solution.
2020-11-24 16:30:26 × texasmynsted quits (~texasmyns@212.102.44.39) ()
2020-11-24 16:30:27 ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-24 16:30:48 <merijn> Raman: constraint or implication wouldn't be quite accurate, could be reasonable
2020-11-24 16:30:57 <[exa]> Raman: I'd read that as 'implies' but it's more like a reverse prolog :- which I have no idea how to read
2020-11-24 16:31:14 <Raman> will try various of these out over the next few weeks as I continue to learn. I assume that when the time comes there are haskell lib that can parse haskell code to give me back some type of AST?
2020-11-24 16:31:25 <merijn> I mean, in terms of speaking "constrains" might be useful
2020-11-24 16:31:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-24 16:31:52 <merijn> Like "Ord a constrains a -> a -> Bool" for "Ord a => a -> a -> Bool" seems decent
2020-11-24 16:32:04 <[exa]> yeah 'implies' sounds curry-howardish in this context
2020-11-24 16:32:04 bulters joins (uid408399@gateway/web/irccloud.com/x-wpbfictwjpuyhkie)
2020-11-24 16:32:06 <Raman> :-) gets spoken as smiley by emacspeak -- I remember finding some page on the web 15 years ago approx that listed ascii combinations for popular emoji
2020-11-24 16:32:27 <merijn> Raman: I mean, technically GHC itself is a library that can give you an AST :p
2020-11-24 16:33:53 knupfer joins (~Thunderbi@200116b824be8100a422e3fffe4755e7.dip.versatel-1u1.de)
2020-11-24 16:33:55 × knupfer quits (~Thunderbi@200116b824be8100a422e3fffe4755e7.dip.versatel-1u1.de) (Client Quit)
2020-11-24 16:33:56 <Raman> that's good to know -- asume for now that I know nothing (which is pretty much true re haskell) working through the realworld haskell book, have it open in emacs, along with a bunch of haskell-mode buffers and an inferior-haskell buffer. Also have lambdabot running in a separate emacs buffer after I embarrassed myself here yesterday and had it say rude things in response:-)
2020-11-24 16:34:06 knupfer joins (~Thunderbi@i59F7FF7E.versanet.de)
2020-11-24 16:34:24 <Raman> AFK, back in a few. I'll see responses when I come back
2020-11-24 16:34:25 × ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 240 seconds)
2020-11-24 16:35:31 <[exa]> woah, lambdabot action I missed? /me opens logs
2020-11-24 16:35:51 ski joins (~ski@nc-2504-30.studat.chalmers.se)
2020-11-24 16:37:24 sondr3 joins (~sondr3@cm-84.211.56.132.getinternet.no)
2020-11-24 16:37:26 vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-24 16:37:27 woodpecker-with- joins (3e0497aa@62.4.151.170)
2020-11-24 16:37:39 <woodpecker-with-> How's the performance of the AD library?
2020-11-24 16:37:53 <woodpecker-with-> Any benchmarks?
2020-11-24 16:40:55 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-11-24 16:42:38 × borne quits (~fritjof@200116b864eb5c00394a967dc8ef4e61.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-24 16:42:38 × Tops2 quits (~Tobias@dyndsl-095-033-095-017.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-24 16:43:36 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds)
2020-11-24 16:46:37 × sheb quits (~Thunderbi@77.244.36.161) (Remote host closed the connection)
2020-11-24 16:46:37 <Iceland_jack> hi Uniaika
2020-11-24 16:46:38 <davean> woodpecker-with-: its good.
2020-11-24 16:46:46 <Iceland_jack> making soup
2020-11-24 16:47:14 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Ping timeout: 256 seconds)
2020-11-24 16:47:25 <davean> woodpecker-with-: if its optimized for what you want or not is another question.
2020-11-24 16:48:00 hackage reflex-external-ref 1.0.3.0 - External reference with reactivity support https://hackage.haskell.org/package/reflex-external-ref-1.0.3.0 (NCrashed)

All times are in UTC.