Logs: liberachat/#haskell
| 2021-07-31 12:20:06 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-31 12:20:53 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-31 12:20:53 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: quit) |
| 2021-07-31 12:21:35 | <bontaq> | hmm is there a nice way to add 1 day to a Datetime in the chronos library? |
| 2021-07-31 12:21:53 | → | nshepperd2 joins (~nshepperd@li364-218.members.linode.com) |
| 2021-07-31 12:21:55 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2021-07-31 12:24:40 | → | ubert joins (~Thunderbi@77.119.201.127.wireless.dyn.drei.com) |
| 2021-07-31 12:30:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-31 12:30:50 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 12:30:53 | allbery_b | is now known as geekosaur |
| 2021-07-31 12:30:57 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 12:31:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 12:32:34 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 12:35:56 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-31 12:40:36 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2021-07-31 12:43:11 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-07-31 12:44:47 | → | fendor_ joins (~fendor@178.165.178.92.wireless.dyn.drei.com) |
| 2021-07-31 12:46:54 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 12:47:24 | → | eltonpin1 joins (~1ntEgr8@2601:c8:c000:3090:9505:af4c:44c9:29b0) |
| 2021-07-31 12:47:55 | × | eltonpin1 quits (~1ntEgr8@2601:c8:c000:3090:9505:af4c:44c9:29b0) (Client Quit) |
| 2021-07-31 12:47:58 | × | fendor quits (~fendor@91.141.37.142.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-07-31 12:50:14 | → | cheater joins (~Username@user/cheater) |
| 2021-07-31 12:51:48 | → | egoist joins (~egoist@186.235.82.100) |
| 2021-07-31 12:52:40 | × | Guest65 quits (~Guest65@188.27.128.31) (Quit: Client closed) |
| 2021-07-31 12:54:47 | × | sm2n quits (~sm2n@user/sm2n) (Ping timeout: 255 seconds) |
| 2021-07-31 12:57:47 | × | euouae quits (~euouae@user/euouae) (Quit: euouae) |
| 2021-07-31 12:58:44 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-31 12:58:59 | <Orbstheorem> | Is there a way to run hls and have an output similar to `stack build --file-watch` on a separate terminal? |
| 2021-07-31 12:59:11 | <Orbstheorem> | hls is nice, but Coc is not and oftentimes I find myself using both. |
| 2021-07-31 13:00:02 | <Orbstheorem> | And I suspect hls doesn't like that (especially when I add a new dependency to `package.yaml`. Sometimes `CocRestart` works, but othertimes, I have to close and reopen my editor :/ |
| 2021-07-31 13:01:02 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2021-07-31 13:01:04 | → | alx741 joins (~alx741@181.196.69.85) |
| 2021-07-31 13:04:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 13:04:59 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 13:08:09 | → | cheater joins (~Username@user/cheater) |
| 2021-07-31 13:14:54 | fendor_ | is now known as fendor |
| 2021-07-31 13:16:29 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-31 13:16:44 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-07-31 13:17:32 | → | Guest7767 joins (~dunkeln@user/dunkeln) |
| 2021-07-31 13:17:52 | Guest7767 | is now known as dunkeln |
| 2021-07-31 13:22:10 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-07-31 13:27:48 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-31 13:30:24 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-07-31 13:31:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 13:32:16 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 13:33:45 | <maerwald> | IMO, there are process handling bugs with HLS |
| 2021-07-31 13:34:16 | <maerwald> | some clients are more erratic than others, but I found none that can handle HLS crashing |
| 2021-07-31 13:34:56 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-31 13:34:59 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 2021-07-31 13:36:59 | → | cheater joins (~Username@user/cheater) |
| 2021-07-31 13:43:22 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-07-31 13:46:48 | × | dunkeln quits (~dunkeln@user/dunkeln) (Quit: Leaving...) |
| 2021-07-31 13:47:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-31 13:49:29 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-07-31 13:50:36 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-07-31 13:53:54 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-31 13:56:13 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-31 13:57:33 | → | pesada joins (~agua@2804:18:70:7597:1:0:6e99:2d6f) |
| 2021-07-31 13:58:39 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Read error: No route to host) |
| 2021-07-31 13:59:28 | → | flandrer joins (~Mk2013@193.29.106.60) |
| 2021-07-31 13:59:35 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-07-31 14:01:06 | × | agua quits (~agua@2804:14c:8793:8e2f:ecd5:11e0:50a0:f2fe) (Ping timeout: 240 seconds) |
| 2021-07-31 14:01:22 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-31 14:01:37 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-31 14:02:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-31 14:04:09 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-07-31 14:05:27 | × | flandrer quits (~Mk2013@193.29.106.60) (Remote host closed the connection) |
| 2021-07-31 14:07:04 | <phaazon> | I’m not sure but what’s the « infallible 2 type conversion » typeclass in Haskell again? |
| 2021-07-31 14:07:15 | <phaazon> | i.e. class Convert a b where convert :: a -> b |
| 2021-07-31 14:07:34 | <phaazon> | I’m creating specialized versions of that every time I need it, especially for error handling |
| 2021-07-31 14:08:05 | <phaazon> | (so that I can I use (Convert SpecificError e) => MonadError e and allow user to use their own error types wrapping mine) |
| 2021-07-31 14:08:22 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-31 14:12:49 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-07-31 14:13:53 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-07-31 14:14:28 | <geekosaur> | Are you talking about Coercible? But I don't think it will do what you want there |
| 2021-07-31 14:15:04 | <phaazon> | geekosaur: I’m talking about an equivalent of Rust’s From |
| 2021-07-31 14:15:07 | <phaazon> | I currently use this: |
| 2021-07-31 14:15:10 | <phaazon> | class LiftArticleError e where |
| 2021-07-31 14:15:12 | <phaazon> | liftArticleError :: ArticleError -> e |
| 2021-07-31 14:15:15 | <phaazon> | (for a specialized error type) |
| 2021-07-31 14:15:28 | <phaazon> | so that I can do (MonadError e, LiftArticleError e) => m … |
| 2021-07-31 14:15:33 | <phaazon> | so that I can do (MonadError e m, LiftArticleError e) => m … |
| 2021-07-31 14:15:51 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-07-31 14:16:15 | → | Guest1599 joins (~Guest15@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 2021-07-31 14:16:17 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-07-31 14:16:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-31 14:16:29 | <phaazon> | so not Coercible |
| 2021-07-31 14:16:35 | <phaazon> | since they might have a different representations |
| 2021-07-31 14:16:47 | <phaazon> | the idea is that the user might provide their owen error types, wrapping mine |
| 2021-07-31 14:16:51 | <Guest1599> | Hi! How to understand this line: `newtype Task c k v = Task (forall f. c f => (k -> f v) -> f v)` ? |
| 2021-07-31 14:17:02 | <phaazon> | like data UserError = Foo FooError | Article ArticleError |
| 2021-07-31 14:17:21 | <phaazon> | and then simply instance LiftArticleError UserError where liftArticleError = Article |
| 2021-07-31 14:17:37 | <geekosaur> | the only other thing I can think of is SomeException, but that's the root of the exception hierarchy |
| 2021-07-31 14:17:49 | <phaazon> | alright, I’ll make my own thing then |
| 2021-07-31 14:18:00 | <phaazon> | it’s surprising that’s not a thing in Haskell but it’s used everywhere in Rust |
| 2021-07-31 14:18:10 | <phaazon> | especially since it plays a vital role in stuff like the ? operator |
| 2021-07-31 14:20:31 | → | agua joins (~agua@191.177.175.57) |
| 2021-07-31 14:20:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-31 14:22:33 | <Guest1599> | I know it might sound easy, but I'd love to hear how people read and understand it |
| 2021-07-31 14:22:58 | × | pesada quits (~agua@2804:18:70:7597:1:0:6e99:2d6f) (Ping timeout: 272 seconds) |
All times are in UTC.