On 1/4/20 9:28 AM, Mario Carneiro wrote:
Ultimately, I usually don't go for web apps because they are almost never the best tool for the job, once you've got serious about the task at hand, but for the newbie experience they are a big plus, and metamath's fast check time would translate to a pretty solid user experience, at least in principle.
I think your instinct is sound in terms of being skeptical about the value of building a whole IDE inside a web browser. Not impossible, just not clearly a win over making sure that Visual Studio Code (and anything else using a language server, like NeoVIM) works well. And a lot of work to even get to the point of "is this something I or others would want to use?"
There is a potential integration with editors/IDEs in terms of "I hit save, and my web browser reloads a proof view - generally similar to SHOW STATEMENT/ALT_HTML - with my changes. That's inspired by how tools like webpack work for writing web apps (for example, those using React). Perhaps the biggest obstacle which springs to mind is how well the tools handle partly written proofs or proofs with errors.
There's another potential use case for tutorials/learning. There definitely have been "code in a web form" tools over the years, and I think some of them have even seen some success in terms of getting people started without a lot of startup effort. This, however, is something I don't know as much about (for example, are these things generally seen as successes or were they kind of fads which faded out?). And we should consider other ways of reducing startup effort - packaging our tools for debian, and/or other systems like homebrew, springs to mind.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ba3ed397-6398-006b-7f25-f7ec67fe5234%40panix.com.
