Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 420 421 422 423 424 425 426 427 428 429 430 .. 5022
— 502,152 events total
2020-10-05 05:38:37 → thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-05 05:39:59 → hyiltiz joins (~quassel@82.118.227.47)
2020-10-05 05:39:59 × hyiltiz quits (~quassel@82.118.227.47) (Changing host)
2020-10-05 05:39:59 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-10-05 05:42:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-05 05:42:32 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds)
2020-10-05 05:43:21 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-05 05:43:21 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-05 05:43:21 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-05 05:43:42 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:68ef:3717:d255:fea6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-05 05:44:54 → lpy joins (~lpyfist@unaffiliated/elysian)
2020-10-05 05:44:54 → zacts joins (~zacts@dragora/developer/zacts)
2020-10-05 05:46:55 × thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-05 05:50:25 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-10-05 05:55:59 × tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 265 seconds)
2020-10-05 05:56:08 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-05 05:58:39 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-10-05 06:00:02 × tekojo quits (~tekojo@s91904426.blix.com) ()
2020-10-05 06:01:18 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-05 06:01:18 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-05 06:01:18 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-05 06:05:46 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-05 06:07:34 → tomku joins (~tomku@unaffiliated/tomku)
2020-10-05 06:11:37 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 264 seconds)
2020-10-05 06:12:35 → zebrag joins (~inkbottle@aaubervilliers-654-1-80-159.w86-212.abo.wanadoo.fr)
2020-10-05 06:12:35 × inkbottle quits (~inkbottle@aaubervilliers-654-1-101-122.w86-212.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-10-05 06:13:21 <Squarism> I often fall into this situation I want to shove a bunch of parameterized types into a big datastructure and foreget their types and then want to pick out values from the big structure and reconstruct their types. I gathered that this is not "right". Are there any "ugly tricks" you can use to atleast save the type info to be able to restore the values to their correct type?
2020-10-05 06:14:37 <dsal> I've never needed to lose a type in Haskell code. It's not clear to me what pattern you're referring to.
2020-10-05 06:15:00 <MarcelineVQ> yeah, don't forget their types. but you can google existential antipattern for some techniques
2020-10-05 06:16:24 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-05 06:17:07 × jedws quits (~jedws@121.209.186.103) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-05 06:19:01 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-05 06:19:50 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 256 seconds)
2020-10-05 06:27:29 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-05 06:29:01 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-05 06:30:14 <jackdk> do you have a concrete instance of where you want this? Often it's a problem-solving impulse from other experience that doesn't work so well in Haskell
2020-10-05 06:35:10 × conal quits (~conal@209.58.132.107) (Quit: Computer has gone to sleep.)
2020-10-05 06:35:10 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-05 06:35:57 × tzh quits (~tzh@2601:448:c500:5300::143b) (Quit: zzz)
2020-10-05 06:37:02 <Squarism> jackdk, I have this idea atm : https://paste.ofcode.org/TGvEbepNQbjtWRqKzgkgkd
2020-10-05 06:38:20 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-05 06:38:20 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-05 06:38:20 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-05 06:38:49 → sQVe joins (~sQVe@unaffiliated/sqve)
2020-10-05 06:39:07 <Squarism> In this case I want to be able to traverse an SType and determine the type of the list. That should be any of the "data P..." types
2020-10-05 06:39:40 → whiteline joins (~whiteline@unaffiliated/whiteline)
2020-10-05 06:43:59 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-05 06:44:33 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 258 seconds)
2020-10-05 06:47:33 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-05 06:47:36 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-05 06:48:33 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-05 06:48:40 → Sanchayan joins (~Sanchayan@136.185.184.11)
2020-10-05 06:49:02 × todda7 quits (~torstein@athedsl-238951.home.otenet.gr) (Ping timeout: 272 seconds)
2020-10-05 06:49:55 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-05 06:51:45 → idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-10-05 06:52:41 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-05 06:53:42 <dsal> What do you want to do with the type?
2020-10-05 06:54:12 <dsal> I keep thinking you're bumping up against optics, but I don't fully understand your intention.
2020-10-05 06:54:43 → simonbusborg joins (~simonbusb@217.151.98.163)
2020-10-05 06:54:56 × Noldorin quits (~noldorin@unaffiliated/noldorin) (Ping timeout: 246 seconds)
2020-10-05 06:56:05 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-05 06:56:07 <dsal> The P types don't seem to be doing anything of value here. You can already disambiguate with the S constructor.
2020-10-05 06:57:47 <dsal> Do you mean `SList` should be `SList [SType]` ?
2020-10-05 06:57:49 × shatriff quits (~vitaliish@217.27.153.240) (Remote host closed the connection)
2020-10-05 06:57:52 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-aodidipmuxccpmsk) (Quit: Connection closed for inactivity)
2020-10-05 06:58:09 → fendor joins (~fendor@77.119.129.78.wireless.dyn.drei.com)
2020-10-05 07:00:43 <dsal> If so, then the type of that list will always be the same and can have values represented by any of the constructors. If you mean something else, I don't know what that'd be. (I don't understand what your forall is intended to do). You can't have a list of an unspecified type meaningfully.
2020-10-05 07:01:44 <dsal> I think it'd be easier to understand what the code your were trying to write with this these data types would be doing instead of how you think you'd express the types.
2020-10-05 07:02:12 <dsal> But I meant to go to bed before midnight, and failed, so oops.
2020-10-05 07:03:38 → jespada joins (~jespada@90.254.246.48)
2020-10-05 07:03:58 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 260 seconds)
2020-10-05 07:06:43 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-05 07:06:44 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-05 07:06:44 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-05 07:08:23 → John20 joins (~John@82.46.59.122)
2020-10-05 07:08:29 → alp joins (~alp@2a01:e0a:58b:4920:710e:4c3d:416d:5e7c)
2020-10-05 07:09:25 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2020-10-05 07:11:52 × toorevitimirp quits (~tooreviti@117.182.181.38) (Ping timeout: 265 seconds)
2020-10-05 07:13:09 → jedws joins (~jedws@121.209.186.103)
2020-10-05 07:14:33 × carlomagno1 quits (~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-05 07:15:03 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 260 seconds)
2020-10-05 07:15:11 → carlomagno joins (~cararell@inet-hqmc01-o.oracle.com)
2020-10-05 07:18:17 × michalrus quits (m@michalrus.com) (Ping timeout: 258 seconds)
2020-10-05 07:18:18 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-05 07:18:18 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-05 07:18:18 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-05 07:20:41 → mav2 joins (~mav@p5b02806a.dip0.t-ipconnect.de)
2020-10-05 07:21:12 → michalrus joins (m@michalrus.com)
2020-10-05 07:22:00 <dminuoso> I extract a list of IP addresses, and I want to bring them into a data structure in which I can coalesce adjoined IP ranges, or at give a coalesced representation.
2020-10-05 07:22:29 <dminuoso> For the purpose of this, we could also consider IP addresses as just numbers, so Im getting a list of numbers (or some of them might be intervals).
2020-10-05 07:23:35 → tbreslein joins (~tbreslein@2a02:8108:140:44f8::3cc4)
2020-10-05 07:24:45 × michalrus quits (m@michalrus.com) (Client Quit)
2020-10-05 07:25:05 <dminuoso> My initial instinct was to just build up a binary trie and make some kind of algorithm on that, but I cant find a trivial algorithm for that
2020-10-05 07:26:02 <dminuoso> There's of course the very naive approach of just taking the list, sorting it, and fusing adjoined neighbors repeatedly, but that has poor complexity
2020-10-05 07:26:35 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds)
2020-10-05 07:27:42 <MarcelineVQ> What does 'coalesce adjoined IP ranges' mean?
2020-10-05 07:28:24 → chaosmasttter joins (~chaosmast@p200300c4a73b2e0100f3c5a701cd6e56.dip0.t-ipconnect.de)
2020-10-05 07:28:29 <dminuoso> So say the list consists of ["10.0.0.0/24", "10.0.1.0/24", ...] I want those first two to merge into ["10.0.0.0/23", ...]
2020-10-05 07:29:09 <dminuoso> Or, in terms of a more numeric view, if I have [Range 1 1, Range 2 2, Range 3 5, Range 6 7], I want to turn that into [Range 1 5, Range 6 7]
2020-10-05 07:29:37 <dminuoso> Not necessarily directly, just some data structure in which I can coalesce them
←Prev  Next→
Page 1 .. 420 421 422 423 424 425 426 427 428 429 430 .. 5022

All times are in UTC.