At 00:26 10/7/2001, August Zajonc wrote:
You see this happen though all the time with other software.
Media players don't need to have 10 ways to decode wav files, but they do.
There's a very big difference here. It does *exactly* the same thing. Unlike codecs, which are all different. Here, it takes the same text, and translates it to the same tokens, just using a different regexp tool which yields better performance and is a bit more portable. Using your metaphor, it'd be like having several uncompressed WAV players (as opposed to several MP3 players, which makes sense), one of them being faster than the others.
Zeev