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, jackh...@gmail.com 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/sigid.171729a446.20210324170310.GA6862%40papaya.papaya.
