Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 .. 5022
— 502,152 events total
2021-04-19 09:21:14 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-04-19 09:21:51 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-19 09:22:30 <merijn> ah :D
2021-04-19 09:22:59 → forell joins (~forell@unaffiliated/forell)
2021-04-19 09:24:34 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-19 09:25:17 <gnumonic> https://github.com/gnumonik/refractor/blob/main/src/Control/Refractor/Refractor.hs (again that's kind of a mess / dunno how useful it'll be but it might communicate the idea)
2021-04-19 09:25:30 <tdammers> I've always rolled with "necessary" = "if this is not met, then the answer is definitely 'no'"; "sufficient" = "if this is met, then the answer is definitely 'yes'"; and in between the two, you have "maybe, maybe not"
2021-04-19 09:25:46 <gnumonic> The RMap thing is just a hacked-together ordered map that I made because I thought I wanted a Control.Lens.At instance and a regular OMap violates a lens law, or something
2021-04-19 09:27:56 <gnumonic> q is necessary for p = p -> q = ~q -> ~p (the latter seems more intuitive for some reason)
2021-04-19 09:32:18 <joel135> I am not seeing a ComonadStore instance anywhere.
2021-04-19 09:33:12 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-19 09:34:41 <gnumonic> Er crap I forgot I changed it to the GADT version that doesn't have one, oops. Nevermind :-(
2021-04-19 09:34:44 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-04-19 09:34:52 → heatsink_ joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-19 09:35:03 → ddellacosta joins (~ddellacos@86.106.143.10)
2021-04-19 09:36:37 <joel135> ok
2021-04-19 09:39:12 × ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 240 seconds)
2021-04-19 09:39:21 × heatsink_ quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-19 09:43:02 → vv8 joins (~egp_@2.95.117.163)
2021-04-19 09:43:06 × todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-19 09:43:11 × bennofs__ quits (~quassel@x4db75e90.dyn.telefonica.de) (Ping timeout: 240 seconds)
2021-04-19 09:45:13 → DavidEichmann joins (~david@147.136.46.217.dyn.plus.net)
2021-04-19 09:46:55 → bennofs_ joins (~quassel@x4db75e90.dyn.telefonica.de)
2021-04-19 09:52:53 × bennofs_ quits (~quassel@x4db75e90.dyn.telefonica.de) (Ping timeout: 246 seconds)
2021-04-19 09:56:54 → malumore joins (~malumore@151.62.117.103)
2021-04-19 09:57:29 <jumper149> I just added GHC 9.0.1 to my CI and noticed some problem: https://travis-ci.com/github/jumper149/blucontrol/jobs/499336792#L486
2021-04-19 09:57:40 <jumper149> Are problems with the monad-control library expected?
2021-04-19 09:58:59 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:5d1c:812e:1a75:163c)
2021-04-19 10:02:56 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-19 10:03:23 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:5d1c:812e:1a75:163c) (Ping timeout: 250 seconds)
2021-04-19 10:03:28 → todda7 joins (~torstein@ppp-2-85-110-156.home.otenet.gr)
2021-04-19 10:03:33 → nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-19 10:05:07 → slaterr joins (~bc8134e3@217.29.117.252)
2021-04-19 10:05:48 → guy25 joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net)
2021-04-19 10:06:08 <slaterr> hi. I like to pass this page around to show the usefulness of monad abstraction, but taking a closer look, code in the list monad seems to be wrong? last expression in do block prints, instead of returning a list. https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/
2021-04-19 10:06:34 <slaterr> actually, all the examples print
2021-04-19 10:06:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-19 10:06:42 <slaterr> so the are all using IO monad :-O
2021-04-19 10:06:50 <guy25> I know this is a bit of an oxymoron, but can we ask general help questions here
2021-04-19 10:07:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:09:01 × nineonine quits (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 250 seconds)
2021-04-19 10:09:37 <guy25> would anyone mind installing a package with cabal for me?
2021-04-19 10:10:04 <guy25> it keeps failing and I have a feeling it's not my end
2021-04-19 10:10:57 → philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-04-19 10:11:40 → Rudd0 joins (~Rudd0@185.189.115.108)
2021-04-19 10:12:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-19 10:13:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:13:44 → ddellacosta joins (~ddellacos@86.106.143.222)
2021-04-19 10:14:19 × guy25 quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: Connection closed)
2021-04-19 10:15:34 <olligobber> what package? and they're gone
2021-04-19 10:15:53 <jumper149> slaterr: Yeah I think you are right with that one. Monad transformers can still provide the same thing with `lift print d` for example. The `ListT` monad transformer is a weird thing though. Better use a streaming library.
2021-04-19 10:17:21 <olligobber> if you replace print d with pure $ print d, and then put a fold at the start, it works
2021-04-19 10:17:52 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-19 10:18:16 <olligobber> well, maybe not for all of them, but fold will do Maybe (IO ()) -> IO () and [IO ()] -> IO ()
2021-04-19 10:18:21 × ddellacosta quits (~ddellacos@86.106.143.222) (Ping timeout: 268 seconds)
2021-04-19 10:19:37 <olligobber> the state one has like runState or evalState or execState to get the return value out
2021-04-19 10:19:46 <olligobber> I don't know how continuations work
2021-04-19 10:20:22 × sdx32 quits (~sdx23@unaffiliated/sdx23) (Ping timeout: 252 seconds)
2021-04-19 10:23:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-19 10:24:26 <slaterr> :t fold
2021-04-19 10:24:27 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-19 10:24:28 <lambdabot> (Foldable t, Monoid m) => t m -> m
2021-04-19 10:24:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:24:48 <olligobber> % fold [print 1, print 2, print 4]
2021-04-19 10:24:49 <yahb> olligobber: 1; 2; 4
2021-04-19 10:25:04 <olligobber> % fold Nothing :: IO ()
2021-04-19 10:25:04 <yahb> olligobber:
2021-04-19 10:25:14 <olligobber> % fold (Just (print 1))
2021-04-19 10:25:14 <yahb> olligobber: 1
2021-04-19 10:25:35 <slaterr> so it is like sequence_
2021-04-19 10:25:59 <olligobber> probably does the same thing actually
2021-04-19 10:26:13 <olligobber> :t sequence_
2021-04-19 10:26:14 <lambdabot> (Foldable t, Monad m) => t (m a) -> m ()
2021-04-19 10:26:24 <slaterr> just more general
2021-04-19 10:26:27 → Wo[m] joins (lykos-2021@gateway/shell/matrix.org/x-tfamvfkpyyipdlgr)
2021-04-19 10:26:56 <olligobber> sequence_ is for monads, fold is for monoids, IO () is both
2021-04-19 10:28:56 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-19 10:29:17 → usr25 joins (~usr25@unaffiliated/usr25)
2021-04-19 10:29:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-19 10:30:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:31:04 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-19 10:36:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-19 10:36:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:36:42 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-19 10:39:46 × plutoniix quits (~q@184.82.212.134) (Ping timeout: 240 seconds)
2021-04-19 10:41:10 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-04-19 10:42:36 → Sorny joins (~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-19 10:43:42 × idhugo__ quits (~idhugo@130.225.16.16) (Read error: Connection reset by peer)
2021-04-19 10:45:07 → nineonine joins (~nineonine@2604:3d08:7785:9600:e0d9:4197:14e4:81a)
2021-04-19 10:45:20 → idhugo__ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-19 10:46:04 × Sorna quits (~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds)
2021-04-19 10:46:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-19 10:47:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-19 10:48:21 → ddellacosta joins (~ddellacos@83.143.246.110)
2021-04-19 10:49:34 × nineonine quits (~nineonine@2604:3d08:7785:9600:e0d9:4197:14e4:81a) (Ping timeout: 245 seconds)
2021-04-19 10:50:40 → thblt joins (~thblt@unaffiliated/thblt)
2021-04-19 10:50:54 ← thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)")
2021-04-19 10:52:25 → zebrag joins (~inkbottle@aaubervilliers-654-1-107-209.w86-212.abo.wanadoo.fr)
2021-04-19 10:52:44 × ddellacosta quits (~ddellacos@83.143.246.110) (Ping timeout: 246 seconds)
2021-04-19 10:52:44 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
←Prev  Next→
Page 1 .. 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 .. 5022

All times are in UTC.