Logs: liberachat/#haskell
| 2021-06-12 09:06:34 | × | yangby quits (~secret@115.199.110.48) (Client Quit) |
| 2021-06-12 09:07:53 | → | yangby joins (~secret@115.199.110.48) |
| 2021-06-12 09:10:48 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-12 09:11:51 | <nilof> | Hey, so I'm wondering, is there a functional priority queue that becomes as efficient as a list when the input is sorted? |
| 2021-06-12 09:14:16 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-12 09:14:22 | <nilof> | alternatively I'm actually interested in a priority queue that can be merged efficiently with an already sorted lazy list |
| 2021-06-12 09:14:26 | × | bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Quit: Reconnecting) |
| 2021-06-12 09:14:43 | → | bb010g joins (~bb010gmat@2001:470:69fc:105::9a5) |
| 2021-06-12 09:14:51 | <nilof> | without materializing the list |
| 2021-06-12 09:16:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-12 09:17:23 | <Rembane_> | nilof: Maybe I'm a bit too tired here, so I don't understand the problem properly, but how do you use your list? |
| 2021-06-12 09:18:19 | <nilof> | It's to implement an rKanren like DSL |
| 2021-06-12 09:18:46 | <nilof> | where I want to replace breadth first search with a priority queue |
| 2021-06-12 09:18:58 | <nilof> | so it can do Djkstra or A* |
| 2021-06-12 09:20:14 | × | yangby quits (~secret@115.199.110.48) (Quit: Go out for a walk and buy a drink.) |
| 2021-06-12 09:21:03 | <Rembane_> | nilof: Got it. If your input is always sorted, you can use a list instead, but otherwise there are quite some packages and other resources: https://stackoverflow.com/questions/6976559/comparison-of-priority-queue-implementations-in-haskell |
| 2021-06-12 09:22:27 | <nilof> | right, the thing I was wondering is if there is something more efficient for merging them lazily, the most basic strategy is to have a binary tree with lists as the leafs |
| 2021-06-12 09:23:09 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 244 seconds) |
| 2021-06-12 09:24:10 | <c_wraith> | yes, there are more efficient things. |
| 2021-06-12 09:24:26 | <c_wraith> | you can build a priority queue that looks only at the heads of lists |
| 2021-06-12 09:24:54 | <c_wraith> | amusingly, discussion of one of the few examples I've seen of that came up on r/haskell today |
| 2021-06-12 09:26:14 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-12 09:26:32 | <c_wraith> | https://www.cs.hmc.edu/%7Eoneill/papers/Sieve-JFP.pdf builds such a priority queue as an incidental thing. (it's a bit broken and only works right for that particular use case...) |
| 2021-06-12 09:27:42 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-12 09:32:53 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-06-12 09:33:31 | → | leah2 joins (~leah@vuxu.org) |
| 2021-06-12 09:37:16 | → | da39a3ee5e6b4b0d joins (~textual@67.23.55.162) |
| 2021-06-12 09:39:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-12 09:44:09 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-12 09:44:24 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-12 09:44:37 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-12 09:45:03 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-12 09:45:26 | <vaibhavsagar[m]> | hi, I'm trying to build an application with profiling by editing `cabal.project.local` as indicated here (https://cabal.readthedocs.io/en/3.4/nix-local-build.html?highlight=profiling#how-can-i-profile-my-library-application) but it's giving me errors about `base`? "Perhaps you haven't installed the "p_dyn" libraries for package ‘base-4.14.1.0’?" |
| 2021-06-12 09:46:17 | <vaibhavsagar[m]> | how do I install these? |
| 2021-06-12 09:47:43 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-12 09:48:41 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-12 09:48:50 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-12 09:50:15 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-12 09:51:24 | <c_wraith> | they should come with ghc |
| 2021-06-12 09:52:36 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-12 09:52:48 | <vaibhavsagar[m]> | hmm, I'm using a GHC provided by Nixpkgs, maybe that's the issue? |
| 2021-06-12 09:53:19 | <c_wraith> | yeah, it probably removed them to reduce the download size. no idea how to tell it to include them |
| 2021-06-12 09:53:34 | <vaibhavsagar[m]> | Is there a way to get a GHC with profiling libraries from Nixpkgs? |
| 2021-06-12 09:53:40 | <c_wraith> | Not a Nix user, so I can't help much there. |
| 2021-06-12 09:56:39 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-12 09:57:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) (Remote host closed the connection) |
| 2021-06-12 09:57:58 | <guest61> | I'm running ghc on arm64, could I use cable to install libraries? |
| 2021-06-12 10:02:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-12 10:03:09 | → | ubert joins (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) |
| 2021-06-12 10:09:57 | × | MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds) |
| 2021-06-12 10:12:06 | <gentauro> | would it be possible to get a `Haskell` `annotate` + `freeze` just like what exists for `Dhall`? https://docs.dhall-lang.org/discussions/Safety-guarantees.html#code-injection |
| 2021-06-12 10:12:29 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-12 10:14:10 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-12 10:14:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-12 10:17:31 | × | jespada quits (~jespada@90.254.242.55) (Ping timeout: 265 seconds) |
| 2021-06-12 10:18:57 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-12 10:19:20 | <merijn> | Define "possible" :p |
| 2021-06-12 10:19:25 | → | jespada joins (~jespada@90.254.242.55) |
| 2021-06-12 10:19:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-06-12 10:19:42 | <merijn> | given sufficient manpower/money and stubbornness very few things are impossible :p |
| 2021-06-12 10:22:55 | × | doublex_ quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Read error: Connection reset by peer) |
| 2021-06-12 10:23:19 | → | doublex_ joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) |
| 2021-06-12 10:23:30 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host) |
| 2021-06-12 10:24:54 | × | benin03 quits (~benin@183.82.205.218) (Ping timeout: 264 seconds) |
| 2021-06-12 10:25:01 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-12 10:25:04 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-12 10:25:54 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-12 10:27:21 | → | leif joins (uid501722@id-501722.stonehaven.irccloud.com) |
| 2021-06-12 10:30:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-12 10:31:55 | → | benin03 joins (~benin@183.82.205.218) |
| 2021-06-12 10:33:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-12 10:35:00 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-12 10:35:54 | xff0x_ | is now known as xff0x |
| 2021-06-12 10:37:12 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2021-06-12 10:39:22 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-12 10:40:05 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-12 10:40:05 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-06-12 10:46:30 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 264 seconds) |
| 2021-06-12 10:48:07 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: No route to host) |
| 2021-06-12 10:48:22 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-12 10:48:25 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-12 10:51:06 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-12 10:53:18 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-06-12 10:54:39 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-06-12 10:58:59 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:6149:a9e8:86ec:e649) |
| 2021-06-12 10:59:58 | → | edwtjo joins (~edwtjo@user/edwtjo) |
| 2021-06-12 11:10:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-12 11:13:15 | → | Guest9 joins (~Guest9@43.250.157.5) |
| 2021-06-12 11:15:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-12 11:16:28 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-12 11:19:11 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-12 11:22:10 | → | bfrk joins (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) |
| 2021-06-12 11:26:15 | × | bfrk quits (~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Quit: bfrk) |
| 2021-06-12 11:27:10 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-12 11:30:23 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-12 11:33:18 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 256 seconds) |
| 2021-06-12 11:40:04 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-06-12 11:40:06 | → | mpt joins (~tom@2a02:908:1862:49e0::5) |
| 2021-06-12 11:40:23 | <DigitalKiwi> | just redefine the words |
| 2021-06-12 11:43:16 | → | dunkeln joins (~dunkeln@94.129.65.28) |
All times are in UTC.