I agree with Roger that the zero-precedence `mixfix` system is a really elegant middle-ground between Honu and a whole big language. Something I really like about Pyret is that it doesn't have precedence and requires parens for legibility.
-- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Wed, Mar 24, 2021 at 1:03 PM Roger Keays <[email protected]> wrote: > > Looks promising. The extra enforestation phase does add another layer of > complexity though. Also, operators don't use pattern matching, so I presume > to support Sorawee's example below, you'd have to parse the syntax after the > ? yourself. > > I think there is some value to considering zero-precendence 'mixfix' macros. > AFAICT, they wouldn't require the enforestation phase, which would make the > language model simpler. It does complicate the idea of an 'operator' though. > Matching them efficiently could also be a problem. Still, I'm happy to trade > operator precedence for simplicity. > > On Tue, Mar 23, 2021 at 09:16:55PM -0700, [email protected] wrote: > > Honu's enforestation is approximately this. See https://www.cs.utah.edu/plt/ > > publications/gpce12-rf.pdf. There's been some discussion about whether to > > base > > rhombus on a similar approach. > > On Tuesday, March 23, 2021 at 8:59:50 AM UTC-7 Roger Keays wrote: > > > > From racket-news [1]: > > > > mixfix (pkg/src) library allows users to define and use mixfix > > operators in > > Racket, by Sorawee Porncharoenwase. > > > > From the mixfix docs [2]: > > > > > (define-mixfix-rule (c {~datum ?} t {~datum :} e) > > (if c t e)) > > > (#true ? 1 : 2) > > 1 > > > > This is what I expected to be able to do when I first started > > experimenting > > with various LISPs and Schemes. Supporting only prefix macros seemed > > like a > > bit of limitation to me. If mixfix macros were supported out of the box > > rather than hacking #%app, it would be easier to combine syntax > > libraries. > > Possible for Racket 2? > > > > [1] https://racket-news.com/2021/03/racket-news-issue-48.html > > [2] https://docs.racket-lang.org/mixfix/ > > > > > > -- > > 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 [email protected]. > > To view this discussion on the web visit https://groups.google.com/d/msgid/ > > racket-users/198c4676-08de-4803-9a8b-719d9c298159n%40googlegroups.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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/sigid.171729a446.20210324170310.GA6862%40papaya.papaya. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAJYbDanGm5dbx-rp%2B8E6sR%2BddJ13MubVnBOtYJiXDenwxR1hEw%40mail.gmail.com.
