"David Gerard" <[email protected]> wrote in message news:[email protected]... > 2009/9/24 Platonides <[email protected]>: >> Brian wrote: > >>> * wikitext parsing would be much faster if the language was well defined >>> and >>> we could use flex/bison/etc... > >> Have you read the archives? >> It has been tried. Several times. >> There's even a mailing list for that. >> Getting a formal definition of ~90% of the wikitext syntax is easy. The >> other 10% drived nuts everyone trying to do it hard enough, so far. >> Keep trying, but build over what's already done.
The 10% drove people off cliffs because it is, pretty much by definition, the horrible unexpected behaviour that is a *consequence* of not having a formal definition. Writing a formal definition is not impossible if you require that it be sensible at the final reading. The parser is, in many places, *not* sensible, and naturally those quirks are difficult to describe, but they're also undesirable overall. A true move to a formal language definition involves action from both ends: writing a formal definition that follows the current parser in general, *and* being prepared to alter the parser to remove some of the more egregious deviations from expected behaviour. --HM _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
