Re: [tlaplus] Re: tla+Deps

To give my 2 cents as someone who spent a few years using Nix (via NixOS) day to day, I think it would be complementary to the kind of deps management discussed here.

For libraries that are easily distributed as JARs, Nix doesn't add much because JVM class loading takes over anyway (at least, if you include Maven and co's management which is relatively reliable). For anything that depends on something "foreign" (e.g might require shared library loading, dynamic linking, external binaries, anything a more specialized tool won't understand), Nix is excellent at creating an environment where that shared resource is where you need it no matter what.

For example, Nix would shine when it comes to ensuring the right version of say GraphViz is available for rendering state graphs. The main caveat is that to use Nix at all you need Nix installed alongside its own versions (and install scripts / "derivations") of any dependencies you need, which can be kinda inconvenient if you're not committed to using it. Not invasive mind you - it can just sit in your home folder - but heavier than some solutions.

-Finn

On Wed, Apr 19, 2023 at 11:05 AM Paulo Feodrippe <pfeodrippe@xxxxxxxxx> wrote:

Re:nix, no I didn’t have the opportunity to use it yet

On Wed, Apr 19, 2023 at 2:03 PM Paulo Feodrippe <pfeodrippe@xxxxxxxxx> wrote:
Oh nice! I can contribute to the RFC when I or other people start to use this more and more.

The main idea is to leverage deps repos like maven and clojars so we don’t need to create a dependency package manager for ourselves. So tools for dependency conflicts, visualization etc are already built.

I still need to write some small guides like how to publish and need to open a MR to the TLA+ VSCode extension so things are better integrated (e.g. people should be able to choose which Deps they want from VSCode itself which would write the options to the settings.json file).

Glad to hear about this RFC :D

On Wed, Apr 19, 2023 at 11:01 AM Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
Very cool! There's an RFC about this - would you like to contribute your thoughts & experiences? https://github.com/tlaplus/rfcs/issues/8

Lately I've also been messing around with Nix. It has a lot of interesting ideas about dependency management and reproducibility. Have you looked at its way of doing things?

Andrew

On Tuesday, April 18, 2023 at 8:51:25 AM UTC-4 pfeod...@xxxxxxxxx wrote:
Check https://tladeps.org.

Just a small experiment on how to have decentralized modules for TLA+, it supports the great TLA+ VSCode extension out of the box.

Check the video and instructions in the website.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a5114219-0532-4586-816b-f7c4ad5adfb5n%40googlegroups.com.

--
Paulo Rafael Feodrippe,
Desenvolvedor

--
Paulo Rafael Feodrippe,
Desenvolvedor

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CANDKcwDeY9nTDvacQGrd7X9bF%2BzM57nWN6Chf07iaoycrjy4og%40mail.gmail.com.