Re: [racket-users] Symex: a DSL for symbolic expressions

2019-08-01 Thread Neil Van Dyke
Hendrik Boom wrote on 8/1/19 6:36 AM: On Wed, Jul 31, 2019 at 06:40:05PM -0400, Neil Van Dyke wrote: For structured editing related work in sexp, of course there's Emacs structural operations that have been in there forever (not well-known, Here's where some of them are listed in the current

Re: [racket-users] Symex: a DSL for symbolic expressions

2019-08-01 Thread Siddhartha Kasivajhula
> > > generalization of modal user interfaces that has a "language-oriented > > programming" flavor. > Applying traditionally-sexp structural-based editing to non-sexp > languages seems relevant to non-sexp Racket2 syntax (e.g., Honu), and > other non-sexp languages. The generalization I'm referr

Re: [racket-users] Symex: a DSL for symbolic expressions

2019-08-01 Thread Hendrik Boom
On Wed, Jul 31, 2019 at 06:40:05PM -0400, Neil Van Dyke wrote: > > For structured editing related work in sexp, of course there's Emacs > structural operations that have been in there forever (not well-known, Certainly not well known. I've been using emacs for decades, and I never heard of them.

Re: [racket-users] Symex: a DSL for symbolic expressions

2019-07-31 Thread Neil Van Dyke
Siddhartha Kasivajhula wrote on 7/29/19 3:41 PM: generalization of modal user interfaces that has a "language-oriented programming" flavor. Applying traditionally-sexp structural-based editing to non-sexp languages seems relevant to non-sexp Racket2 syntax (e.g., Honu), and other non-sexp lan

Re: [racket-users] Symex: a DSL for symbolic expressions

2019-07-31 Thread Stephen De Gabrielle
Thanks for sharing . Very interesting. S. On Mon, 29 Jul 2019 at 20:41, Siddhartha Kasivajhula wrote: > Hi folks, > I've been lurking in these here forums for a little while now. Over the > years I've looked for the perfect language to implement toy projects in and > nothing seemed quite right.

[racket-users] Symex: a DSL for symbolic expressions

2019-07-29 Thread Siddhartha Kasivajhula
Hi folks, I've been lurking in these here forums for a little while now. Over the years I've looked for the perfect language to implement toy projects in and nothing seemed quite right. It wasn't until I found Racket a few months ago that I felt I'd finally come home. Racket seems like an innovativ