Re: [racket-users] Racket meeting tomorrow?
On Fri, Oct 01, 2021 at 12:31:27PM -0700, Sam Phillips wrote: > October 2, 2021 > 1 PM PDT > 4 PM EDT > 8 PM UTC > 10 PM CEST > > Should be the same URL as previous meetups. > > https://gather.town/app/wH1EDG3McffLjrs0/racket-users I'll try to be there even though I haven't been doing much Racketting lately. I didn't see it announced in Racket News, so I asked. -- hendrik > > Cheers, > Sam > > On Fri, Oct 1, 2021 at 9:49 AM Hendrik Boom wrote: > > > > Is there going to be a Racket online meeting at the gather site tomorrow > > on October 2? There have been on previous > > first-Saturdays-in-the-month.If so, at what time, and what's the URL? > > > > -- hendrik > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to racket-users+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-users/20211001164939.xrugfg7xlkj4pmfo%40topoi.pooq.com. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAHsjV0z50cCKJ8FkvG2fz%2BDnQ34CuWj6R1ML2_d80VmvEYG2eQ%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211001195605.mgkunetdn7kqykhd%40topoi.pooq.com.
Re: [racket-users] Re: Escape continuations for fussy code
On Fri, Oct 01, 2021 at 02:32:52PM -0400, David Storrs wrote: > On Fri, Oct 1, 2021 at 11:58 AM Hendrik Boom wrote: > > > On Fri, Oct 01, 2021 at 02:22:14PM +, Jesse Alama wrote: > > > Hello, > > > > > > Have you ever wished you could do a C-style return in the middle > > > of a block of Racket code? When you're in the heat of things with > > > a complicated problem where input values need a fair amount of > > > multi-stage extraction and validation, using cond quickly pulls > > > code to the right. My procedure is: > > > > > > * cond/case. In each branch: > > > * Define some new values safe in the knowledge of where you are > > > (extract) and perhaps check them, if necessasry (validate) > > > * Make sure you have an else branch. > > > * return to 1 and repeat as many times as necessary. > > > > > > The result: > > > > > > (cond [(foo? x) > > > (define y (bar x)) > > > (define z (jazz x y)) > > > (cond [(loopy? z) > > > (define a (yowza z)) > > > (cond [(string? a) > > > (define b (bonkers a)) > > > (cond [(number? (hoop x b)) > > > (define ...)] > > > [else > > > (error 'um)])] > > > [else > > > (error 'ugh)])] > > > [else #f])] > > > [else #f]) > > > > > I'm presuming that this code should either return #f, return a calculated > value, or raise an exception. If so, here's a version that runs in plain > racket that I find pretty easy to read. It has the advantage that the > 'return #f' parts aren't way far away from what causes them. > > (with-handlers ([false? identity] ; return #f > [any/c raise]) ; re-raise everything else > (let* ([x (if (foo? x) > x > (raise #f))] > [z (jazz x (bar x))] > [a (if (loopy? z) > (yowza z) > (raise #f))] > [b (if (string? a) > (bonkers a) > (error 'ugh))]) > (if (number? (hoop x b)) > 'all-good > (error 'um Yes. But different semantics if bar, yowza, and bonkers have side effects. If they don't, they're quite equivalent. -- hendrik > > If instead you want to return the exn that comes from error instead of > re-raising it then you can do that by removing the false? clause from the > with-handlers. NOTE: You should re-raise exn:break since otherwise the > user cannot ^C the program. > > (with-handlers ([exn:break? raise] > [any/c identity]) > ...put the let* code here...) > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKodxas7jtze%2BttcFA%2BG0ATKUFZD3rhK%2B%3Dn2U1md1zQPJSg%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211001195320.4wtga4tjwgo75jhz%40topoi.pooq.com.
Re: [racket-users] Racket meeting tomorrow?
October 2, 2021 1 PM PDT 4 PM EDT 8 PM UTC 10 PM CEST Should be the same URL as previous meetups. https://gather.town/app/wH1EDG3McffLjrs0/racket-users Cheers, Sam On Fri, Oct 1, 2021 at 9:49 AM Hendrik Boom wrote: > > Is there going to be a Racket online meeting at the gather site tomorrow > on October 2? There have been on previous > first-Saturdays-in-the-month.If so, at what time, and what's the URL? > > -- hendrik > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20211001164939.xrugfg7xlkj4pmfo%40topoi.pooq.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAHsjV0z50cCKJ8FkvG2fz%2BDnQ34CuWj6R1ML2_d80VmvEYG2eQ%40mail.gmail.com.
Re: [racket-users] Re: Escape continuations for fussy code
On Fri, Oct 1, 2021 at 11:58 AM Hendrik Boom wrote: > On Fri, Oct 01, 2021 at 02:22:14PM +, Jesse Alama wrote: > > Hello, > > > > Have you ever wished you could do a C-style return in the middle > > of a block of Racket code? When you're in the heat of things with > > a complicated problem where input values need a fair amount of > > multi-stage extraction and validation, using cond quickly pulls > > code to the right. My procedure is: > > > > * cond/case. In each branch: > > * Define some new values safe in the knowledge of where you are > > (extract) and perhaps check them, if necessasry (validate) > > * Make sure you have an else branch. > > * return to 1 and repeat as many times as necessary. > > > > The result: > > > > (cond [(foo? x) > > (define y (bar x)) > > (define z (jazz x y)) > > (cond [(loopy? z) > > (define a (yowza z)) > > (cond [(string? a) > > (define b (bonkers a)) > > (cond [(number? (hoop x b)) > > (define ...)] > > [else > > (error 'um)])] > > [else > > (error 'ugh)])] > > [else #f])] > > [else #f]) > > I'm presuming that this code should either return #f, return a calculated value, or raise an exception. If so, here's a version that runs in plain racket that I find pretty easy to read. It has the advantage that the 'return #f' parts aren't way far away from what causes them. (with-handlers ([false? identity] ; return #f [any/c raise]) ; re-raise everything else (let* ([x (if (foo? x) x (raise #f))] [z (jazz x (bar x))] [a (if (loopy? z) (yowza z) (raise #f))] [b (if (string? a) (bonkers a) (error 'ugh))]) (if (number? (hoop x b)) 'all-good (error 'um If instead you want to return the exn that comes from error instead of re-raising it then you can do that by removing the false? clause from the with-handlers. NOTE: You should re-raise exn:break since otherwise the user cannot ^C the program. (with-handlers ([exn:break? raise] [any/c identity]) ...put the let* code here...) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAE8gKodxas7jtze%2BttcFA%2BG0ATKUFZD3rhK%2B%3Dn2U1md1zQPJSg%40mail.gmail.com.
Re: [racket-users] Racket meeting tomorrow?
I truly hope that the standard time (10pm CEST, 8pm UTC) and place (gather.town) tomorrow. Although I missed a few as I was busy with other projects over the summer, I'd like to see what others are up to again ;-) See ya there! Dominik On 01. 10. 21 18:49, Hendrik Boom wrote: Is there going to be a Racket online meeting at the gather site tomorrow on October 2? There have been on previous first-Saturdays-in-the-month.If so, at what time, and what's the URL? -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/15f87298-9576-cd67-d087-6188f66a5d01%40trustica.cz.
[racket-users] Racket meeting tomorrow?
Is there going to be a Racket online meeting at the gather site tomorrow on October 2? There have been on previous first-Saturdays-in-the-month.If so, at what time, and what's the URL? -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211001164939.xrugfg7xlkj4pmfo%40topoi.pooq.com.
[racket-users] Re: Escape continuations for fussy code
On Fri, Oct 01, 2021 at 02:22:14PM +, Jesse Alama wrote: > Hello, > > Have you ever wished you could do a C-style return in the middle > of a block of Racket code? When you're in the heat of things with > a complicated problem where input values need a fair amount of > multi-stage extraction and validation, using cond quickly pulls > code to the right. My procedure is: > > * cond/case. In each branch: > * Define some new values safe in the knowledge of where you are > (extract) and perhaps check them, if necessasry (validate) > * Make sure you have an else branch. > * return to 1 and repeat as many times as necessary. > > The result: > > (cond [(foo? x) > (define y (bar x)) > (define z (jazz x y)) > (cond [(loopy? z) > (define a (yowza z)) > (cond [(string? a) > (define b (bonkers a)) > (cond [(number? (hoop x b)) > (define ...)] > [else > (error 'um)])] > [else > (error 'ugh)])] > [else #f])] > [else #f]) the Racket package parendown (see https://docs.racket-lang.org/parendown/index.html ) can reduce this a lot: (if (not #/ foo? x) #f #/ begin (define y (bar z)) (define z (jazz x y)) #/if (not #/ loopy? z) #f #/ begin (define a (yowza z)) #/if (not (string a)) (error 'ugh) #/begin (define b (bonkers a)) #/if (not (number? (hoop x b))) (error 'um) (define ...) ) Or, using let instead of define (if (not #/ foo? x) #f #/ let ((y (bar z))) #/ let ((z (jazz x y))) #/ if (not #/ loopy? z) #f #/ let ((a (yowza z))) #/ if (not (string a)) (error 'ugh) #/ let ((b (bonkers a))) #/ if (not (number? (hoop x b))) (error 'um) #/ let ((...)) -- and presumably you wanted to do someting inside all there define's ) Is this clearar? There remain * the ugly extra parentheses aroung each let-pair, which is an unnecessary tradition once you use parendown, and * the 'not's after the 'if's. which could be resolved with a three-argument check operator: (check requirement errormessage stufftodoifok) -- essentially an argument-reversed if. but this is enough to eliminate the push off the right side of the page. A heuristic when programming this way: When a function takes several arguments, define it so that the argument that is likely to be textually longer is at the end. -- hendrik > > That's an awful lot of whitespace. We're getting dragged to the > right. Pretty soon we're dealing with lines that have three dozen > spaces at the front or more. > > At times, it can even get a bit silly just how deeply nested code > can get. It can even degrade program comprehension for you & > others. It can even impede your own coding by requiring you to > scroll up to mentally re-construct the state you're in. > > This isn't necessarily a problem with Racket. I think it reflects > of the inherent fussiness of some problems. And certainly, you > can reformat the code differently to make the problem somewhat > less severe. > > Nonetheless, I certainly have found myself envying those working > in other languages where they can just bail out of a complicated > computation by just returning a value. I mean, sure, I could > raise an exception and bail out that way, right? It turns out > there's a way: escape continuations. They permit a kind of > C-style return-y programming in Racket. I've got an article ( > https://click.convertkit-mail.com/92u52qdvngtnh535n9s9/3ohphkhq39xwevtr/aHR0cHM6Ly9saXNwLnNoL2VzY2FwZS1jb250aW51YXRpb25zLWZvci1mdXNzeS1jb2RlLw== > ) up introducing escape continuations and give a simple > real-world example from web programming. > > Happy hacking, > > Jesse > > Unsubscribe ( > https://unsubscribe.convertkit-mail.com/92u52qdvngtnh535n9s9 ) | > Update your profile ( > https://preferences.convertkit-mail.com/92u52qdvngtnh535n9s9 ) | > Moltkestrasse 3d, Mainz, RP 55118 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211001155821.hdbqgzfkn6gfjw67%40topoi.pooq.com.
