Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 847 848 849 850 851 852 853 854 855 856 857 .. 18026
— 1,802,516 events total
2021-07-08 05:17:16 <lambdabot> Just 3
2021-07-08 05:17:20 <dsal> @undo do { a <- Just 1; b <- Just 2; pure (a + b) }
2021-07-08 05:17:20 <lambdabot> Just 1 >>= \ a -> Just 2 >>= \ b -> pure (a + b)
2021-07-08 05:17:32 <dsal> It works with any monad, not just IO
2021-07-08 05:17:47 <dsal> In fact, because liftIO is required here, you can tell that it's not requiring IO. :)
2021-07-08 05:18:09 <lechner> which part isn't?
2021-07-08 05:19:01 <dsal> Which part isn't what?
2021-07-08 05:19:01 <lechner> which part isn't requiring IO?
2021-07-08 05:20:05 → AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-07-08 05:20:47 <oxytocat> the code in your snippet, lines 16 to 23, run in ZMQ, not IO. we can tell because this code is passed to the function `runZMQ` as an argument
2021-07-08 05:21:02 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Client Quit)
2021-07-08 05:21:19 → jneira joins (~jneira@212.8.115.226)
2021-07-08 05:21:43 <dsal> All the things in the `do` block in your `runZMQ` call. It requires some `m` such that `m` has a `MonadIO` instance, but it's not using `IO` directly. You have to explicitly `liftIO` to get to `IO` there.
2021-07-08 05:21:43 <dsal> It's a rather subtle detail, but if `do` were just for `IO`, you could `print` without lifting anything.
2021-07-08 05:21:50 <dsal> > let s = [1..5] in do { a <- s; b <- s; pure (a,b) }
2021-07-08 05:21:52 <lambdabot> [(1,1),(1,2),(1,3),(1,4),(1,5),(2,1),(2,2),(2,3),(2,4),(2,5),(3,1),(3,2),(3,...
2021-07-08 05:22:12 <dsal> @undo do { a <- s; b <- s; pure (a,b) }
2021-07-08 05:22:12 <lambdabot> s >>= \ a -> s >>= \ b -> pure (a, b)
2021-07-08 05:22:14 → sidv joins (~sidv@23.252.50.92)
2021-07-08 05:22:15 <dsal> (undo is kind of boring)
2021-07-08 05:22:39 × oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-07-08 05:22:43 <sidv> Hey! Is this the right place to ask a question about haskell.nix?
2021-07-08 05:22:52 <dsal> It's pretty close. heh
2021-07-08 05:23:12 <oxytocat> right, do notation is just alternative syntax for `>>=`, and the type of `>>=` is:
2021-07-08 05:23:16 <oxytocat> :t (>>=)
2021-07-08 05:23:17 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2021-07-08 05:24:14 <oxytocat> so it works for any type that implements `Monad`. Such as `IO`, `Maybe`, `Either`, `ZMQ z`, and many more
2021-07-08 05:24:44 <oxytocat> so `do` will also work for these types, because it just translates the syntax to use `>>=`
2021-07-08 05:24:48 <sidv> I was trying to install haskell-language-server by putting it in tools in shellFor. However, this does not install haskell-language-server-wrapper. Without that, it seems like hls is not picking up all warnings/errors. Is there a way to also install the wrapper?
2021-07-08 05:27:21 <arjun> sidv: try ghcup?
2021-07-08 05:28:01 <dsal> ghcup sounds a bit like the opposite of haskell.nix
2021-07-08 05:28:04 <sidv> I'd ideally like to install it locally within the project :)
2021-07-08 05:29:05 <dsal> I only do the most basic stuff with haskell.nix, though and I've not tried HLS in a long time.
2021-07-08 05:30:43 <sidv> The problem might also be that I have to generate a hie.yaml
2021-07-08 05:31:24 <sidv> I guess my main problem is that I don't see all the warnings that I do when running cabal build
2021-07-08 05:33:20 <sidv> Hm it seems like hie.yaml is the main culprit
2021-07-08 05:33:39 × stefan-_ quits (~cri@42dots.de) (Ping timeout: 252 seconds)
2021-07-08 05:34:53 <lechner> oxytocat dsal: thanks for your help earlier. too late here now, but i'll be ack tomorrow. thanks!
2021-07-08 05:37:33 → notzmv joins (~zmv@user/notzmv)
2021-07-08 05:37:40 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-07-08 05:37:59 → stefan-_ joins (~cri@42dots.de)
2021-07-08 05:43:37 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 246 seconds)
2021-07-08 05:46:35 → Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net)
2021-07-08 05:47:19 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 05:48:35 → kenran joins (~kenran@200116b82bdcfa0070f86b22d449a64a.dip.versatel-1u1.de)
2021-07-08 05:51:22 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-07-08 05:52:30 × sheepduck quits (~sheepduck@user/sheepduck) (Ping timeout: 252 seconds)
2021-07-08 05:52:37 × sidv quits (~sidv@23.252.50.92) (Ping timeout: 246 seconds)
2021-07-08 05:53:53 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-08 05:57:27 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-08 05:57:45 → Obo joins (~roberto@94.191.137.122.mobile.tre.se)
2021-07-08 05:58:40 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-07-08 05:58:50 × dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds)
2021-07-08 06:02:36 × son0p quits (~ff@181.136.122.143) (Ping timeout: 256 seconds)
2021-07-08 06:07:27 → warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8)
2021-07-08 06:09:12 × azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Remote host closed the connection)
2021-07-08 06:09:22 → azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-08 06:09:46 × warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 240 seconds)
2021-07-08 06:11:21 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-07-08 06:11:40 × Obo quits (~roberto@94.191.137.122.mobile.tre.se) (Ping timeout: 272 seconds)
2021-07-08 06:11:49 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-08 06:12:10 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 06:13:04 → Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net)
2021-07-08 06:14:21 × favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-08 06:14:57 → keutoi joins (~keutoi@157.48.222.234)
2021-07-08 06:16:20 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-07-08 06:17:18 → fef joins (~thedawn@user/thedawn)
2021-07-08 06:17:47 × hexreel quits (~hr@69.233.98.238) (Quit: WeeChat 3.2)
2021-07-08 06:18:12 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds)
2021-07-08 06:19:40 × _________ quits (~nobody@user/noodly) (Ping timeout: 265 seconds)
2021-07-08 06:21:56 × arjun quits (~Srain@user/arjun) (Ping timeout: 252 seconds)
2021-07-08 06:22:40 → arjun joins (~Srain@user/arjun)
2021-07-08 06:23:36 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-08 06:30:10 × dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Ping timeout: 246 seconds)
2021-07-08 06:30:23 × andreabedini quits (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8)
2021-07-08 06:30:33 → _________ joins (~nobody@user/noodly)
2021-07-08 06:30:43 → dextaa joins (~DV@aftr-37-201-214-197.unity-media.net)
2021-07-08 06:31:29 × dminuoso quits (~dminuoso@user/dminuoso) (Quit: ZNC 1.7.5 - https://znc.in)
2021-07-08 06:31:47 → ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398)
2021-07-08 06:35:53 → dminuoso joins (~dminuoso@static.88-198-218-68.clients.your-server.de)
2021-07-08 06:36:58 → eight joins (~eight@user/eight)
2021-07-08 06:37:00 × ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds)
2021-07-08 06:37:56 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-08 06:39:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-08 06:41:18 → andreabedini joins (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com)
2021-07-08 06:41:40 → unyu joins (~pyon@user/pyon)
2021-07-08 06:41:40 unyu is now known as isekaijin
2021-07-08 06:42:24 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 258 seconds)
2021-07-08 06:46:46 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-08 06:48:53 → yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net)
2021-07-08 06:48:53 → dunkeln_ joins (~dunkeln@188.70.10.207)
2021-07-08 06:50:49 × keutoi quits (~keutoi@157.48.222.234) (Remote host closed the connection)
2021-07-08 06:52:55 × yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-07-08 06:56:11 × a6a45081-2b83 quits (~aditya@106.214.66.197) (Remote host closed the connection)
2021-07-08 06:57:33 → fendor joins (~fendor@91.141.49.3.wireless.dyn.drei.com)
2021-07-08 06:58:15 × jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds))
2021-07-08 07:03:01 × sagax quits (~sagax@213.138.71.146) (Excess Flood)
2021-07-08 07:03:11 × dunkeln_ quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds)
2021-07-08 07:03:44 → dunkeln_ joins (~dunkeln@188.70.10.207)
2021-07-08 07:04:07 → dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be)
←Prev  Next→
Page 1 .. 847 848 849 850 851 852 853 854 855 856 857 .. 18026

All times are in UTC.