On Friday, October 20, 2017 at 1:08:40 AM UTC+6, gmhwxi wrote: > > > 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? >
There is no code generation. By the way, would you recommend making [tree] parameterized by the type of label? Seems like an obvious thing to do. Could you point me to the datatype that you use for that language? The current object language in ATStead has "lam" an "app" constructs, but not "fix" or "ifnz". 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/0c089ac9-3b81-4205-9920-094645bcf78d%40googlegroups.com.
