Re: Struggling to write Dissecting Guix, Part 2

On Wed Jan 25, 2023 at 7:39 PM GMT, david larsson wrote: > https://towardsdatascience.com/monads-from-the-lens-of-imperative-programmer-af1ab8c8790c I'm not too sure about this one, I'm afraid. -- ( signature.asc Description: PGP signature

Re: Struggling to write Dissecting Guix, Part 2

On Wed Jan 25, 2023 at 3:54 PM GMT, Wojtek Kosior wrote: > While Guile is dynamically typed, functions we define in it generally > do expect their arguments to be of certain types. And they also > generally guarantee their return values to be of certain types. So even > though there's no static typ

Re: Struggling to write Dissecting Guix, Part 2

Hey Simon, On Wed Jan 25, 2023 at 9:58 AM GMT, zimoun wrote: > 1:https://simon.tournier.info/posts/2021-02-03-monad.html Thanks! This looks helpful. -- ( signature.asc Description: PGP signature

purpose of GnuTLS versions

Hi Guix, We currently have two versions of GnuTLS packaged: 3.7.2 represented by the `gnutls` variable and 3.7.7 represented by the `gnutls-latest` variable. `guix refresh -l` reports that changes to the 3.7.2 version would cause 14770 rebuilds, but only 30 rebuilds for the 3.7.7 version. As

Re: no (package definition) patch merged since Jan 2?

On 1/25/23 20:37, Andy Tai wrote: Hi, by looking at https://issues.guix.gnu.org/search?query=is%3Aclosed no patch issues as listed in the issue tracker processed since Jan 2... not sure if this is something Guix maintainers should be concerned about. Something is wrong with Mumi search. htt

no (package definition) patch merged since Jan 2?

Hi, by looking at https://issues.guix.gnu.org/search?query=is%3Aclosed no patch issues as listed in the issue tracker processed since Jan 2... not sure if this is something Guix maintainers should be concerned about.

Re: Struggling to write Dissecting Guix, Part 2

On 2023-01-25 08:12, ( wrote: Hello Guix, I've been struggling to write Part 2 of Dissecting Guix; I'm just not sure where to start to explain monads. It's hard for a variety of reasons, those being that: - Guile has no type system, so you can't express monads in terms of types - Guix do

Re: Compiler bootstrapping requirements

Robby Zambito writes: > Hi, > > I remember seeing some details about certain compilers not being > allowed in Guix due to having an inadequate bootstrapping process, but > I can't seem to find it right now. I'm looking to write a package for > the Cyclone Scheme[1] implementation. The compiler re

Re: Struggling to write Dissecting Guix, Part 2

Hi, Paren! > - Guile has no type system, so you can't express monads in terms of types While Guile is dynamically typed, functions we define in it generally do expect their arguments to be of certain types. And they also generally guarantee their return values to be of certain types. So even th

Re: Proposed changes to the commit policy

Hello, Am Mon, Jan 23, 2023 at 10:24:56AM +0100 schrieb Simon Tournier: > > Am Wed, Jan 18, 2023 at 04:54:58PM + schrieb Kaelyn: > >> On a side note, I'd recently discovered the flag to pass. To have a > >>subject prefix like "[PATCH core-updates]" (as mentioned in the manual > >>for staging a

Uniformly treating native-inputs in native or cross build contexts

Hello Guix, In #60857, I've unified the cross/standard builders for the pyproject-build-system; even their bags representation are now shared. It enables fixing things such as #25235. Going forward, I think it'd be beneficial to apply the same strategy to other build systems, for consistency and

Re: valgrind

Am Wed, Jan 25, 2023 at 01:39:29PM +0100 schrieb zimoun: > Is the package ’valgrind/interactive’ accessible with valgrind@3.17 > needed? Indeed, maybe it could be dropped, especially if it is broken > for some use-case. I do not know whether it is broken; the question is rather whether it is need

Compiler bootstrapping requirements

Hi, I remember seeing some details about certain compilers not being allowed in Guix due to having an inadequate bootstrapping process, but I can't seem to find it right now. I'm looking to write a package for the Cyclone Scheme[1] implementation. The compiler requires a copy of itself to build fr

Re: valgrind

Hi, On Wed, 25 Jan 2023 at 12:01, Andreas Enge wrote: > (define-public valgrind > (package > (name "valgrind") > (version "3.17.0") > (properties '((hidden? . #t) > > (define-public valgrind/interactive > (package/inherit >valgrind >(version "3.17.0") > > (define-publ

valgrind

Hello, I am a bit confused about the valgrind situation. Currently there are three packages: (define-public valgrind (package (name "valgrind") (version "3.17.0") (properties '((hidden? . #t) (define-public valgrind/interactive (package/inherit valgrind (version "3.17.0"

Making sense of webkitgtk and webkitgtk-next

Hi Guix, I noticed that webkitgtk-next is defined in such a way that its name is set to "webkitgtk", not "webkitgtk-next". This contrasts with how other *-next packages are defined, such as emacs-next. With respect to webkitgtk, if I run: --8<---cut here---start-

Re: Struggling to write Dissecting Guix, Part 2

Hi, On Wed, 25 Jan 2023 at 07:12, "(" wrote: > I've been struggling to write Part 2 of Dissecting Guix; I'm just not sure > where to start to > explain monads. Here my attempt to explain monads using Guile: 1:https://simon.tournier.info/posts/2021-02-03-monad.html My aim was to provide t

etc/commiter.scm should not commit

> There have been countless times when I was using etc/commiter.scm and it > commited more than it should have and then slapped an incorrect message > on it. I wrote the initial version of etc/committer.scm to help me make 200+ commits for R updates. It performs that task as intended. If it do

[PATCH] download: Add url-fetch/xz-file.

* guix/download.scm (url-fetch/xz-file): New variable. --- guix/download.scm | 43 +++ 1 file changed, 43 insertions(+) diff --git a/guix/download.scm b/guix/download.scm index 2e9ecb43fc..cce62c4185 100644 --- a/guix/download.scm +++ b/guix/download.scm