From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Zelphir Kaltstahl Newsgroups: gmane.lisp.guile.user Subject: Re: cond(itionals) with optional execution of statements Date: Sun, 12 Sep 2021 18:36:03 +0000 Message-ID: <230505e1-0fb2-27cf-6578-6805b1c4b6cf@posteo.de> References: <6d4ff570-1b0c-8158-a236-a8c00102f7e4@posteo.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22957"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Guile User To: Damien Mattei Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sun Sep 12 20:39:10 2021 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mPUNi-0005n6-0A for guile-user@m.gmane-mx.org; Sun, 12 Sep 2021 20:39:10 +0200 Original-Received: from localhost ([::1]:56918 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mPUNg-0001KX-TW for guile-user@m.gmane-mx.org; Sun, 12 Sep 2021 14:39:08 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:59648) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mPUKr-0006E5-A3 for guile-user@gnu.org; Sun, 12 Sep 2021 14:36:14 -0400 Original-Received: from mout02.posteo.de ([185.67.36.66]:38865) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mPUKl-0007Lp-Qf for guile-user@gnu.org; Sun, 12 Sep 2021 14:36:12 -0400 Original-Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 54F67240107 for ; Sun, 12 Sep 2021 20:36:05 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1631471765; bh=ItLXz0W+4MgiAzKlviLscDnxhJho5d4Cka0tBY9iDRU=; h=Subject:To:Cc:From:Date:From; b=iebXCu+w5Guyi67bLIhDPgOae7WYAKV4DqwYRrTDNS9u2FshtqHmP8pBTjbNVlfzj QG8MI+ki6ENt85Tv0TNqW2U3UyCGpQu7z7LcKOIukFde61kDRzqjBY8CecfITjclAB gHvmWfJuJWU0J27VXbIsdyxhazTgj+Ek5Rv0zZXHCU2wPRxitkrmAdIsA5JqyjBOy8 TqWIbYK5h9rn71Q9/zjhmf57wbt868QsBXs5HOWoMwMU5OpwJQIShyPwb+Hg+xYSrZ JFlA1Q8av0V68nXOtREkZgR1gtJYvWafok7vbGf5rWTlUmQud105fhCGSx0og4kVYo VTACUZ9k2Z6xQ== Original-Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4H6yx03Rypz9rxP; Sun, 12 Sep 2021 20:36:04 +0200 (CEST) In-Reply-To: Content-Language: en-US Received-SPF: pass client-ip=185.67.36.66; envelope-from=zelphirkaltstahl@posteo.de; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.23 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:17730 Archived-At: Hi Damien! I see! Indeed, some indentation happening there. I get the point now, thank you. Could be well worth it, but it depends on how much you get out of it, compared to how much additional mental load you get for introducing a new control flow concept. Sometimes it is worth taking a step back and refactoring part of the logic out into a separate procedure, which then starts at a lower level of indentation again, avoiding the problem. I don't know your scenario though, so this is only a general idea. I would probably write the `cond` version a bit different, to avoid `begin` and break a few lines at other places to avoid the indentation taking a lot of horizontal space. I am not sure it makes sense in your context, but here it is: ~~~~ (define (ssigma-proto L t) (set! cpt {cpt + 1}) (define ls (length L)) (define dyn (array-ref dyna ls t)) ;; dyna[ls][t] means 0: unknown solution, 1: solution found, 2: no solution (cond [(not (zero? dyn)) (one? dyn)] [(null? L) (array-set! dyna 2 ls t) #f] ;; return #f [else (let [(c (first L))] (cond [{c = t} ;; c is the solution (array-set! dyna 1 ls t) #t] ;; return #t [else (let [(R (rest L))] (cond [{c > t} ;; continue searching a solution in the rest (let [(s (ssigma-proto R t))] (array-set! dyna (one-two s) ls t) s)] ;; return s [else ;; c < t at this point ;; c is part of the solution or his approximation ;; or c is not part of solution (let [(s {(ssigma-proto R {t - c}) or (ssigma-proto R t)})] (array-set! dyna (one-two s) ls t) s)]))]))])) ~~~~ (Removed some empty lines for brevity in this e-mail. Sometimes I like good empty lines too! Could the `set!` be replaced using a `define`?) I guess the expressions in braces are using infix operations like the `or` or `=` in the condition of `{c = t}`. Best regards, Zelphir On 9/12/21 7:05 PM, Damien Mattei wrote: > Hello Zelphir, > > condx evaluate all code(s) in the 'exec' block until a conditional is true, it > then evaluate the consequent code of course. > So ,yes your true it saves a lot of nesting parenthesis as in this example: > > here a code with condx and without it: > > > (define (ssigma-proto-condx L t) > > (set! cpt {cpt + 1}) > > (define ls (length L)) > (define dyn (array-ref dyna ls t)) > > ;; dyna[ls][t] means 0: unknown solution, 1: solution found, 2: no solution > > (condx [(not (zero? dyn)) (one? dyn)] > [(null? L) (array-set! dyna 2 ls t) #f] ;; return #f > > [exec (define c (first L))] > > ;; c is the solution > [{c = t} (array-set! dyna 1 ls t) #t] ;; return #t > > [exec (define R (rest L))] > > ;; continue searching a solution in the rest > [{c > t} (define s (ssigma-proto R t)) > (array-set! dyna > (one-two s) > ls t) > s] ;; return s > > ;; else : > ;; c < t at this point > ;; c is part of the solution or his approximation > ;; or c is not part of solution > [else (define s {(ssigma-proto R {t - c}) or (ssigma-proto R t)}) > (array-set! dyna (one-two s) > ls t) > s])) > > > without condx: > > > > (define (ssigma-proto L t) > > (set! cpt {cpt + 1}) > > (define ls (length L)) > (define dyn (array-ref dyna ls t)) > > ;; dyna[ls][t] means 0: unknown solution, 1: solution found, 2: no solution > > (cond [(not (zero? dyn)) (one? dyn)] > [(null? L) (array-set! dyna 2 ls t) #f] ;; return #f > > [else (let [(c (first L))] > > (if {c = t} ;; c is the solution > > (begin > (array-set! dyna 1 ls t) > #t) ;; return #t > > ;; else > (let [(R (rest L))] > > (if {c > t} ;; continue searching a solution in the rest > > (let [(s (ssigma-proto R t))] > (array-set! dyna > (one-two s) > ls t) > > s) ;; return s > > ;; else > ;; c < t at this point > ;; c is part of the solution or his approximation > ;; or c is not part of solution > (let [(s {(ssigma-proto R {t - c}) or (ssigma-proto R t)})] > (array-set! dyna (one-two s) > ls t) > s))))) > ] )) > > > there a lot more of indentation and nesting. > > Note also that the use of let () in condx definition allow to use define in > consequent and 'exec' block. > > Damien > > > On Sun, Sep 12, 2021 at 11:41 AM Zelphir Kaltstahl > wrote: > > Hello Damien! > > I am not sure I understand the reasoning behind condx: I think cond is > already a > macro, which only evaluates a consequent, if the predicate of its case is #t. > Additionally multiple expressions are possible in each branch. > > To clarify, I ask: What is the case, where condx does or does not evaluate > some > code, when cond would not or would? Or is it rather about the different > nesting > / sequence of expressions, which condx seems to enable? I think the flow you > demonstrate might save a bit of nesting. > > Best regards, > Zelphir > > On 9/11/21 11:14 AM, Damien Mattei wrote: > > hello, > > > > i wrote a little macro (file condx.scm)  that allow :  cond(itionals) with > > optional execution of statements before: > > > > (define-syntax condx > >   (syntax-rules (exec) > >     ((_) > >      (error 'condx "No else clause")) > >     ((_ (else e ...)) > >      (let () e ...)) > >     ((_ (exec s ...) d1 ...) > >      (let () s ... (condx d1 ...))) > >     ((_ (t e ...) tail ...) > >      (if t > >          (let () e ...) > >          (condx tail ...))))) > > > > use it like that: > > > > mattei@macbook-pro-touch-bar library-FunctProg % guile > > GNU Guile 3.0.7 > > Copyright (C) 1995-2021 Free Software Foundation, Inc. > > > > Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. > > This program is free software, and you are welcome to redistribute it > > under certain conditions; type `,show c' for details. > > > > Enter `,help' for help. > > scheme@(guile-user)> (load "condx.scm") > > ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0 > > ;;;       or pass the --no-auto-compile argument to disable. > > ;;; compiling /Users/mattei/Dropbox/git/library-FunctProg/condx.scm > > ;;; compiled > > > /Users/mattei/.cache/guile/ccache/3.0-LE-8-4.5/Users/mattei/Dropbox/git/library-FunctProg/condx.scm.go > > scheme@(guile-user)> (define x 1) > > > > (condx ((= x 7) 'never) > >         (exec > >           (define y 3) > >           (set! x 7)) > >         ((= y 1) 'definitely_not) > >         (exec > >           (set! y 10) > >           (define z 2)) > >         ((= x 7) (+ x y z)) > >         (else 'you_should_not_be_here)) > > $1 = 19 > > > > i share it to have idea about critics or idea to improve it as it will be > > part of  a Scheme extension to scheme language that will include other > > features.... > > > > have a good day > > > > Damien > > -- > repositories: https://notabug.org/ZelphirKaltstahl > > -- repositories: https://notabug.org/ZelphirKaltstahl