this post was submitted on 31 Dec 2023
64 points (100.0% liked)

Linux

1259 readers
62 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
AgreeableLandscape@lemmy.ml
nooter692@lemmy.ml
MarcellusDrum@lemmy.ml
cypherpunks@lemmy.ml
cyclohexane@lemmy.ml
d3Xt3r@lemmy.nz
64
What are your opinions of Guix? (lemmy.sdf.org)
submitted 10 months ago by CanadaPlus@lemmy.sdf.org to c/linux@lemmy.ml
49 comments fedilink hide all child comments
 

Reposting because it looks like federation failed.

I was just reading about it, it sounds like a pretty cool OS and package manager. Has anyone actually used it?

you are viewing a single comment's thread
view the rest of the comments
[–] Ramin_HAL9001@lemmy.ml 5 points 10 months ago* (last edited 10 months ago) (2 children)

Using Scheme instead of a purely functional language like Nix as the Nix/Guix expression language is a bold choice I am not sure I agree with.

Scheme is the most functional of all non-purely-functional languages that I know of. What's more, the parts of Guix in which packages are defined are quite pure, even using monads for some things, so it is really not too different from the Nix language.

[–] Atemu@lemmy.ml 1 points 10 months ago (1 children)

the parts of Guix in which packages are defined are quite pure, even using monads for some things

Monads have nothing to do with purity. In fact, one of the most infamous usages of them is Haskell's IO monad which is probably the most impure construct in the entire language.

it is really not too different from the Nix language.

Hm, I can't help but think that a lisp dialect can never really be similar to any language except another lisp.

[–] Spore@lemmy.ml 1 points 10 months ago

No, monadic interface is used to programmatically access the store instead of being used to define packages. Packages are pure in Guix.

[–] CanadaPlus@lemmy.sdf.org 1 points 10 months ago (1 children)

So I guess they just wanted to use an established language?

[–] jaeme@lemmy.ml 1 points 10 months ago (1 children)

Guile Scheme is the official extensions language for the GNU Project. Guile and Guix's history often intersect as Guix is seen as the shining poster child of Guile and contributes to a lot of Guile's development.

When you say "Scheme" you should also refer to what type of Scheme you're referring to as there are multiple with different feature sets/goals.