Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 .. 18046
— 1,804,533 events total
2021-08-27 19:17:22 aegon is now known as DJ
2021-08-27 19:17:29 DJ is now known as DJ_Ikstra
2021-08-27 19:17:29 → kayprish joins (~kayprish@185.37.26.225)
2021-08-27 19:18:14 <monochrom> But I do not object to the possibilities that most programmers are scammers.
2021-08-27 19:18:20 × kayprish quits (~kayprish@185.37.26.225) (Remote host closed the connection)
2021-08-27 19:19:09 <DJ_Ikstra> maerwald: we must all fight django for at least 2 years in our career before noticing how silly it is and vowing never again
2021-08-27 19:19:09 <maerwald> I wonder if you could apply unix principles to web development
2021-08-27 19:19:26 <maerwald> oh no, I believe ppl will interpret this as microservices
2021-08-27 19:19:30 <maerwald> ok, I didn't say anything
2021-08-27 19:19:32 <maerwald> forget it
2021-08-27 19:22:00 <monochrom> Functional programming is the closest to realizing unix principles without unix flaws (such as "everything is a string" and "there is only one input source and only one output destination").
2021-08-27 19:22:41 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-27 19:23:13 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 248 seconds)
2021-08-27 19:23:19 <monochrom> John Hughes paper is almost "why unix but strongly statically typed matters"
2021-08-27 19:24:43 <maerwald> I ultimately believe in coding via moving pictures around my screen and connecting them with lines
2021-08-27 19:25:05 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-27 19:26:04 <monochrom> Arrow is almost like that, but trapped in plain text files.
2021-08-27 19:27:10 Logio_ is now known as Logio
2021-08-27 19:28:30 → Codaraxis__ joins (~Codaraxis@user/codaraxis)
2021-08-27 19:31:47 × Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-27 19:38:09 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-08-27 19:40:50 → Codaraxis_ joins (~Codaraxis@user/codaraxis)
2021-08-27 19:41:22 × orhan89 quits (~orhan89@151.91.188.35.bc.googleusercontent.com) (Ping timeout: 240 seconds)
2021-08-27 19:41:40 × elf_fortrez quits (~elf_fortr@adsl-72-50-7-8.prtc.net) (Quit: Client closed)
2021-08-27 19:42:40 × dsrt^ quits (~dsrt@12.16.129.111) (Ping timeout: 240 seconds)
2021-08-27 19:42:48 → notzmv joins (~zmv@user/notzmv)
2021-08-27 19:42:56 <byorgey> Does lens provide a combinator of type (something like) MonadState s m => Lens' s a -> (a -> m a) -> m s ?
2021-08-27 19:43:16 → dsrt^ joins (~dsrt@12.16.129.111)
2021-08-27 19:43:28 <byorgey> I can do it with get >>= theLens f where f :: a -> m a , but wondered if there was already an operator to do this
2021-08-27 19:43:35 → orhan89 joins (~orhan89@151.91.188.35.bc.googleusercontent.com)
2021-08-27 19:44:07 <byorgey> :t \lens f -> get >>= lens f
2021-08-27 19:44:08 <lambdabot> MonadState a m => (t -> a -> m b) -> t -> m b
2021-08-27 19:44:10 × Codaraxis__ quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-27 19:46:26 <hololeap> I found a solution to my problem that seems ok: make a new typeclass for semigroups/monoids that have a "short-circuit state", so that wrappers can know whether or not to evaluate the second argument to `sappend`: http://sprunge.us/hYNINa
2021-08-27 19:47:36 <byorgey> In other words, I want to apply an update to the component of the monadic state targeted by the lens, but the update may itself have some effects in the monad
2021-08-27 19:48:10 × hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2021-08-27 19:48:47 → hyiltiz joins (~quassel@31.220.5.250)
2021-08-27 19:52:16 <byorgey> wait, I'm not even sure get >>= lens f does what I want, because I think that throws out the returned state which has the updated thing in it. Maybe it should be get >>= lens f >>= put.
2021-08-27 19:55:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-27 19:57:13 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 250 seconds)
2021-08-27 19:57:28 → azeem joins (~azeem@176.200.202.67)
2021-08-27 19:58:32 <byorgey> oh, that doesn't work because the put overwrites any changes to the state made by the 'lens f' part! Never mind, maybe there's no concise, lawful way to do this, because what if the effects of the 'lens f' part modify the part of the state the lens is targeting?
2021-08-27 19:59:38 <byorgey> In my situation that's not the case, but anyway, I will stick with something like do { a <- use lens; a' <- f a; lens %= a' }
2021-08-27 20:01:10 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-27 20:01:28 → lavaman joins (~lavaman@98.38.249.169)
2021-08-27 20:04:58 → Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com)
2021-08-27 20:06:13 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-08-27 20:06:25 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-27 20:09:07 × oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds)
2021-08-27 20:10:39 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-08-27 20:10:47 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 240 seconds)
2021-08-27 20:10:56 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-27 20:11:31 → azeem joins (~azeem@176.200.202.67)
2021-08-27 20:12:49 × argento quits (~argent0@191.81.228.237) (Ping timeout: 248 seconds)
2021-08-27 20:18:53 × Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 250 seconds)
2021-08-27 20:20:13 × Athas quits (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-27 20:20:23 → Athas joins (athas@sigkill.dk)
2021-08-27 20:23:25 <shachaf> byorgey: I guess the odd thing about that type is that the (a -> m a) function knows about both a and s.
2021-08-27 20:29:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-08-27 20:29:16 × chisui quits (~chisui@200116b868a14e009fa6896fe3af5cba.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-08-27 20:30:54 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 250 seconds)
2021-08-27 20:31:07 × sszark quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2021-08-27 20:31:13 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-08-27 20:32:26 → azeem joins (~azeem@176.200.202.67)
2021-08-27 20:33:22 → sszark joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se)
2021-08-27 20:34:16 → jumper149 joins (~jumper149@80.240.31.34)
2021-08-27 20:35:06 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-08-27 20:35:37 → wysteriary[m] joins (~wysteriar@2001:470:69fc:105::a42e)
2021-08-27 20:38:07 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds)
2021-08-27 20:38:25 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-27 20:40:47 × qbt quits (~edun@user/edun) (Ping timeout: 240 seconds)
2021-08-27 20:45:53 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 248 seconds)
2021-08-27 20:47:03 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-08-27 20:47:20 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-27 20:48:00 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-27 20:48:01 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 252 seconds)
2021-08-27 20:48:55 → azeem joins (~azeem@176.200.202.67)
2021-08-27 20:51:52 × pbrisbin quits (~patrick@174-081-116-011.res.spectrum.com) (Ping timeout: 252 seconds)
2021-08-27 20:52:43 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-08-27 20:53:07 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 240 seconds)
2021-08-27 20:55:23 → azeem joins (~azeem@176.200.202.67)
2021-08-27 20:58:19 × ubert quits (~Thunderbi@91.141.37.164.wireless.dyn.drei.com) (Ping timeout: 250 seconds)
2021-08-27 20:59:34 × tput quits (~tim@24.244.29.189) (Ping timeout: 252 seconds)
2021-08-27 21:02:00 → dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net)
2021-08-27 21:02:53 × dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2021-08-27 21:04:49 × mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 250 seconds)
2021-08-27 21:05:23 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-08-27 21:11:13 → argento joins (~argent0@191.81.228.237)
2021-08-27 21:14:45 × fendor_ quits (~fendor@77.119.210.198.wireless.dyn.drei.com) (Remote host closed the connection)
2021-08-27 21:15:01 → elf_fortrez joins (~elf_fortr@adsl-72-50-4-145.prtc.net)
2021-08-27 21:20:01 → acidjnk_new joins (~acidjnk@p200300d0c72b95925da55fe159cc0756.dip0.t-ipconnect.de)
2021-08-27 21:20:26 → Pickchea joins (~private@user/pickchea)
2021-08-27 21:20:27 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 240 seconds)
2021-08-27 21:20:48 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-27 21:21:12 → azeem joins (~azeem@176.200.202.67)
2021-08-27 21:21:38 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-27 21:29:12 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-08-27 21:32:22 → doors joins (~a@p200300ef970830a645b8de8f8152bf35.dip0.t-ipconnect.de)
2021-08-27 21:33:07 × azeem quits (~azeem@176.200.202.67) (Ping timeout: 252 seconds)
2021-08-27 21:33:11 → minimario joins (~minimario@2603:900a:1600:ba00:a4f2:2ae3:8f32:437f)
←Prev  Next→
Page 1 .. 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 .. 18046

All times are in UTC.