Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4775 4776 4777 4778 4779 4780 4781 4782 4783 4784 4785 .. 5022
— 502,152 events total
2021-05-07 09:48:07 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 09:48:23 × jgt_ quits (~jgt@37.63.16.154) (Read error: Connection reset by peer)
2021-05-07 09:48:41 <DigitalKiwi> like half of my prs for nixpkgs are haskell package fixes >.>
2021-05-07 09:49:05 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 09:49:06 <DigitalKiwi> and a few dozen more i never get around to ;_;
2021-05-07 09:50:20 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 09:50:23 × xmj1 quits (~xmj@185.163.110.100) (Remote host closed the connection)
2021-05-07 09:50:35 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 09:52:14 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 09:52:28 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 09:53:20 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-07 09:54:02 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-07 09:56:36 × NieDzejkob quits (~quassel@195.149.98.3) (Remote host closed the connection)
2021-05-07 09:56:38 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 09:57:24 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 09:57:33 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-07 09:57:45 dminuoso longs for a way to alterF a nested map with lens style
2021-05-07 09:57:47 → NieDzejkob joins (~quassel@195.149.98.3)
2021-05-07 09:58:01 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 09:58:22 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 09:59:30 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 10:00:08 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 10:00:36 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-07 10:00:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 10:01:26 <boxscape> if the evaluation of a value does not diverge, is it "convergent"?
2021-05-07 10:01:31 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 10:01:32 <boxscape> s/value/expression
2021-05-07 10:02:10 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 10:02:39 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 10:02:53 <Taneb> dminuoso: how do you mean?
2021-05-07 10:04:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-07 10:04:59 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-07 10:06:13 → iMast777 joins (~iMast777@185.204.1.185)
2021-05-07 10:09:03 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-07 10:09:13 → mikeplus32 joins (~mike@103.25.58.152)
2021-05-07 10:09:23 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 10:10:21 <dminuoso> % Map.empty & at "hello" . non Map.empty . at "world" ?~ "!!!"
2021-05-07 10:10:21 <yahb> dminuoso: ; <interactive>:69:1: error:; Not in scope: `Map.empty'; Perhaps you meant `M.empty' (imported from Data.Map); No module named `Map' is imported.; <interactive>:69:30: error:; Not in scope: `Map.empty'; Perhaps you meant `M.empty' (imported from Data.Map); No module named `Map' is imported.
2021-05-07 10:10:54 <dminuoso> Uh. Well I can do the above with just plain map. But I want to have a version of it, that uses alterF underneath to throw some arbitrary exception on a duplicate key
2021-05-07 10:11:05 ← vilpan parts (~0@212.117.1.172) ()
2021-05-07 10:11:16 → Codaraxis__ joins (~Codaraxis@92.223.89.164)
2021-05-07 10:11:22 <Taneb> In recent versions of lens, at is defined in terms of alterF
2021-05-07 10:12:05 <Taneb> They have basically the same type signature (there's a flip needed but other than that...)
2021-05-07 10:12:26 <dminuoso> Right, but I dont even know how to communicate say IO effects through lens itself.
2021-05-07 10:12:44 <dminuoso> Consider:
2021-05-07 10:12:50 <dminuoso> % :t (?~)
2021-05-07 10:12:50 <yahb> dminuoso: ASetter s t a (Maybe b) -> b -> s -> t
2021-05-07 10:13:10 → stree joins (~stree@68.36.8.116)
2021-05-07 10:14:11 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-07 10:15:21 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-05-07 10:20:02 → kderme joins (2e675c7c@46-92-124.adsl.cyta.gr)
2021-05-07 10:23:03 → Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
2021-05-07 10:24:28 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds)
2021-05-07 10:24:40 → darjeeling_ joins (~darjeelin@122.245.123.138)
2021-05-07 10:24:47 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2021-05-07 10:26:05 → knupfer joins (~Thunderbi@200116b82b63890078292d1cefc44e89.dip.versatel-1u1.de)
2021-05-07 10:27:13 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-07 10:27:43 → nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1)
2021-05-07 10:29:26 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-07 10:29:42 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-05-07 10:30:19 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-07 10:31:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-07 10:32:07 × nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Ping timeout: 258 seconds)
2021-05-07 10:33:36 → fendor joins (~fendor@178.165.131.207.wireless.dyn.drei.com)
2021-05-07 10:34:32 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-07 10:36:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-07 10:37:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-07 10:42:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-07 10:43:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-07 10:44:58 <dminuoso> Taneb: Does this make sense? Something like `set` has no way to communicate failure.
2021-05-07 10:46:12 <Taneb> dminuoso: it's not a neat fit into the lens heirarchy but I'm sure it's possible with a lens to a maybe value
2021-05-07 10:47:22 <dminuoso> I guess that's possible, but it'd be very adhoc - with nested maps this doesn't autoamtically propagate
2021-05-07 10:49:35 × acidjnk_new2 quits (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-07 10:53:24 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds)
2021-05-07 10:55:30 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 10:59:40 × roconnor quits (~roconnor@host-45-58-195-183.dyn.295.ca) (Ping timeout: 252 seconds)
2021-05-07 11:09:19 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-07 11:10:46 × SoF quits (~SoF@unaffiliated/skillyonfire) (Ping timeout: 260 seconds)
2021-05-07 11:11:13 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-07 11:11:27 → viluon joins (uid453725@gateway/web/irccloud.com/x-mlofrvtxcaynugov)
2021-05-07 11:11:33 → roconnor joins (~roconnor@host-23-91-186-24.dyn.295.ca)
2021-05-07 11:13:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-05-07 11:14:45 → thongpv87 joins (~thongpv87@27.76.236.94)
2021-05-07 11:14:58 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-07 11:15:17 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-07 11:18:15 <cub3s_> How often does cabal hell happen in practice nowadays with the "nix-style" cabal builds?
2021-05-07 11:18:39 <cub3s_> merijn, thanks for the suggestions yesterday btw. it turns out cabal with nix-style builds is working for me fine and i have no need for nix
2021-05-07 11:18:58 <dminuoso> cub3s_: not at all, it's the point of nix-style builds.
2021-05-07 11:19:38 <dminuoso> (though you should probably define what you mean by "cabal hell")
2021-05-07 11:19:42 <cub3s_> dminuoso, ok, so one particular piece of program can be using multiple versions of a package if that solves the "hell"
2021-05-07 11:20:08 <__monty__> It still happens if you use v2-install afaik? So just don't.
2021-05-07 11:20:11 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-07 11:20:16 <__monty__> (Less frequently though.)
2021-05-07 11:20:44 <dminuoso> cub3s_: No, generally you need a coherent build plan.
2021-05-07 11:22:13 <dminuoso> Arguably, you should want this anyway. Having inconsistent versions simultaenously quickly leads to a lot of problems.
2021-05-07 11:22:38 <dminuoso> https://www.well-typed.com/blog/2014/09/how-we-might-abolish-cabal-hell-part-1/ is perhaps an interesting read
2021-05-07 11:22:55 <dminuoso> (There's also parts 2 and 3 on the blog)
2021-05-07 11:23:21 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-07 11:24:04 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-07 11:27:13 → urodna joins (~urodna@unaffiliated/urodna)
←Prev  Next→
Page 1 .. 4775 4776 4777 4778 4779 4780 4781 4782 4783 4784 4785 .. 5022

All times are in UTC.