Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 .. 18041
— 1,804,013 events total
2021-08-06 16:55:22 × Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds)
2021-08-06 16:55:25 → burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-08-06 16:55:47 → haykam joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-06 16:56:11 × haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-06 16:56:13 → Atum_ joins (~IRC@user/atum/x-2392232)
2021-08-06 16:56:31 × oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds)
2021-08-06 16:56:39 → haykam joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-06 16:57:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-08-06 17:00:11 → Cajun joins (~Cajun@user/cajun)
2021-08-06 17:00:38 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds)
2021-08-06 17:01:07 × burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds)
2021-08-06 17:01:34 × Vajb quits (~Vajb@2001:999:40:408d:1d9e:a80c:4ab7:8954) (Ping timeout: 250 seconds)
2021-08-06 17:02:51 → Vajb joins (~Vajb@2001:999:51:e847:deb5:e55f:2c83:fc9d)
2021-08-06 17:03:17 × Guest7946 quits (~Guest79@S0106bc3e07325ee3.vw.shawcable.net) (Quit: Client closed)
2021-08-06 17:05:36 <maerwald[m]> There's also https://gitlab.haskell.org/haskell/ghcup-hs#with_ghc-wrapper-eg-for-hls
2021-08-06 17:07:39 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-06 17:09:01 <dsal> Guest6153: emacs has two paths you can set. There's the `PATH` environment that's passed down to subprocesses and the `exec-path` list that it uses to find things.
2021-08-06 17:09:20 <dsal> Argh, hit the wrong guest.
2021-08-06 17:09:32 → hrnz joins (~ulli@irc.plumbing)
2021-08-06 17:09:33 × Vajb quits (~Vajb@2001:999:51:e847:deb5:e55f:2c83:fc9d) (Ping timeout: 258 seconds)
2021-08-06 17:09:52 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-06 17:10:12 × euandreh quits (~euandreh@2804:14c:33:9fe5:4cf:cdfb:eec8:75c0) (Quit: WeeChat 3.2)
2021-08-06 17:10:37 <monochrom> Yeah the right guest left. Confounding even smart autocompletion.
2021-08-06 17:11:16 <maerwald[m]> the Right guest Left... english is weird
2021-08-06 17:11:39 → mattil joins (~mattilinn@87-92-57-75.bb.dnainternet.fi)
2021-08-06 17:12:24 <dsal> Is there `swap` for Either?
2021-08-06 17:12:27 × gawen quits (~gawen@user/gawen) (Quit: cya)
2021-08-06 17:12:36 → Vajb joins (~Vajb@nawgi2ugr2ypv0v7x-3.v6.elisa-mobile.fi)
2021-08-06 17:13:02 <dsal> I wrote some type that's basically `Either a a`. No idea where I put that or what I called it....
2021-08-06 17:13:12 <monochrom> I haven't seen one in libraries, but I would be inclined to name it "ingsoc".
2021-08-06 17:13:15 × markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-06 17:16:42 → gawen joins (~gawen@user/gawen)
2021-08-06 17:16:50 × Vajb quits (~Vajb@nawgi2ugr2ypv0v7x-3.v6.elisa-mobile.fi) (Ping timeout: 258 seconds)
2021-08-06 17:17:23 → Vajb joins (~Vajb@n4o6cmlync08x7vgp-3.v6.elisa-mobile.fi)
2021-08-06 17:17:56 → Pickchea joins (~private@user/pickchea)
2021-08-06 17:18:54 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-08-06 17:23:32 × Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds)
2021-08-06 17:28:32 × Guest7240 quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-08-06 17:29:27 → delYsid joins (~user@62-178-101-151.cable.dynamic.surfer.at)
2021-08-06 17:29:50 <delYsid> @hoogle (Monoid (f a), Applicative f) => Maybe a -> f a
2021-08-06 17:29:51 <lambdabot> Generic.Data.Internal.Utils coerce' :: Coercible (f x) (g x) => f x -> g x
2021-08-06 17:29:51 <lambdabot> Control.Effect.Lift sendM :: (Has (Lift n) sig m, Functor n) => n a -> m a
2021-08-06 17:29:51 <lambdabot> Blanks.ScopeW scopeWLiftAnno :: (NatNewtype (ScopeW t n f g) g, Functor t) => t a -> g a
2021-08-06 17:31:48 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-08-06 17:32:19 → ukari joins (~ukari@user/ukari)
2021-08-06 17:33:24 → chris joins (~chris@81.96.113.213)
2021-08-06 17:33:29 chris is now known as Guest3433
2021-08-06 17:35:41 → azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it)
2021-08-06 17:36:00 → markpythonicbitc joins (~markpytho@2600:380:c133:d5e:9df4:26a8:3f28:73a8)
2021-08-06 17:38:36 × Guest3433 quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2021-08-06 17:42:31 × Vajb quits (~Vajb@n4o6cmlync08x7vgp-3.v6.elisa-mobile.fi) (Ping timeout: 258 seconds)
2021-08-06 17:43:02 → Atum__ joins (~IRC@user/atum/x-2392232)
2021-08-06 17:45:03 × Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 268 seconds)
2021-08-06 17:45:36 → Vajb joins (~Vajb@nzwkg4b83ts4sgjo-3.v6.elisa-mobile.fi)
2021-08-06 17:46:05 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds)
2021-08-06 17:48:28 × markpythonicbitc quits (~markpytho@2600:380:c133:d5e:9df4:26a8:3f28:73a8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-06 17:48:41 → oxide joins (~lambda@user/oxide)
2021-08-06 17:52:49 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-08-06 17:58:37 × oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds)
2021-08-06 18:02:44 → pavonia joins (~user@user/siracusa)
2021-08-06 18:06:41 → chris joins (~chris@81.96.113.213)
2021-08-06 18:06:44 chris is now known as Guest2445
2021-08-06 18:07:20 × delYsid quits (~user@62-178-101-151.cable.dynamic.surfer.at) (Remote host closed the connection)
2021-08-06 18:13:33 × oldsk00l quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-08-06 18:15:30 <lechner> Hi, why does connectPostgreSQL in postgresql-simple expect a strict ByteString instead of lazy, please (or provide an implementation for the latter)? Thanks!
2021-08-06 18:17:07 <monochrom> You can use "toStrict" easily?
2021-08-06 18:18:06 <monochrom> I am not the author, but if I were, I wouldn't expect a query to be more than even 1MB long such that lazy bytestring would be called for.
2021-08-06 18:18:11 × epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-06 18:18:40 <lechner> I do, but I thought Haskell is lazy by default. I also do not understand why a separate type is needed to ensure evalution.
2021-08-06 18:19:33 <monochrom> But postgresql is eager by default.
2021-08-06 18:19:48 <monochrom> Especially when it wants you to submit a query.
2021-08-06 18:19:54 <lechner> it's the connection string
2021-08-06 18:20:05 <monochrom> That too.
2021-08-06 18:21:08 <lechner> i understand that some routines, like a socket 'receive', deliver a fully evaluated string, but why does that require a separate type?
2021-08-06 18:21:23 × Atum__ quits (~IRC@user/atum/x-2392232) (Quit: Atum__)
2021-08-06 18:24:18 × Neuromancer quits (~Neuromanc@user/neuromancer) (Ping timeout: 258 seconds)
2021-08-06 18:25:38 × rmoe quits (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) (Ping timeout: 250 seconds)
2021-08-06 18:26:26 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-06 18:27:39 × caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.2)
2021-08-06 18:28:38 → caubert joins (~caubert@136.244.111.235)
2021-08-06 18:29:50 × bjobjo quits (~bjobjo@user/bjobjo) (Remote host closed the connection)
2021-08-06 18:31:17 × caubert quits (~caubert@136.244.111.235) (Client Quit)
2021-08-06 18:32:03 → rmoe joins (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net)
2021-08-06 18:32:23 → lavaman joins (~lavaman@98.38.249.169)
2021-08-06 18:33:18 → caubert joins (~caubert@136.244.111.235)
2021-08-06 18:33:24 <monochrom> Given that both kinds of bytestrings are available, I would agree with the author in choosing the non-lazy one to make clear the semantics of the API.
2021-08-06 18:33:47 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-06 18:34:01 <monochrom> So you would have to escalate it to the level of: why would the bytestring library give you a choice, why didn't it be a dictator.
2021-08-06 18:34:15 → goepsilongo joins (~chacho@2603-7000-ab00-62ed-e8e0-40c9-c788-8ef8.res6.spectrum.com)
2021-08-06 18:34:19 <monochrom> But I guess once framed that way the answer is pretty clear.
2021-08-06 18:34:41 <monochrom> We do recognize that laziness is bad for some use cases and there should always be a choice.
2021-08-06 18:35:20 <lechner> i guess it was too slow or inefficient to have only lazy ByteStrings and "evaluate $ force" at the relevant IO points
2021-08-06 18:39:17 <lechner> My issue with the ByteString paradigm is, I suppose, that I like to convert UTF-8 to code points at the earliest possibility for input (and the latest for output). Those intermediate Strings are lazy, so in addition to UTF-8 I have to deal with lazy and strict more often
2021-08-06 18:41:19 <lechner> For Haskell those two often seem to come together; either I have a (lazy) String or a strict BysteString, which nowadays is usually in UTF-8
2021-08-06 18:42:52 → burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-08-06 18:43:05 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds)
2021-08-06 18:46:23 <lechner> which means I can make my life easier by using the strict version of UTF8.fromString. sorry about thinking aloud
2021-08-06 18:47:12 <Gurkenglas> When a compilation error is confusing, could I run a debugger on GHC to get more info on how the error arose?
2021-08-06 18:48:10 × burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-06 18:48:28 <Gurkenglas> Also, is there a graphical debugger for Haskell? I notice that they are much more pleasant to work with than command-line debuggers.
←Prev  Next→
Page 1 .. 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 .. 18041

All times are in UTC.