Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 350 351 352 353 354 355 356 357 358 359 360 .. 17992
— 1,799,181 events total
2021-06-08 23:56:01 <jaevanko> But if I define (+) in terms of that lift', would it have to pass in the typeclass dictionary, or could it optimize it to just dispatch on Value's tag?
2021-06-08 23:56:34 <geekosaur> I also suspect that doesn't quite do what you'd hoped, specifically because there's no way for it to relate the typeclass to the tag
2021-06-08 23:57:35 <jaevanko> How do you mean?
2021-06-08 23:58:02 <geekosaur> \hm, no, I misunderstood what you were doing there. I can't answer your question, either
2021-06-08 23:58:34 <jaevanko> Guess I'll just try it and squint at some Core
2021-06-09 00:00:00 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Remote host closed the connection)
2021-06-09 00:00:33 × derelict quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-06-09 00:02:02 sm_ is now known as sm
2021-06-09 00:02:46 → ddellacosta joins (~ddellacos@86.106.121.116)
2021-06-09 00:07:10 × ddellacosta quits (~ddellacos@86.106.121.116) (Ping timeout: 250 seconds)
2021-06-09 00:07:53 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0)
2021-06-09 00:09:10 × marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds)
2021-06-09 00:09:38 → marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-06-09 00:10:36 → hmmmas joins (~chenqisu1@183.217.201.236)
2021-06-09 00:11:08 → agumonke` joins (~user@88.163.231.79)
2021-06-09 00:11:39 → thedward[m] joins (~thedwardm@2001:470:69fc:105::f79)
2021-06-09 00:13:31 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-09 00:17:11 → pe200012 joins (~pe200012@58.248.179.180)
2021-06-09 00:17:27 × nkpart quits (uid3844@id-3844.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-09 00:17:46 → Guest53 joins (~Guest53@2601:640:4080:dca0:196f:8963:ff06:765b)
2021-06-09 00:18:37 × agumonke` quits (~user@88.163.231.79) (Read error: Connection reset by peer)
2021-06-09 00:18:39 × Guest53 quits (~Guest53@2601:640:4080:dca0:196f:8963:ff06:765b) (Client Quit)
2021-06-09 00:20:50 → agumonke` joins (~user@88.163.231.79)
2021-06-09 00:22:28 <slack1256> If I define `newtype Supremum a b = MkS a deriving Eq` and I load that module on ghci, run `:info Supremum` that prints `instance (Eq a) => Eq (Supremum a)`. That instance context is implicitly declared on my `deriving` clause, is that part of the haskell report? Is that "smartness" specified somewhere?
2021-06-09 00:22:45 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-09 00:22:49 × zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-06-09 00:25:27 → trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-09 00:25:46 <jaevanko> If you replace the `MkS a` with `MkS b`, would the instance bound change to Eq b?
2021-06-09 00:27:08 <slack1256> Yes. It seems it does some analysis.
2021-06-09 00:29:09 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-09 00:29:41 → derelict joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com)
2021-06-09 00:33:43 <geekosaur> yes, this is defined in the Report
2021-06-09 00:34:01 → FunctorPunk joins (~igloo@c-73-119-137-166.hsd1.ma.comcast.net)
2021-06-09 00:34:33 <ski> slack1256 : <https://www.haskell.org/onlinereport/derived.html>
2021-06-09 00:34:35 × FunctorPunk quits (~igloo@c-73-119-137-166.hsd1.ma.comcast.net) (Client Quit)
2021-06-09 00:34:49 <slack1256> Thank god.
2021-06-09 00:34:53 <geekosaur> https://www.haskell.org/onlinereport/haskell2010/haskellch11.html#x18-18300011.1
2021-06-09 00:35:52 <slack1256> This is awesome, I feel I can rely on such behaviour now!
2021-06-09 00:36:18 <slack1256> I was exploring if we should enable some kind of instance context specification on the deriving clauses :fear: .
2021-06-09 00:38:04 → renzhi joins (~xp@2607:fa49:6500:bc00::e7b)
2021-06-09 00:38:58 × xkuru quits (~xkuru@user/xkuru) (Ping timeout: 258 seconds)
2021-06-09 00:39:10 <ski> slack1256 : you can write `deriving instance Eq a => Eq (Supremum a b)' as a separate declaration, if you enable `StandaloneDeriving'
2021-06-09 00:41:16 <slack1256> Got it.
2021-06-09 00:41:40 → xkuru joins (~xkuru@user/xkuru)
2021-06-09 00:41:55 × renzhi quits (~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-06-09 00:43:04 → renzhi joins (~xp@2607:fa49:6500:bc00::e7b)
2021-06-09 00:45:17 <slack1256> TIL: `StandaloneDeriving` helps recover `stock` deriving for GADTs and have more specific instance context with stock deriving.
2021-06-09 00:45:20 <slack1256> Awesome stuff.
2021-06-09 00:47:01 × MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 258 seconds)
2021-06-09 00:53:03 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan)
2021-06-09 00:53:45 → fjmorazan joins (~quassel@user/fjmorazan)
2021-06-09 01:02:10 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-09 01:03:59 → yd502 joins (~yd502@180.168.212.6)
2021-06-09 01:08:09 → yd502_ joins (~yd502@180.168.212.6)
2021-06-09 01:08:12 × xkuru quits (~xkuru@user/xkuru) (Ping timeout: 252 seconds)
2021-06-09 01:10:29 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 245 seconds)
2021-06-09 01:10:31 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Ping timeout: 264 seconds)
2021-06-09 01:10:33 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Remote host closed the connection)
2021-06-09 01:10:52 × otto_s quits (~user@p5de2f98e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-06-09 01:12:26 → xff0x_ joins (~xff0x@2001:1a81:52c9:6b00:ea05:f1db:1e96:7c29)
2021-06-09 01:14:43 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-06-09 01:15:38 × xff0x quits (~xff0x@port-92-193-150-196.dynamic.as20676.net) (Ping timeout: 250 seconds)
2021-06-09 01:15:55 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b95b:27c0:9816:d7ad)
2021-06-09 01:22:06 × fluffyballoon quits (~fluffybal@2620:72:0:6480::10f7) (Ping timeout: 250 seconds)
2021-06-09 01:22:43 → dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7)
2021-06-09 01:25:34 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-06-09 01:28:46 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-09 01:31:58 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-06-09 01:34:47 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-09 01:37:09 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-06-09 01:38:27 × pe200012 quits (~pe200012@58.248.179.180) (Ping timeout: 252 seconds)
2021-06-09 01:38:41 → pe200012 joins (~pe200012@58.248.179.180)
2021-06-09 01:38:48 → waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-09 01:41:54 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-09 01:43:48 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-09 01:44:38 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-09 01:45:03 × waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-06-09 01:48:28 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-09 01:50:25 → haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-09 01:57:42 × pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-06-09 01:58:57 → AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-09 02:00:42 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds)
2021-06-09 02:00:58 → lavaman joins (~lavaman@98.38.249.169)
2021-06-09 02:03:51 → ddellacosta joins (~ddellacos@86.106.121.84)
2021-06-09 02:05:22 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds)
2021-06-09 02:05:34 → unyu joins (~pyon@user/pyon)
2021-06-09 02:06:24 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-09 02:06:24 FinnElija is now known as Guest2126
2021-06-09 02:06:24 finn_elija is now known as FinnElija
2021-06-09 02:07:57 × ddellacosta quits (~ddellacos@86.106.121.84) (Ping timeout: 244 seconds)
2021-06-09 02:09:26 × Guest2126 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2021-06-09 02:11:44 × td_ quits (~td@muedsl-82-207-238-242.citykom.de) (Ping timeout: 258 seconds)
2021-06-09 02:13:51 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-09 02:15:38 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-09 02:18:19 × qoelet quits (~kumo@139.180.144.166) (Ping timeout: 264 seconds)
2021-06-09 02:20:13 × trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 272 seconds)
2021-06-09 02:21:50 → qoelet joins (~kumo@139.180.144.166)
2021-06-09 02:22:09 → ddellacosta joins (~ddellacos@86.106.121.69)
2021-06-09 02:23:17 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)
2021-06-09 02:26:33 × ddellacosta quits (~ddellacos@86.106.121.69) (Ping timeout: 244 seconds)
←Prev  Next→
Page 1 .. 350 351 352 353 354 355 356 357 358 359 360 .. 17992

All times are in UTC.