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