There's some work on Nix on Windows:
* https://nixos.org/wiki/Nix_on_Windows
* https://ternaris.com/lab/nix-on-windows.html
On 13/02/2016 12:01 AM, Philipp Hausmann wrote:
Interestingly enough, we have some of the same questions for the Agda
programming language. Currently, Agda doesn't really
Interestingly enough, we have some of the same questions for the Agda
programming language. Currently, Agda doesn't really have any package
manager, so there are no backwards-compatibility problems with using Nix.
It would be really nice if we could use Nix as the one-and-only package
management
If you don't want a new package manager, why a new language?
10 февр. 2016 г. 0:40 пользователь написал:
> Hi! I've tried to start this discussion a couple times on IRC, but it
> hasn't really gotten attention, so:
>
> I'm one of the developers of Monte, a new programming
Hi Thomas, (I'm unsure who you were addressing :-) but here's my response)
I've been studying Peter and Gleb's work. This function is a thing of
beauty: [1]
On Wed, Feb 10, 2016 at 7:14 PM, Thomas Hunger wrote:
> I think the idea is exciting but difficult. Some notes /
Hi! I've tried to start this discussion a couple times on IRC, but it
hasn't really gotten attention, so:
I'm one of the developers of Monte, a new programming language. We don't
want to write a package manager, because package managers are hard. (Also
we've been watching npm happen for the past
Quoting stewart mackenzie (2016-02-09 18:32:01)
> We're doing almost exactly this at github.com/fractalide/fractalide.
> Fractalide is a Flow-based programming language implemented in Rust
>
> We're also facing many of the issues you are :-)
>
> Rust has a slow compilation, so nix's lazy
There are so many details to distributing software. Let me quickly take a
try to dump my thoughts.
Have a static metadata file that is well defined (has a specification with
a version number of the format).
If you pick JSON, be aware it doesn't allow comments by specification. If
you add
Hi,
While I don't work on any new language I do work with large sets of packages
which I have to keep stable and at the same time develop them.
What bothers me with in most programming languages and their package managers
is that there is no known-good-set of working together packages. Stackage