Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 172 173 174 175 176 177 178 179 180 181 182 .. 5022
— 502,152 events total
2020-09-23 23:15:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-23 23:16:04 <MarcelineVQ> :D
2020-09-23 23:16:28 hackage bytestring 0.11.0.0 - Fast, compact, strict and lazy byte strings with a list interface https://hackage.haskell.org/package/bytestring-0.11.0.0 (Bodigrim)
2020-09-23 23:16:45 → jedws joins (~jedws@121.209.139.222)
2020-09-23 23:16:54 <MarcelineVQ> If a complain is registered we promise it will be looked at exactly once.
2020-09-23 23:17:03 × mpereira quits (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e) (Ping timeout: 272 seconds)
2020-09-23 23:17:14 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 256 seconds)
2020-09-23 23:18:25 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-23 23:19:00 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-23 23:19:47 × acidjnk_new2 quits (~acidjnk@p200300d0c7237860d9dcd65723cec3bc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-23 23:23:14 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-09-23 23:24:57 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-23 23:26:39 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-23 23:26:44 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-23 23:27:52 <hpc> in rust, you promise it will be looked at, at most once :D
2020-09-23 23:27:57 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds)
2020-09-23 23:28:33 → minwuek joins (uid466029@gateway/web/irccloud.com/x-fkobzjneikrfqrhj)
2020-09-23 23:28:49 <MarcelineVQ> the trick is just not to look, or if you look, put it back when you're done
2020-09-23 23:30:00 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-23 23:30:37 → acidjnk_new2 joins (~acidjnk@p200300d0c7237863349b0df7f7aa9c44.dip0.t-ipconnect.de)
2020-09-23 23:30:52 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-23 23:31:06 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds)
2020-09-23 23:31:07 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-23 23:31:32 → sfvm joins (~sfvm@37.228.215.148)
2020-09-23 23:32:17 <LestatC95> Chaos theory reigns Supreme....Lysanders in!
2020-09-23 23:33:27 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-23 23:33:59 × LestatC95 quits (~Android@2605:8d80:662:fdea:ed2:3fc2:27b3:bdc3) (Quit: -a- IRC for Android 2.1.59)
2020-09-23 23:34:15 MarcelineVQ drips drinking water on a paleobotanist's hand in a pervy way during a jostling cross-country car trip
2020-09-23 23:34:38 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-23 23:35:22 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-23 23:40:09 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-09-23 23:42:38 → sudden joins (~lax@unaffiliated/laxask)
2020-09-23 23:42:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-23 23:47:54 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-dgqcljxsodhaxjzg)
2020-09-23 23:48:57 × acidjnk_new2 quits (~acidjnk@p200300d0c7237863349b0df7f7aa9c44.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-23 23:51:15 <koz_> I'm getting some DerivingStrategies weirdness: https://gist.github.com/kozross/e8dbf3587ec59738e3e3cd06067cdd28
2020-09-23 23:51:35 <koz_> I kinda get why this is happening, but I am unsure how to resolve it.
2020-09-23 23:51:55 <glguy> koz_: I got to here: https://gist.github.com/kozross/e8dbf3587ec59738e3e3cd06067cdd28#file-ll1-hs-L15-L18 ; the applicative instance doesn't satisfy the laws
2020-09-23 23:52:23 <koz_> Yep, that's a good catch.
2020-09-23 23:52:35 <koz_> This is what happens when you try and transpose academic papers rofl.
2020-09-23 23:53:12 × Thra11 quits (~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 2.9)
2020-09-23 23:54:01 <koz_> glguy: Updated, nice catch.
2020-09-23 23:54:07 → mpereira joins (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e)
2020-09-23 23:54:32 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 272 seconds)
2020-09-23 23:55:26 <koz_> DerivingVia still explodes with the same error.
2020-09-23 23:55:45 <koz_> How would I go about remedying this? In theory, (Alt f, Alt g) => Alt (Product f g) holds.
2020-09-23 23:55:46 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-09-23 23:57:13 × alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 264 seconds)
2020-09-23 23:57:34 <solonarv> what happens if you replace line 35 with 'deriving newtype (Alt)' ?
2020-09-23 23:57:48 <koz_> solonarv: Same error. That was the first thing I tried.
2020-09-23 23:58:51 × mpereira quits (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e) (Ping timeout: 272 seconds)
2020-09-24 00:00:01 × rah1 quits (~rah@184.75.221.203) ()
2020-09-24 00:00:34 → polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81)
2020-09-24 00:01:53 × nineonin_ quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-09-24 00:03:25 → Ariakenom__ joins (~Ariakenom@h-98-128-180-170.NA.cust.bahnhof.se)
2020-09-24 00:05:19 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 00:05:37 <int-e> koz_: coercing Applicative (Product (Empty e t) (First e t)) => to Applicative (EmFirst e t) => can't really work, can it? The former instance can exist without the latter existing... and even if you add an Applicative instance for EmFirst using newtype deriving, the type checker can't really know how it's derived... so it can't really be expected to reuse the representation.
2020-09-24 00:06:02 <koz_> int-e: Yeah, that's a good point.
2020-09-24 00:06:11 <int-e> (in light of this, `some` and `many` should really have their own typeclass instead)
2020-09-24 00:06:31 <koz_> I believe there's a note about refactoring them out once some unspecified issues with MonadPlus are resolved.
2020-09-24 00:06:42 <koz_> It's a bit of a bummer, but I guess it's not that hard to spell by hand.
2020-09-24 00:07:25 × Ariakenom_ quits (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2020-09-24 00:09:04 <int-e> koz_: oh wow, Data.Functor.Alt is littered with unsafeCoerce... for the same reason.
2020-09-24 00:09:10 <koz_> int-e: Rofl.
2020-09-24 00:09:34 <koz_> TIL how Alt sausage gets made.
2020-09-24 00:09:51 <int-e> (well, "littered" may be an exaggeration... but 4 occurrences is 4 more than I expected.)
2020-09-24 00:10:09 <koz_> 4 can be a lot.
2020-09-24 00:10:22 <koz_> When referring to things ranging from 'wedding cakes at one event' to 'unsafeCoerce uses'.
2020-09-24 00:16:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-24 00:23:46 → z0 joins (~z0@bl15-163-199.dsl.telepac.pt)
2020-09-24 00:25:01 <z0> > let p = [0,1,2] in (,) <$> p <*> p
2020-09-24 00:25:06 <lambdabot> [(0,0),(0,1),(0,2),(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)]
2020-09-24 00:26:15 <z0> how would i go about doing this but avoiding "duplicates" considering that (1,0) and (0,1) are duplicates?
2020-09-24 00:27:07 <koz_> z0: Filter it through a HashSet.
2020-09-24 00:27:52 × zebrag quits (~inkbottle@aaubervilliers-654-1-113-36.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-09-24 00:28:00 → jedws joins (~jedws@121.209.139.222)
2020-09-24 00:30:46 → zebrag joins (~inkbottle@aaubervilliers-654-1-113-36.w86-198.abo.wanadoo.fr)
2020-09-24 00:31:00 <Cale> > [(x,y) | (x:ys) <- tails [0,1,2], y <- ys]
2020-09-24 00:31:03 <lambdabot> [(0,1),(0,2),(1,2)]
2020-09-24 00:31:17 <Cale> > [(x,y) | (x:ys) <- tails [0,1,2], y <- (x:ys)]
2020-09-24 00:31:20 <lambdabot> [(0,0),(0,1),(0,2),(1,1),(1,2),(2,2)]
2020-09-24 00:31:40 <Cale> z0: ^^
2020-09-24 00:31:49 <z0> thats it! thanks
2020-09-24 00:39:49 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 00:42:02 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 00:43:23 <AWizzArd> Ambiguous occurrence ‘putStrLn’ for this use: main = putStrLn ("Hallo" :: Text)
2020-09-24 00:43:42 <koz_> Is there some non-obvious reason why we have (Functor m, Monad m) => Applicative (StateT s m)?
2020-09-24 00:43:48 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-09-24 00:43:48 <koz_> Other than hysterical ones?
2020-09-24 00:43:56 <AWizzArd> I wonder why GHC can’t figure out if String -> IO () should be used or better Text -> IO ()
2020-09-24 00:45:24 × mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-buqlvcdbvgdtirvi) (Quit: Connection closed for inactivity)
2020-09-24 00:46:22 <Axman6> because the only type based dispatch Haskell has is via type classes
2020-09-24 00:47:02 <Axman6> import qualified Data.Text.IO as TIO
2020-09-24 00:47:52 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-24 00:48:53 × alp quits (~alp@2a01:e0a:58b:4920:1f9:451e:d1a7:f0a0) (Ping timeout: 272 seconds)
2020-09-24 00:49:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-24 00:51:23 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds)
2020-09-24 00:51:51 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-24 00:52:11 × kupi quits (uid212005@gateway/web/irccloud.com/x-fmjxijjconjdwmfh) (Quit: Connection closed for inactivity)
2020-09-24 00:52:17 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 172 173 174 175 176 177 178 179 180 181 182 .. 5022

All times are in UTC.