> > I don't think I have *ever* seen a practical visual programming language. > They never graduate past the "toy" stage. (That said, an in-browser > verifier will probably be a "toy", so perhaps it's not a bad match.) But > for the purpose of acclimating newbies to the ecosystem, you want it to > resemble the "real thing", so that skills transfer. So maybe it should be > an mmj2 clone? >
As I don't know what "practical" really means I couldn't argue with that. But I think that asserting that any productive use of computers (or Metamath) requires to explicitly learn a programming language is overly definitive. Where is the border between our different abilities to use intelligence? I know some people who are very serious about https://en.wikipedia.org/wiki/Unified_Modeling_Language. Though, I'm not necessarily share their views, but they exist nevertheless. And while my mother won't tell the difference between JavaScript and plain English, still she can use computers to solve her problems. Of course that's only possible because she actually used some languages and theories behind the scene, but the fact is that she doesn't have a clue how it really works. Let's just say that personally I'd like to acquire abstract learning skills including many programming languages and mathematics, but that is not necessary for many practical tasks. -- 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/4735c1f3-981a-4cbd-9434-4111610d3751%40googlegroups.com.
