rybla

3 ms·

1. 1.▲
   by rybla 2y ago

   Thanks for the catch, added
2. 2.▲
   by rybla 2y ago

   Try Pantograph online: https://pantographeditor.github.io/Pantograph/
3. 3.▲
   by rybla 2y ago

   Looks interesting, but I'm having trouble finding where to start reading about what's involved. Do you have a suggestion?
4. 4.▲
   by rybla 2y ago

   Would anyone use this for real programming, if it supported your favorite programming language? I know "supported" is a loaded word there, but just take that to mean: supports all the basic edits you need, in composition, to make
5. 5.▲
   by rybla 2y ago

   Currently, we've only instantiated the system for the simply-typed SML-like language that you can use in the tutorial ( https://pantographeditor.github.io/Pantograph ). Going through that tutorial will also give you a to
6. 6.▲
   by rybla 2y ago

   Thanks! We're working on extending the system to support more advanced type systems. In theory, the current system could already support these kinds of features (but not in quite as slick a way as modern languages, most likely), but it
7. 7.▲
   Pantograph: A Fluid and Typed Structure Editor(github.com)

   87 points by rybla 2y ago|22 comments
8. 8.▲
   by rybla 2y ago

   Pantograph is a new kind of structure editor where you directly edit a typed program. In order to accomplish this, it introduces a new kind of selection -- tree selection -- and a automatic typed refactoring system. The link is the Pantogra