Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 767 768 769 770 771 772 773 774 775 776 777 .. 5022
— 502,152 events total
2020-10-21 07:36:14 <c_wraith> The first example in the docs is using the (->) instance for Indexable
2020-10-21 07:36:53 <dminuoso> c_wraith: Right! So Im right after all.
2020-10-21 07:36:56 → britva joins (~britva@51.154.14.117)
2020-10-21 07:37:07 <dminuoso> It's (^..) that demands (->) here
2020-10-21 07:37:19 × britva quits (~britva@51.154.14.117) (Client Quit)
2020-10-21 07:37:28 <c_wraith> yes.
2020-10-21 07:37:44 <c_wraith> compare to... [10, 20, 30] ^.. ifolded . withIndex @_ @(Indexed Int) . withIndex @_ @(->)
2020-10-21 07:37:47 <dminuoso> So itoListOf would pick Indexed, and toListOf would just force a regular van laarhoven functor arrow in there
2020-10-21 07:37:57 → britva joins (~britva@51.154.14.117)
2020-10-21 07:38:11 → Sanchayan joins (~Sanchayan@122.181.211.206)
2020-10-21 07:39:02 <dminuoso> ifoldrOf l f z = flip appEndo z . getConst #. l (Const #. Endo #. Indexed f)
2020-10-21 07:39:17 <dminuoso> foldrOf l f z = flip appEndo z . foldMapOf l (Endo #. f)
2020-10-21 07:39:32 × whald quits (~trem@2a02:810a:8100:11a6:a51d:28a2:1c9:853d) (Remote host closed the connection)
2020-10-21 07:39:59 <dminuoso> err
2020-10-21 07:40:01 <dminuoso> foldMapOf l f = getConst #. l (Const #. f)
2020-10-21 07:40:03 <dminuoso> There.
2020-10-21 07:40:50 <dminuoso> c_wraith: My difficulty was just chasing the code with all these coerces in place. :(
2020-10-21 07:40:59 <dminuoso> Thanks, I think this helped
2020-10-21 07:41:56 <kuribas> couldn't coerce make an invalid datatype? For example, of you change the Ord instance in a Map, the Map could become invalid?
2020-10-21 07:42:33 <merijn> kuribas: Not if you set roles correctly
2020-10-21 07:42:38 × xff0x_ quits (~fox@2001:1a81:529c:a900:daf5:f598:3241:4d8d) (Quit: xff0x_)
2020-10-21 07:42:38 <dminuoso> kuribas: That's not coerces fault, if you rewrapped manually with newtype the same thing would happen.
2020-10-21 07:42:47 → xff0x joins (~fox@2001:1a81:529c:a900:daf5:f598:3241:4d8d)
2020-10-21 07:42:59 <merijn> dminuoso: Coerce handes that correctly if you set roles correctly
2020-10-21 07:43:00 <kuribas> merijn: so you cannot coerce a Map?
2020-10-21 07:43:30 <merijn> kuribas: If the key type is nominal(not 100% I got that role right) as it should be, that's right?
2020-10-21 07:43:40 <merijn> kuribas: Or rather, you can only coerce the values, not the keys
2020-10-21 07:43:54 <merijn> Although they fucked it up by making the default role unsafe
2020-10-21 07:44:05 <kuribas> merijn: right. Does ghc infer it, or do you need to manually specify roles?
2020-10-21 07:44:16 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-10-21 07:44:27 × bliminse quits (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) (Quit: leaving)
2020-10-21 07:45:03 <merijn> You need to manually specify them to be safe
2020-10-21 07:45:09 <merijn> The inferred roles are unsafe
2020-10-21 07:45:13 <merijn> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#roles
2020-10-21 07:45:14 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-21 07:45:33 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-21 07:45:33 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-21 07:45:33 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-21 07:45:36 <kuribas> right, thanks
2020-10-21 07:47:07 → bliminse joins (~bliminse@host109-158-54-87.range109-158.btcentralplus.com)
2020-10-21 07:47:08 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Ping timeout: 256 seconds)
2020-10-21 07:47:20 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-21 07:51:50 → nineonin_ joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-21 07:53:31 × nineonin_ quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-21 07:53:39 → bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se)
2020-10-21 07:56:39 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-21 07:56:56 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-21 07:56:56 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-21 07:56:56 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-21 08:00:51 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-21 08:01:35 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-21 08:03:23 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-21 08:03:48 → Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 08:06:13 × Iwawa quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds)
2020-10-21 08:06:15 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-21 08:09:44 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-21 08:13:01 → kritzefitz joins (~kritzefit@p200300ecdf05be00f1ae985ba6d99bb3.dip0.t-ipconnect.de)
2020-10-21 08:14:12 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-21 08:16:28 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-21 08:16:53 → shafox joins (~shafox@106.51.234.111)
2020-10-21 08:18:15 → redeemed joins (~rd@79.115.163.113)
2020-10-21 08:19:37 → polyrain joins (~polyrain@2001:8003:e501:6901:1965:2d83:52d2:222c)
2020-10-21 08:20:48 → Franciman joins (~francesco@host-82-48-166-25.retail.telecomitalia.it)
2020-10-21 08:24:11 × cods quits (~fred@unaffiliated/cods) (Ping timeout: 240 seconds)
2020-10-21 08:24:24 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 260 seconds)
2020-10-21 08:25:25 <Cale> If it helps any, that is entirely equivalent to replicate 100 (product (map (*3) (zipWith max [1,2,3,4,5] [4,5,6,7,8])))
2020-10-21 08:25:32 × ericsagnes quits (~ericsagne@2405:6580:0:5100:5d5:9ab8:7a96:b021) (Ping timeout: 260 seconds)
2020-10-21 08:25:33 <Cale> oops
2020-10-21 08:25:44 <Cale> Apparently I was scrolled all the way to the top of my buffer
2020-10-21 08:25:50 <merijn> Cale: Can I buy your time machine? :D
2020-10-21 08:26:26 → thunderrd joins (~thunderrd@183.182.115.160)
2020-10-21 08:27:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-21 08:27:45 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-21 08:28:49 → babygnu joins (~robert@gateway/tor-sasl/babygnu)
2020-10-21 08:29:40 → Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-21 08:30:47 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-21 08:30:49 × Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 264 seconds)
2020-10-21 08:32:51 <dminuoso> merijn: Wrong tense. Will I have bought your time machine? Cale can find out.
2020-10-21 08:33:42 <merijn> ;)
2020-10-21 08:33:53 × coot quits (~coot@37.30.49.255.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-10-21 08:34:01 → Lycurgus joins (~niemand@98.4.96.235)
2020-10-21 08:34:51 → cristi_ joins (~cristi@82.76.158.82)
2020-10-21 08:35:23 → coot joins (~coot@37.30.49.255.nat.umts.dynamic.t-mobile.pl)
2020-10-21 08:37:08 Lycurgus deplores the apparent disappearance of configurable pc vendors
2020-10-21 08:37:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-21 08:37:32 → ericsagnes joins (~ericsagne@2405:6580:0:5100:a175:4dc7:93af:b055)
2020-10-21 08:37:52 <Cale> "One of the major problems encountered in time travel is not that of becoming your own father or mother. There is no problem in becoming your own father or mother that a broad-minded and well-adjusted family can't cope with. There is no problem with changing the course of history—the course of history does not change because it all fits together like a jigsaw. All the important changes have happened before th
2020-10-21 08:37:52 <Cale> e things they were supposed to change and it all sorts itself out in the end.
2020-10-21 08:37:52 <Cale> The major problem is simply one of grammar, and the main work to consult in this matter is Dr. Dan Streetmentioner's Time Traveler's Handbook of 1001 Tense Formations. It will tell you, for instance, how to describe something that was about to happen to you in the past before you avoided it by time-jumping forward two days in order to avoid it. The event will be descibed differently according to whether you are
2020-10-21 08:37:55 <Cale> talking about it from the standpoint of your own natural time, from a time in the further future, or a time in the further past and is futher complicated by the possibility of conducting conversations while you are actually traveling from one time to another with the intention of becoming your own mother or father.
2020-10-21 08:38:01 <Cale> Most readers get as far as the Future Semiconditionally Modified Subinverted Plagal Past Subjunctive Intentional before giving up; and in fact in later aditions of the book all pages beyond this point have been left blank to save on printing costs."
2020-10-21 08:38:06 <int-e> Hitchhiker :)
2020-10-21 08:38:49 → whald joins (~trem@2a02:810a:8100:11a6:7c7b:3b69:546:296f)
2020-10-21 08:39:49 <Lycurgus> the problem with time travel per se is its nonsense (literally) because time as a concept is just one thing AFTER another
2020-10-21 08:39:58 <Lycurgus> *it's
2020-10-21 08:40:38 <Lycurgus> events running backward makes sense in the mind due to its facility with concepts
2020-10-21 08:41:03 <Lycurgus> but the notion of actually doing it is an abuse of thought
2020-10-21 08:41:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-21 08:41:45 <Lycurgus> another case (like truth) of important concepts fuddled
2020-10-21 08:41:49 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
←Prev  Next→
Page 1 .. 767 768 769 770 771 772 773 774 775 776 777 .. 5022

All times are in UTC.