Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-13 07:01:08 <lambdabot> pure maybeGetMeSomeAction >>= \ a -> case a of { Just x -> x; _ -> fail ""}
2020-11-13 07:01:47 <dsal> If I'm ever seen in public again, that's gonna be on my shirt.
2020-11-13 07:02:35 <bqv> ha
2020-11-13 07:03:43 <dsal> This is another case of undo killing magic, though.
2020-11-13 07:04:57 <bqv> @pf \a -> case a of { Just x -> x; _ -> fail "" }
2020-11-13 07:04:57 <lambdabot> Maybe you meant: pl bf
2020-11-13 07:05:06 <bqv> @pl \a -> case a of { Just x -> x; _ -> fail "" }
2020-11-13 07:05:06 <lambdabot> (line 1, column 17):
2020-11-13 07:05:06 <lambdabot> unexpected '{'
2020-11-13 07:05:06 <lambdabot> expecting variable, "(", operator or end of input
2020-11-13 07:05:24 <bqv> i get it, because pointless. oh you.
2020-11-13 07:05:44 <bqv> @pl \a -> case a of Just x -> x; _ -> fail "";
2020-11-13 07:05:44 <lambdabot> (line 1, column 26):
2020-11-13 07:05:44 <lambdabot> unexpected '>'
2020-11-13 07:05:44 <lambdabot> expecting operator
2020-11-13 07:05:48 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4085:c5d6:bbdf:5f4e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-13 07:05:59 <dsal> That's weird. It doesn't seem to like case.
2020-11-13 07:06:19 <bqv> indeed
2020-11-13 07:06:56 <dsal> :t fromMaybe (fail "")
2020-11-13 07:06:57 <lambdabot> MonadFail m => Maybe (m a) -> m a
2020-11-13 07:07:37 <bqv> nice
2020-11-13 07:15:09 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-13 07:15:24 xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-13 07:17:00 × alx741 quits (~alx741@186.178.110.202) (Ping timeout: 258 seconds)
2020-11-13 07:17:56 zoran119 joins (~zoran119@124-169-22-52.dyn.iinet.net.au)
2020-11-13 07:19:19 <bqv> dsal: is AWS any less blackbox-y than azure?
2020-11-13 07:19:56 <bqv> tbh even if it is it's still a cloud and at this point i think i just hate clouds
2020-11-13 07:20:02 bqv young man shouts at cloud
2020-11-13 07:22:19 dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-13 07:26:52 <dsal> Haha. I don't know azure at all. I know a little AWS and some of Google cloud from the inside. I use aws some.
2020-11-13 07:29:40 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-13 07:29:58 alx741 joins (~alx741@186.178.110.152)
2020-11-13 07:31:08 borne joins (~fritjof@200116b86489f5004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-13 07:31:34 × jedws quits (~jedws@101.184.175.183) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-13 07:35:46 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-13 07:38:01 × blankhart quits (~blankhart@pool-100-35-219-3.nwrknj.fios.verizon.net) (Ping timeout: 246 seconds)
2020-11-13 07:41:00 × jakob_ quits (~textual@p200300f49f16220035a786c99145f1b1.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-13 07:42:12 z0 joins (~z0@188.251.69.121)
2020-11-13 07:43:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-11-13 07:43:57 <z0> hi. when using ghcid with the -l flag, is it possible to get coloured hlint output?
2020-11-13 07:46:10 mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-13 07:46:52 jakob_ joins (~textual@p200300f49f162200e1f79f04dc8b19b7.dip0.t-ipconnect.de)
2020-11-13 07:47:02 chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-13 07:47:12 vilpan joins (~0@212.117.1.172)
2020-11-13 07:47:28 Sanchayan joins (~Sanchayan@2401:4900:3309:dec3:efb6:6366:cb4:cbe4)
2020-11-13 07:48:27 <dminuoso> jakob_: map and concat are the Monad interface of list.
2020-11-13 07:48:35 <dminuoso> map is just fmap, and concat is join
2020-11-13 07:48:49 <dminuoso> and equivalently concatMap (the combination of those two) is just (=<<)/(>>=)
2020-11-13 07:49:30 <dminuoso> dsal: also, you can just undo list comprehensions
2020-11-13 07:49:41 <dminuoso> @undo [x | Just x <- xs]
2020-11-13 07:49:41 <lambdabot> concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) xs
2020-11-13 07:53:14 danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-13 07:55:31 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-13 07:58:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-13 07:59:46 dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-13 07:59:48 knupfer joins (~Thunderbi@200116b8249e5f00a4b9fafffef91ebc.dip.versatel-1u1.de)
2020-11-13 08:00:39 × knupfer quits (~Thunderbi@200116b8249e5f00a4b9fafffef91ebc.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-13 08:00:47 knupfer joins (~Thunderbi@200116b8249e5f0024181441028bf74f.dip.versatel-1u1.de)
2020-11-13 08:06:32 × borne quits (~fritjof@200116b86489f5004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-13 08:09:07 Varis joins (~Tadas@unaffiliated/varis)
2020-11-13 08:11:26 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-11-13 08:12:09 alp joins (~alp@2a01:e0a:58b:4920:3450:37c2:436b:8f86)
2020-11-13 08:12:20 borne joins (~fritjof@200116b86489f5004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-13 08:18:13 × Lord_of_Life quits (~Lord@46.217.223.48) (Changing host)
2020-11-13 08:18:13 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-11-13 08:19:22 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-13 08:19:54 jedws joins (~jedws@101.184.175.183)
2020-11-13 08:19:56 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th)
2020-11-13 08:24:55 × hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-11-13 08:25:53 kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-11-13 08:29:49 × thebnq quits (~bnq@herrokitty.com) (Ping timeout: 256 seconds)
2020-11-13 08:29:56 thebnq joins (~bnq@herrokitty.com)
2020-11-13 08:30:51 dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-13 08:34:23 <bqv> Do any of you have tricks to make cloud-like dev a ...better experience? Is it just suffering from horizon to horizon, or is there hope somewhere?
2020-11-13 08:34:54 × mojtaba__ quits (~bquest_12@5.200.109.144) (Quit: Leaving)
2020-11-13 08:35:01 gproto23 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 08:35:06 <dminuoso> From experience, and Im saying this as a company that is building out their own data center, cloud rarely offers reasonable advantages.
2020-11-13 08:35:38 × todda7 quits (~torstein@ppp-2-84-17-169.home.otenet.gr) (Ping timeout: 272 seconds)
2020-11-13 08:35:42 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-13 08:36:13 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-13 08:36:29 <dminuoso> You have unpredictable costs, and a cost scaling that favors the cloud provider not you (cloud is only cheaper if you need to scale *down* not *up)
2020-11-13 08:36:39 <dminuoso> You have semantics that dont fit into traditional tooling
2020-11-13 08:37:22 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-mfqotttnhsysdcxs) (Quit: Connection closed for inactivity)
2020-11-13 08:37:54 <dminuoso> But really, the cost part is amazing. You first get tricked into thinking "this is cheaper because the cost scales with usage", just to realize this works in both directions later on...
2020-11-13 08:38:04 jedws joins (~jedws@101.184.175.183)
2020-11-13 08:38:09 <dminuoso> (And it turns out, bare metal is just cheaper if you need to scale up)
2020-11-13 08:38:51 <bqv> Excellent
2020-11-13 08:39:03 todda7 joins (~torstein@ppp-2-84-17-169.home.otenet.gr)
2020-11-13 08:39:34 <bqv> Saved so I can parrot that to my coworkers someday…
2020-11-13 08:40:16 <dminuoso> Another thing is, most problems don't have a high variability in terms of performance needs
2020-11-13 08:40:46 <dminuoso> You usually have a narrow corridor in which you fluctuate. For most problems you dont need to randomly scale between "10 users today, 20 million tomorrow
2020-11-13 08:41:09 × jedws quits (~jedws@101.184.175.183) (Client Quit)
2020-11-13 08:41:36 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-13 08:41:44 <dminuoso> Also, cloud providers heavily force you into a vendor lockin
2020-11-13 08:42:06 × Audentity quits (~Audentity@4e69b241.skybroadband.com) (Ping timeout: 258 seconds)
2020-11-13 08:42:16 Audentity_ joins (~Audentity@4e69b241.skybroadband.com)
2020-11-13 08:42:45 <dminuoso> You want their elastic computing resources? You better also use their elastic storage solution. And their elastic backup solutions. Oh and any analystics only works with their tools now
2020-11-13 08:42:56 <dminuoso> You want to build and deploy? You're forced onto their tooling too
2020-11-13 08:43:33 jedws joins (~jedws@101.184.175.183)
2020-11-13 08:43:40 <dminuoso> And that doesn't even begin to discuss the data privacy needs.

All times are in UTC.