nonguix VS dhall

I use the nonguix channel for non-free stuff https://gitlab.com/nonguix/nonguix. It has the mainline linux kernel (instead of the free linux-libre), proprietary drivers and a bunch of other proprietary stuff.

Guix has these things called "channels" containing package definitions. They're actually just git repositories. nonguix was made to have nonfree stuff. It has a lot of stuff including the mainline linux kernel.

https://gitlab.com/nonguix/nonguix you can use non free software if you need to. But the project itself is a gnu project and as such should not encourage users to use non free software.

I think Guix approach is good, community helps with open-source packages, some third-party manages the non-free channels. And they are as easy to use

https://gitlab.com/nonguix/nonguix

There are flatpacks, snaps, appimages, PPAs, channels... why would you except a linux distro maintainer to work for free for a billion dollar company? Testing and maintain their software

My background consists of using/developing Guix, openSUSE/SUSE as well of OBS. I'm a co-maintainer at nonguix, where we provide non-free software which is not allowed at upstream Guix. We even run our own little build service, called Cuirass. This softwore is developed mostly by https://www.reddit.com/user/mothacehe/ :)

$ guix describe Generation 22 May 15 2022 19:02:44 (current) guix 9860c90 repository URL: https://git.savannah.gnu.org/git/guix.git branch: master commit: 9860c90e8e5362e0e843efbd45f4563b9746a196 guix-gaming-games 9924ad0 repository URL: https://gitlab.com/guix-gaming-channels/games.git branch: master commit: 9924ad0a66f98ea1b538761fd49521acf4f689a3 flat 094746c repository URL: https://github.com/flatwhatson/guix-channel.git branch: master commit: 094746c1e2e90f2df1e598ab1fd0abb4d75ce84d nonguix 1de0c32 repository URL: https://gitlab.com/nonguix/nonguix branch: master commit: 1de0c32142c54bc73af5556d5e45c77152b31f0f

Thanks for the link. Although I was just planning to follow the steps in the https://gitlab.com/nonguix/nonguix repo.

You'll want to read about "channels" which are additional software repositories you can include in Guix from anywhere, There are other channels, but the main one for non-free is https://gitlab.com/nonguix/nonguix

Even GNU Guix System (which is a fully libre, FSF approved distro) can be used to install non-free packages. All you have to do is add the nonguix repository.

```

If you mean installing Dhall's dependencies (https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...), those aren't too crazy, but they're definitely not all "beginner level". Template Haskell in particular is quite heavyweight.

Ok, lets be specific. Lets write a comment to explain this function:

https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...

I haven't tried it but apparently you can compile to Nix from Dhall:

> You can use this compiler to program Nix using the Dhall language. This package targets people who wish Nix had a type system.

https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...

If the problem is the syntax and people wants some other format that compiles to nix, there's dhall

https://dhall-lang.org/

https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...

https://www.haskellforall.com/2017/01/typed-nix-programming-...

Dhall is a generic config language with some programming capabilities (but not turing complete) that can compile to json, yaml, and other formats, like in this instance nix.

For my GSoC project, I built from scratch the dhall-csv package on the Dhall Haskell implementation Github Repository. Said package provides two executables, dhall-to-csv (which converts Dhall files into CSV files) and csv-to-dhall (which converts CSV files into Dhall files). It also provides Haskell libraries with the functions that translate bidirectionally between Dhall and CSV.

> If you add constraints (like not being able to feed the program to itself as is done in the halting problem and not allowing unbounded loops) then it is possible to determine if a program will terminate or not.

Dhall is a good example - https://github.com/dhall-lang/dhall-haskell .

See also https://dhall-lang.org/

That just seems like an even greater nightmare to me. Soon you would have to learn to read and understand a custom program in a Turing-complete language for each and every installation.

The proper solution is a DSL, just a better DSl. Or perhaps a DSL embedded in something like dhall <https://dhall-lang.org/>, but definitely not a general-purpose programming language.

Dhall