Hey - Yeah, I like Nix in principle. I actually use it in a docker 
container with Ubuntu 16.04 base 
<https://github.com/CornellCAC/docker-nix-intellij>, 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 <[email protected] <javascript:>>:
>
>> 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 [email protected] <javascript:>.
>> To post to this group, send email to [email protected] 
>> <javascript:>.
>> 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
>>  
>> <https://groups.google.com/d/msgid/ats-lang-users/576d8977-57a5-4618-ae45-c9b1c1e5fef9%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
>
>
> -- 
> Cheers,
> Artyom Shalkhakov
>

-- 
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 [email protected].
To post to this group, send email to [email protected].
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/83e35c36-a7cb-466f-93ba-4dec11649872%40googlegroups.com.

Reply via email to