Logs: liberachat/#haskell
| 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. |
All times are in UTC.