Nix

[Steinway Wu]

Hi, 

I just noticed that there are some Nix scripts in the ATS source repo. I never knew we have Nix efforts. Could someone provide some insights into the experiences using Nix for ATS? Is it working? Does someone maintain a Nix package for ATS? 

[Artyom Shalkhakov]

Hi Steinway,

These days Brandon Barker maintains ATS packages for NixOS:

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ats2/default.nix

You can install ATS2 as follows

$ nix-env -i ats2

I used to have a separate environment for ATS2 development on my laptop. Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a much simpler approach.

2018-05-01 9:25 GMT+06:00 Steinway Wu <stein...@gmail.com>:

Hi, 

I just noticed that there are some Nix scripts. I never knew we have Nix efforts. Could someone provide some insights into the experiences using Nix for ATS? Is it working? Does someone maintain a Nix package for ATS? 

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/cdb0af26-dc72-4955-9ffe-5591d05022e2%40googlegroups.com.

--

Cheers,
Artyom Shalkhakov

[Steinway Wu]

Cool! I just learned about Nix recently, and it looks (at first glance, at least) promising. Do you (or Brandon)  have any experiences comparing packaging individual ATS libraries using NPM vs using Nix? 

[Artyom Shalkhakov]

2018-05-02 10:25 GMT+06:00 Steinway Wu <stein...@gmail.com>:

Cool! I just learned about Nix recently, and it looks (at first glance, at least) promising. Do you (or Brandon)  have any experiences comparing packaging individual ATS libraries using NPM vs using Nix? 

I don't much to share here.

We do use Docker at work for some intricate build environments, it's very nice since everything is compartmentalized and you know exactly what stuff is for what. Also helps with updates.

Nix is similar in this regard, you get to know your dependencies very well. But I didn't use it like that, just as a distro for my laptop.

Brandon, would you kindly chime in?

On Tuesday, May 1, 2018 at 11:29:29 PM UTC-4, Artyom Shalkhakov wrote:

Hi Steinway,

These days Brandon Barker maintains ATS packages for NixOS:

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ats2/default.nix

You can install ATS2 as follows

$ nix-env -i ats2

I used to have a separate environment for ATS2 development on my laptop. Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a much simpler approach.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/576d8977-57a5-4618-ae45-c9b1c1e5fef9%40googlegroups.com.

--

Cheers,
Artyom Shalkhakov

[Brandon Barker]

Hey - Yeah, I like Nix in principle. I actually use it in a docker container with Ubuntu 16.04 base, but it would probably be an easier time if I used NixOS directly (unfortunately, there isn't a stable docker-packaged container for it - I tried, but there are issues with systemd). I'm also using it primarily as a way to install software, but would eventually like to use it as a "yarn on steroids" or the like, but for entire system environments.

As for individual packages in nix for ATS libraries, I think it would be great. I don't imagine it would be terribly difficult to do, since it would be quite similar to the standard build derivation. In my opinion, nix seems to work better if everything is in nix, though it isn't a requirement. If you have an initial package in mind, we can try it sometime soon.

This weekend, I was just made aware of hnix (part of haskell-nix) that should enable nix expressions to be emitted from haskell, which will be nice for the added types. But, I haven't tried it yet.

On Wednesday, May 2, 2018 at 12:33:42 AM UTC-4, Artyom Shalkhakov wrote:

2018-05-02 10:25 GMT+06:00 Steinway Wu <stein...@gmail.com>:

Cool! I just learned about Nix recently, and it looks (at first glance, at least) promising. Do you (or Brandon)  have any experiences comparing packaging individual ATS libraries using NPM vs using Nix? 

I don't much to share here.

We do use Docker at work for some intricate build environments, it's very nice since everything is compartmentalized and you know exactly what stuff is for what. Also helps with updates.

Nix is similar in this regard, you get to know your dependencies very well. But I didn't use it like that, just as a distro for my laptop.

Brandon, would you kindly chime in?

On Tuesday, May 1, 2018 at 11:29:29 PM UTC-4, Artyom Shalkhakov wrote:

Hi Steinway,

These days Brandon Barker maintains ATS packages for NixOS:

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/ats2/default.nix

You can install ATS2 as follows

$ nix-env -i ats2

I used to have a separate environment for ATS2 development on my laptop. Nothing fancy, just ATS2, binutils and the like. For me, Docker provides a much simpler approach.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.

Visit this group at https://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/576d8977-57a5-4618-ae45-c9b1c1e5fef9%40googlegroups.com.

--

Cheers,
Artyom Shalkhakov