Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-05-03 11:57:26 drbean_ joins (~drbean@TC210-63-209-57.static.apol.com.tw)
2021-05-03 12:03:03 × cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
2021-05-03 12:03:28 oish joins (~charlie@228.25.169.217.in-addr.arpa)
2021-05-03 12:04:30 rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr)
2021-05-03 12:04:55 <olligobber> hmm, it didn't work
2021-05-03 12:06:21 × mmfood_2 quits (~mmfood@185.176.246.118) (Ping timeout: 260 seconds)
2021-05-03 12:07:13 <olligobber> ah, I need to use type applications so it knows what I'm unioning
2021-05-03 12:11:57 cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-03 12:12:35 v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-03 12:14:00 todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-03 12:14:42 ubert joins (~Thunderbi@188-23-70-233.adsl.highway.telekom.at)
2021-05-03 12:14:48 malumore_ joins (~malumore@151.62.114.209)
2021-05-03 12:15:24 × malumore_ quits (~malumore@151.62.114.209) (Remote host closed the connection)
2021-05-03 12:17:06 × malumore quits (~malumore@151.62.114.209) (Ping timeout: 240 seconds)
2021-05-03 12:19:17 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 268 seconds)
2021-05-03 12:19:22 viluon joins (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf)
2021-05-03 12:20:22 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds)
2021-05-03 12:20:31 <viluon> hi, is there a tool which would expose demand signatures in a more user-friendly way than looking for them in Core output?
2021-05-03 12:21:16 × plutoniix quits (~q@ppp-58-8-176-218.revip2.asianet.co.th) (Quit: Leaving)
2021-05-03 12:21:53 Tops2 joins (~Tobias@dyndsl-095-033-022-213.ewe-ip-backbone.de)
2021-05-03 12:22:13 <viluon> it'd probably be best to show them with HLS (on hover), if there's a clear mapping from Core back to the surface syntax. I don't expect a tool like that to exist, but I'm asking just in case
2021-05-03 12:23:41 nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 12:27:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-05-03 12:28:50 × juliagoda quits (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving)
2021-05-03 12:28:56 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-03 12:29:09 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-03 12:30:50 × kwannoel quits (~Android@2401:7400:6004:e597:1:1:9b0:49b2) (Quit: -a- Connection Timed Out)
2021-05-03 12:31:04 kwannoel joins (~Android@bb42-60-209-246.singnet.com.sg)
2021-05-03 12:31:42 × kwannoel quits (~Android@bb42-60-209-246.singnet.com.sg) (Client Quit)
2021-05-03 12:33:12 × cur8or quits (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 240 seconds)
2021-05-03 12:33:55 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-03 12:35:44 cur8or joins (~cur8or@72canterbury.cybersmart.co.za)
2021-05-03 12:36:49 magbo joins (~sweater@206.81.18.26)
2021-05-03 12:38:06 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-03 12:43:09 nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-03 12:48:16 × olligobber quits (~olligobbe@unaffiliated/olligobber) (Read error: Connection reset by peer)
2021-05-03 12:48:33 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-03 12:50:44 stree joins (~stree@68.36.8.116)
2021-05-03 12:51:45 hackage splitmix-distributions 0.6.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.6.0.0 (ocramz)
2021-05-03 12:53:14 hackage irc-client 1.1.2.1 - An IRC client library. https://hackage.haskell.org/package/irc-client-1.1.2.1 (barrucadu)
2021-05-03 12:56:55 horatiohb joins (~horatiohb@167.99.50.138)
2021-05-03 12:57:36 × anandprabhu quits (~anandprab@94.202.236.255) (Quit: Konversation terminated!)
2021-05-03 13:00:22 nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-03 13:03:15 hackage hspec-golden 0.2.0.0 - Golden tests for hspec https://hackage.haskell.org/package/hspec-golden-0.2.0.0 (stackbuilders)
2021-05-03 13:04:50 epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-03 13:05:25 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds)
2021-05-03 13:05:42 hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-05-03 13:07:01 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-03 13:07:42 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-05-03 13:09:45 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-03 13:10:46 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-03 13:12:15 hackage splitmix-distributions 0.7.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.7.0.0 (ocramz)
2021-05-03 13:12:40 dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc)
2021-05-03 13:13:14 frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-03 13:13:50 oxide joins (~lambda@unaffiliated/mclaren)
2021-05-03 13:15:26 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-03 13:17:23 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 13:20:12 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-03 13:20:58 × cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed)
2021-05-03 13:21:11 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds)
2021-05-03 13:22:12 × codedmart quits (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-03 13:22:31 codedmart joins (~codedmart@li335-49.members.linode.com)
2021-05-03 13:24:58 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-03 13:27:27 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 13:27:42 zariuq joins (~zar@fw1.ciirc.cvut.cz)
2021-05-03 13:32:22 nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39)
2021-05-03 13:32:51 carlomagno joins (~cararell@148.87.23.5)
2021-05-03 13:32:55 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit)
2021-05-03 13:34:52 LKoen joins (~LKoen@213.166.9.109.rev.sfr.net)
2021-05-03 13:35:16 timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-05-03 13:36:23 <timCF> Hello! Does anybody know how to pass type information to dispatch instance implementation without passing values? Usually people are using `Proxy` type. It works, sure. But look of it is not the best. Does anybody know better alternatives?
2021-05-03 13:37:52 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 13:37:56 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 246 seconds)
2021-05-03 13:40:12 nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-03 13:41:14 × z0k quits (~user@115.186.169.61) (Quit: WeeChat 3.0)
2021-05-03 13:44:47 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds)
2021-05-03 13:45:25 oxide joins (~lambda@unaffiliated/mclaren)
2021-05-03 13:46:39 × drbean_ quits (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-03 13:46:59 × brownxoat quits (uid497520@gateway/web/irccloud.com/x-gnvcoowjhkmblozz) (Quit: Connection closed for inactivity)
2021-05-03 13:47:27 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 13:48:50 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-05-03 13:49:19 × xensky quits (~xensky@xengarden.xen.prgmr.com) (Quit: i quit)
2021-05-03 13:49:26 xensky joins (~xensky@xengarden.xen.prgmr.com)
2021-05-03 13:49:42 aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-05-03 13:50:19 jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-03 13:50:31 <merijn> timCF: There's *worse* alternatives, but not better ones
2021-05-03 13:52:01 <merijn> I mean, the best alternative would be "don't dispatch on types that aren't in the interface", but when you have to do that (P|p)roxy is the most robust way
2021-05-03 13:52:09 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-03 13:52:41 st8less joins (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738)
2021-05-03 13:52:45 × int-e quits (~noone@int-e.eu) (Ping timeout: 265 seconds)
2021-05-03 13:52:46 <merijn> There are heathens that advocate for -XTypeApplications, but that is a *great* way to make your API brittle and requiring very defensive upperbounds
2021-05-03 13:52:52 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 276 seconds)
2021-05-03 13:52:52 aplainze1akind is now known as aplainzetakind
2021-05-03 13:53:14 hackage pandoc-plot 1.2.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-1.2.0 (LaurentRDC)
2021-05-03 13:53:58 <timCF> merijn: thanks!
2021-05-03 13:54:09 int-e joins (~noone@int-e.eu)
2021-05-03 13:54:41 cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-03 13:56:52 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 13:57:06 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-05-03 13:57:12 <merijn> timCF: The problem with TypeApplications is that it makes your code rely on the order that type variables are "forall"-ed into types, and if that changes, the code breaks. But 99% of the code of hackage doesn't consider that part of the public API, so anyone refactoring to add an explicit forall (for ScopedTypeVariables, for example) will break your code

All times are in UTC.