Nix Documentation | 419 Members | |
| Discussion about documentation improvements around the Nix ecosystem | 87 Servers |
| Sender | Message | Time |
|---|---|---|
| 17 Jan 2024 | ||
| The usage of assertions in examples is inspired by Rust doctests. | 12:18:23 | |
In reply to @mightyiam:matrix.orgHow does a user specify input? What kind of output does does a doc tester produce? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:22:53 | |
In reply to @mightyiam:matrix.org* How does a user specify input (is there some sort of expected syntax for that?)? What kind of output does does a doc tester produce? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:23:13 | |
| * How does a user specify input (is there some sort of expected syntax for that, or is it just a nix assertion expression)? What kind of output does does a doc tester produce? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:23:24 | |
| * How does a user specify input (e.g. is there some sort of expected syntax for that, or is it just a nix assertion expression; if the latter, can the tool take a file which is just a list of assertions to verify)? What kind of output does does a doc tester produce (is it just a pass/fail, is there a way to extract the LHS and RHS of the input assertions)? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:25:18 | |
| * How does a user specify input (e.g. is there some sort of expected syntax for that, or is it just a nix assertion expression; if the latter, can the tool take a file which is just a list of assertions to verify, even if the file is not itself a proper "*.nix"?)? What kind of output does does a doc tester produce (is it just a pass/fail, is there a way to extract the LHS and RHS of the input assertions)? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:26:50 | |
| * How does a user specify input, precisely? If I look for example at the Rust doctests page, there's a fair bit there about syntax. There's also the additional constraint that these things exist in doc strings. We don't really/necessarily have docstrings here, so how do I present a list of assertions for a nix repl to check? What kind of output does does a doc tester produce (is it just a pass/fail, is there a way to extract the LHS and RHS of the input assertions)? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:30:57 | |
| I lost you at "input". What's input, please? | 12:31:03 | |
In reply to @mightyiam:matrix.orgSorry, I realized that I wasn't being too clear, so I tried to work no improving what I mean. How do I give the program something to test? Do I give it a nix expression that is an assertion? Which assertion function precisely should I be using in that case? lib.assertMessage? One of the arguments to lib.assertMessage is a predicate to test. | 12:35:45 | |
In reply to @mightyiam:matrix.org* Sorry, I realized that I wasn't being too clear, so I tried to work on improving what I mean. How do I give the program something to test? Do I give it a nix expression that is an assertion? Which assertion function precisely should I be using in that case? lib.assertMessage? One of the arguments to lib.assertMessage is a predicate to test. | 12:35:54 | |
* Sorry, I realized that I wasn't being too clear, so I tried to work on improving what I mean. How do I give the program something to test? Do I give it a nix expression that is an assertion? Which assertion function precisely should I be using in that case? lib.assertMessage? | 12:36:10 | |
| * How does a user specify input, precisely? If I look for example at the Rust doctests page, there's a fair bit there about syntax. There's also the additional constraint that these things exist in doc strings. We don't really/necessarily have docstrings here, so how do I present to the program what is essentially a list of assertions for a nix repl to check? What kind of output does does a doc tester produce (is it just a pass/fail, is there a way to extract the LHS and RHS of the input assertions)? Would you find it useful to co-opt the language/structure in the issue linked above, or does it pose unnecessary constraints on your work? | 12:36:45 | |
The doctester is really dumb when it comes to expressions. It just passes them to nix eval. | 12:36:52 | |
| There are assertions built into the language. | 12:37:17 | |
I'm not familiar with lib.assertMessage. | 12:37:32 | |
| We're working on this in mob format regularly. Wanna join? | 12:37:58 | |
In reply to @mightyiam:matrix.orgI would be very happy to. I'm comfortable with Rust as well. | 12:38:46 | |
| Here's the schedule https://mobusoperandi.com/mobs/more.html | 12:43:54 | |
In reply to @bzzm3r:matrix.org Low-tech is a really bad term to describe what I mean, sorry. It’s really about three things:
And of course it’s a trade-off between amount of ongoing manual work and threshold to contribute. Because the system is so large and the number of people with deep knowledge so small, I’m inclined to lower the threshold and hope to attract more talent with a gentle learning curve. The more people care, the more will eventually run into the hard problems, the more may have the right combination of time, skill, and motivation to finally solve them. | 14:07:08 | |
| 18 Jan 2024 | ||
| 04:01:25 | ||
| Redacted or Malformed Event | 11:09:37 | |
| Redacted or Malformed Event | 11:10:31 | |
| 12:08:10 | ||
| I all! I finally have time and energy for nixos stuff again. The thing I'm most interested in advancing RFC145 and providing documentation to previously undocumented functions outside of lib that are very relevant to many maintainers and that I personally also use outside of nixpkgs. I'm currently reading up all the discussions. It's a lot so if anybody can point me in a general direction of open tasks that aren't rejected in another thread or more generally what I could do to be helpful, I'd be very happy. | 16:58:35 | |
| I'd be happy to just work on PRs like this that document some functions if that would be helpful for example. | 17:04:51 | |
In reply to @philipp:xndr.deHi! If you want to work on RFC145-related work, you should talk to Johannes Kirschbauer @hsjobeki I think. To document undocumented stuff, I opened https://github.com/NixOS/nixpkgs/issues/276033 a while ago, but you can also scroll through this list of issues and see if you find anything that's applicable and interests you: https://github.com/NixOS/nixpkgs/issues?q=is%3Aopen+is%3Aissue+label%3A%229.needs%3A+documentation%22 | 17:38:18 | |
| Programming stuff where i could need help:
Documentation stuff:
Thanks. I am always looking to extend the scope of Noogle. If we use the current toolset that i have as a benchmark. Given the 1.5k noogle discovered functions the answer currently is somewhat ~95%. Maybe we can get better, but we have to understand some more edge cases. A correct position tracking is Key to finding the doc-comments. In the future this may become part of native nix, but thats a long way to go. And I currently focus on building incrementally better tools, until all questions are resolved and either I or somebody else volunteers to integrate that into nix natively. | 19:04:22 | |
| * Hey, every piece of help is very valuable ;) Programming stuff where i could need help:
Documentation stuff:
Thanks. I am always looking to extend the scope of Noogle. If we use the current toolset that i have as a benchmark. Given the 1.5k noogle discovered functions the answer currently is somewhat ~95%. Maybe we can get better, but we have to understand some more edge cases. A correct position tracking is Key to finding the doc-comments. In the future this may become part of native nix, but thats a long way to go. And I currently focus on building incrementally better tools, until all questions are resolved and either I or somebody else volunteers to integrate that into nix natively. | 19:05:11 | |
| I'm afraid noogle won't have a long future if it's not integrated into the source it relies on.. | 19:06:01 | |
| Yes thats the dilemma. But rfc145 is the smallest common denominator. And i'd like to bring things closer together. | 19:07:19 | |