Do you think we could combine ATStead with the following interpreter I wrote:
http://www.cs.bu.edu/~hwxi/academic/courses/CS520/Fall16/.xshare/BitBucket/cs520-2016-fall/lectures/lecture-11-28/FPL-lambda/JS/FPL-lambda.html If I define a datatype, can such an editor be generated based on the datatype description? On Thursday, October 19, 2017 at 12:09:59 PM UTC-4, Artyom Shalkhakov wrote: > > Hello all, > > I'd like to share ATStead: > > https://rawgit.com/ashalkhakov/ATStead/master/src/index.html > > It is a simple structured editor based on: > > http://www.cs.ox.ac.uk/bernard.sufrin/edit.pdf > > Try it to see if you can enter some expressions! Structured editors are > known to be clunky, but this one is at least modeless. :-) > > Basically, all functionality presented in the paper works. In contrast to > the paper, the editor's main datastructure is imperative and is very > efficiently updated. So I guess it should scale to big, complex real-world > ASTs (well, one can dream right???). > > What I'm going to do next: > > - improve rendering (it's very dumb at the moment, both in terms of > being from-scratch everytime, and in terms of lacking in visual clarity) > - improve keyboard entry (handle keybindings, try guessing node types > by lexing the input etc.) > - add selection by mouse (this one is simple) > - add undo/redo > - extend to handle ABTs (so that the editor can help you out with > typical programming stuff: renaming variables, looking up definitions, > etc.) > - make easily embeddable in a typical JS application > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/fa7afdbb-fc8c-4768-adbc-660914254e2f%40googlegroups.com.
