Logs: freenode/#haskell
| 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.