Honestly I’m surprised that so many people don’t know how git can be used without those repository hosting sites. That’s one way to use it, not the only way. And it’s not even the way it was originally designed for.
Git and Email are not mutually exclusive. In order to collaborate with git, you need and only need a way to send your commits to others. Commits can be formatted as plain-text files and sent through emails. That is how git has been used by its author from literally the first release of it.
Guile and Guix is way better documented than Nix. The language have more features, so you don’t have to use a hack to load packages, can actually know what is accepted in a function instead of blindly copying what others do, and it comes with a formatter.
There is a pre built distribution, you need to configure binary cache to get it. Refer to the “Substitute for nonguix” section: gitlab.com/nonguix/nonguix
You can use Nix on Guix System and vice versa, but it’s like installing them as a package manager on a foreign system. The store and packages currently are completely isolated between the two, although there’s a very early plan for a common store interface.
Nobody has mentioned that Guix is readily available on NixOS right now? Add a line to your config and it’s ready to go. Compatible with everything else.
I’d say no. Programming safely requires non-trivial transformation in code and a radical change in style, which afaik cannot be easily done automated.
Do you think that there’s any chance to convert from this to this? It requires understanding of the algorithm and a thorough rewrite. Automated tools can only generate the former one because it must not change C’s crooked semantics.