IRC channel logs

<daviid>ArneBab: I am not sure why you think your appproach is better, are you familiar with the CL declare [declaim, proclaim} spec? Did you ever used it?

<daviid>i have very little time to offer to discuss this, but I recommend you read the spec, and try some 'for yourself', using sbcl for example ...

<daviid>the declare [proclaim declaim] approach supposes an appropriate compiler backend layer, not a piece of cake, but (my opinion is that) from a user perspective, declare is 'a must'

<ArneBab>daviid: I have not used declare, that’s why I asked. I’m only using kind-of-common-lisp in Emacs.

<sibl>I always wanted to write a simple cli torrent client, I first wanted to write in Zig, but since its not stable yet, and I've been digging into Guix, I wonder how doable that would be in Guile ? I am not sure how practical that would be to write one in Guile compared to something like Perl

<ArneBab>It’s just that if it needs compiler-support, we can’t get it portable among schemes. (but see the discussion with mwette: there are patterns we could make portable)

<ArneBab>There’s now a repository for define-typed: https://hg.sr.ht/~arnebab/guile-define-typed

<daviid>since declare (declaim proclaim) has a spec, it is by definition, so much more protable then any other approach

<daviid>that a specific scheme implement it or not is another question, but protable, just like clos/mop, it is by the very existence of the spec - which, as i mntioned is order of magnitude beyyer then your define-type approach

<z572>daviid: Where to find declare spec

<daviid>z572: duckduckgo common lisp declare proclaim declaim spefication and read your prefered entry ...

<daviid>here is one, but there are others ... https://lisp-docs.github.io/cl-language-reference/chap-3/d-d-declarations

<daviid>this one is, imo, among the best available 'out there' - http://clhs.lisp.se/Body/s_declar.htm

<z572>daviid: this is cl, not scheme, many of the concepts are different, I thought you were talking about gambit's declare having specifications

<daviid>nothing is definerent wrt to the declare protocol, none sence

<daviid>you just 'talk to the compiler', and so far, there just no oterh better protocol then the cl declare/proclaim/declaim spec

<hwpplayer1>Are there any differences between Debian Bookworm version 3.0.8 and the latest manual ?

<identity>probably, some features may not be present (like custom string ports from 3.0.10 iirc)

<hwpplayer1>I see

<hwpplayer1>Thanks identity

IRC channel logs

2025-07-21.log